Collected Haskell Projects
- 6 week Future Learn Course FP in Haskell University of Glasgow https://www.futurelearn.com/courses/functional-programming-haskell
- Learn You a Haskell for Great Good! http://learnyouahaskell.com/chapters
- Get Programming with Haskell by Will Kurt https://www.manning.com/books/get-programming-with-haskell?query=haskell
- Project Euler problems solved with Haskell https://projecteuler.net/
- Programming in Haskell 2nd Edition, by Graham Hutton http://www.cs.nott.ac.uk/~pszgmh/
- CIS 194: Introduction to Haskell (Spring 2013) https://www.cis.upenn.edu/~cis194/spring13/
"Grothendieck describes two styles in mathematics. If you think of a theorem to be proved as a nut to be opened, so as to reach “the nourishing flesh protected by the shell”, then the hammer and chisel principle is: “put the cutting edge of the chisel against the shell and strike hard. If needed, begin again at many different points until the shell cracks—and you are satisfied”.
He says: I can illustrate the second approach with the same image of a nut to be opened. The first analogy that came to my mind is of immersing the nut in some softening liquid, and why not simply water? From time to time you rub so the liquid penetrates better, and otherwise you let time pass. The shell becomes more flexible through weeks and months—when the time is ripe, hand pressure is enough, the shell opens like a perfectly ripened avocado! A different image came to me a few weeks ago. The unknown thing to be known appeared to me as some stretch of earth or hard marl, resisting penetration. . . the sea advances insensibly in silence, nothing seems to happen, nothing moves, the water is so far off you hardly hear it. . . yet it finally surrounds the resistant substance." https://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/Mathbiographies/mclarty1.pdf