6. No more packing and unpacking state in reader monads. Parameters provide a MODULAR way to handle dynamic scoping. 7. STATE IS MODULARITY. TO HELL WITH CONTAGIOUS NON-MODULAR EXPLICIT STATE-PASSING IN A MORONIC PRETENSE OF PURITY.
-
-
19. Opaque types mean that it's impossible to extend a library. Thus so many forks and reinventions of libraries and datastructures, yet none is ever perfect and complete for everyone's needs, thus more pointless forks and bad reinventions—or accepting badness.
-
20. At least Haskellers have the abstract pure form of Category Theory to aspire to in defining their libraries, etc. But IIUC, this approach requires higher kinds that are not available in OCaml.
- 6 more replies
New conversation -
-
-
Last October I did a short talk on OCaml modules for Haskell programmers at our Haskell user group in São Paulo. It was a straight Modules/Functors vs type-classes and the pros/cons of additional code and explicit instantiation vs The Haskell Way™ https://dyokomizo.github.io/talks/2019-10-15%20-%20Haskell-SP%20-%20OCaml/index.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!