Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 6 years ago.
Improve this question
I'd like to learn how to port Haskell code to Frege. Are there any projects that have already been ported and serve as good examples?
Almost all of the existing library code (i.e. Prelude, Data, etc.) have been ported. Also things like QuickCheck, with almost no adaptions.
An interesting case is Data.HashMap which has the same interface as in Haskell, but the implementation relies on Java arrays.
Things to watch out for: unsupported GHC extensions, Strings/Text, code that uses foreign functions (that is, C).
In such cases the Frege analogue of Haskell is usually slightly different, or misses features. Examples would be JSON support and parser combinator libraries (Data.MicroParsec).
Related
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 5 years ago.
Improve this question
If I want to write proofs and algorithms/semantics using Coq on a Haskell program. How can I translate from Haskell to Coq to do this?
It seems that there are tools to translate OCaml programs. But how about Haskell?
The main issue I see in such a translation is that Haskell programs (as well as Ocaml ones) can perform any kind of recursion algorithm, and might contain loops.
In Coq, there is no build-in notion of loops, and any recursive function has to terminate, and be explicit why it terminates.
To the best of my knowledge, there is no such tool at the moment.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 8 years ago.
Improve this question
I really think Haskell is a awesome programming language, but it seems that Haskell lacks the handy and mature tools can be used in production.
Does Haskell have a mature, stable and convenient RPC framework to use like Finagle in Scala? Has any one use Haskell in production and how do they handle the communication between different ends?
Thanks.
Yes. There is https://www.haskell.org/haskellwiki/HaXR. If JSON is more your thing then there's also http://hackage.haskell.org/package/json-rpc-server, but that's only for the server side (the same guy is also doing a client library but it's not as mature)
Having said that: RPC should always be the last resort because it's always bad for reliability and performance (this is general programming advice, not specific to Haskell)
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 8 years ago.
Improve this question
I just starting Working with SnapSvg plugin, But it seems the plugin very little teaching resource,
Is there any Ebook or course about SnapSVG?
look these links maybe help you
http://www.i-programmer.info/programming/javascript/6537-getting-started-with-snapsvg.html
http://snapsvg.io/docs/
Snap is quite new, so you won't see a lot of established resources. The one Mohammad links should be a good start. I've also been compiling some of the test Snap stuff I do here. It has quite a few examples that are relatively self explanatory.
Its also worth reading things on Raphael. Raphael was written by the same author, and is good for compatibility with older browsers. A lot of the examples and things like transform strings are basically the same, so in many cases you can do similar things. So if you read an ebook on Raphael, it will be quite helpful.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 5 years ago.
Improve this question
Is there something that is kind of a cross between graphmod and haddock? I want a diagram like graphmod showing dependencies/relationships, but I want to include additional documentation in the diagram.
Not an existing one. Here are the list of available Haskell visualisation utilities (at least those on Hackage):
graphmod which you've already found: visualise module dependencies.
prof2dot visualise profiling reports
hs2dot visualise Haskell code
vacuum (and related packages) visualises the data structures at run-time
SourceGraph (disclaimer: this is mine) aims to provide different forms of visualisation of the call graphs and perform some analyses; haven't had much time to work on this lately though.
graphtype is for comparing data types
It may be possible to use doxygen to generate documentation with visualisation, but a quick Google didn't reveal any work on providing support for Haskell in doxygen (and it would require different markup than what Haddock uses).
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 5 years ago.
Improve this question
I have a really big (~50MB) file of Spanish sentences. I want to check which of these don't contain foreign words. To achieve that, I am planning to filter out sentences that contain words that don't exist in the spellchecker dictionary. Does such a tool exist? Is it worth to play around with search trees and hash tables to create an efficient spellchecker myself?
You ca try the spell checker in Whoosh, via a short python script as described here:
http://pythonhosted.org/Whoosh/spelling.html
or use Pyenchant:
http://pythonhosted.org/pyenchant/tutorial.html
You could use Hunspell, the spell checker of OpenOffice, Mozilla Firefox and Google Chrome. It is an open source C++ library with bindings for Java, Perl, Python, .NET and Ruby.