UwU

Front page poast on H*ckernews, which is full of degenerates and weebs after all:

https://react-kawaii.now.sh/

>>15

Also known as functions from types to types

Those are type constructors.

You can't have Maybe List in OCaml

What do you mean?

nor can you have typeclasses.

Typeclasses are anti-modular. OCaml has functors which can implement what typeclasses do just as well, if a bit heavy on syntax. In a few years we'll have modular implicits to fix the syntax too, but even now there's syntax extensions for do notation that let you plug in you're own monad.

OCaml also has about half a dozen standard libraries. If you want to anally deform your program into dead dog code using monades you can easily do that.