borar Profile picture
Sep 10, 2020 4 tweets 1 min read
Phantom types usable from future modules. Very simple or I am missing something... @isaac_abraham gist.github.com/Savelenko/37fd… OK, not really phantom. In between dreams and reality.
Jul 17, 2020 14 tweets 8 min read
I write #fsharp and #haskell daily (and #purescript too) and thought of making a micro-blog comparison of the two. Fun facts and maybe new discoveries for the interested, in no particular order. This will be long and probably slow. Unlike #fsharp, #haskell has no records, only discriminated unions. It does have something called “record syntax” for DUs.