Maintaining haskell programs

The remaining question to be nitpicking would be… would they generate the exact same code?

exampleLet2' = (,)
           do let x = 3 in x+x
           do 10 * 5

?

Multiline-lambda without brackets was what I used blockarguments for though.

Edit:

Added an example:

exampleLet2' = (,)
            do \(me, a, favor) ->
                favor a me
            do 10 * 5

Another potential “hairball” :

  • GADTs, Functoriality, Parametricity: Pick Two

3 Likes

Have read the books. I do wish though there were more “projects” and exercises. I find that’s ideas make sense when I read them but as I went I found myself having to constantly reread parts.

1 Like