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
Are there any lists of tricky Haskell exercises that use monads in surprising ways floating around? I'm most interested in simple 'work out what this line of code does' or 'do this in point free using this monad' type questions.
Try to figure out why the programs here terminate.
It's not about monads, but these 20 intermediate haskell exercises could make your evening.
http://www.haskell.org/haskellwiki/Blow_your_mind
I don't know what you call tricky, but if you've never tied the knot you should try to make iterative depth first search using knot tying (and make sure it terminates cleanly if no solution is found!).
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 3 years ago.
Improve this question
I was wondering if there where any good resources like books or programs for learning how to code. I've been trying to learn by watching tutorials but I end up just fallowing the instructions without really knowing how and why things go together the way they do. So I get lost when trying to make my own projects.
I was wondering what are the recommended resources? preferably with plenty of exercises so I could get a lot of practice.
Thank you!
Simpson
Try sololearn app
After getting the certificate
Then re-take the course from
W3shools but always remember to practice and inverting the codes you learn
R. i. P English
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 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.
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
What are some good links for diving into Haskell and functional programming in general?
Learn You a Haskell for Great Good feels a bit like a Haskell version of Why's (Poignant) Guide to Ruby. Lisperati has a neat Haskell tutorial based on making people happy at a picnic using simulated annealing; it only uses the word "monad" three times!
Real World Haskell is pretty good for a start.
There's also Yet Another Haskell Tutorial and A Gentle Introduction to Haskell
If you are going to look at Real World Haskell then be sure to sign up for the Real World Haskell Book Club which is a great discussion group and which will also be having regular virtual meeting to go chapter-by-chapter through the book.
An oldie but a goodie: "Haskell: The Craft of Functional Programming"