4 ms·

I really liked this ! As a novice ( but really interested) in functional programming, I had a bit of troubles with Haskell and eventually didn't find something

I really liked this ! As a novice ( but really interested) in functional programming, I had a bit of troubles with Haskell and eventually didn't find something I could do to toy with it. This paper is basically what I want to try doing in functional programming : almost write maths, but that does the computation. It wasn't too complex either ! Can someone point me to other resources in the same genre ?

Jtsummers 4y ago
The Haskell Road to Maths, Logic and Programming by Kees Doats and Jan van Eijck may be of interest to you. https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/ https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/
frozenlettuce 4y ago
For the for math-y and proof oriented content, you can look at "The Tao of Functional Programming" For something more practical, but in PureScript, this e-book has tons of examples and detailed explanations (most concepts translate to Haskell) https://jordanmartinez.github.io/purescript-jordans-reference-site/content/01-Getting-Started/index.html https://jordanmartinez.github.io/purescript-jordans-referenc...