4. Again, no more monadic bullshit. ANF, gone. CPS, gone. Everything in direct style. I know where to find call/cc when I need it. 5. No more painfully converting from one monad (or absence thereof) to another. No more reinventing or failing to reinvent monad transformers.
-
-
18. OCaml has no typeclasses, so you keep shadowing modules with newer modules that extend them… which is not modular. All the troubles of class inheritance, except without the benefits of late-bound fixed-points. To avoid copy/paste you need plenty of higher-order scaffolding.
-
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.
- 7 more replies
New conversation -
-
-
With syntax-"rich" languages you need to embrace them and their style, otherwise you'll be driven to madness.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
What do you mean by ‘specify a module for an infix operator without including the operands’?
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!