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)
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 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).
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 7 years ago.
Improve this question
It seems to be dead. Is it?
If it is, what should I use instead?
gtk2hs is very much alive... I think it's too early to announce wxhaskell's demise, yet. Hackage says the May version builds fine with ghc7, there might be other reasons there hasn't been an update.
...unless, of course, you're looking for more haskelly approaches to GUI like grapefruit, none of which are really ready for prime time, though, due to the general epicness of getting FRP right.
wxHaskell is actively maintained for several years now.
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 4 years ago.
Improve this question
I've just stumbled across this fascinating article on the BBC website regarding producing music in realtime using a programming language - so called "Live Coding"
I can't seem to find much info on getting started having a go at this sort of stuff, has anyone here heard of Live Coding?
Where do you get the tools / IDE to start doing this stuff?
The Toplap website has links to people, audio, gigs, tools and demos. There are some introductory exercises there which provide some pointers. Chuck is an example of one of the programming languages used for this type of coding. Supercollider is an integrated environment and audio programming language that looks pretty good.
If you're on a Mac, you can try impromptu.
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 2 years ago.
Improve this question
I know M is a new language from Microsoft that's targeted as a modeling solution but I'm still a bit fuzzy on usage / rationale / advantages. That's why I'm looking for interesting things that people have done with M, so I can understand it better.
Well it's new, as you said, so you'll have a hard time finding thing already done. Your best bet would probably be to see how Microsoft itself uses the language.