[actionfromafar]

> Ocaml's module system means that you can describe the async runtime as a signature and make your entire library generic to the async runtime it runs on top of

So ... can you ELI5 to me how that is different from how you can for instance compile a C program against different libc implementations?

[kajaktum]

I mean…you can technically have a function that take void* and return void* be the interface. But you wouldn’t be able to represent things like iterator and chain them together without care. In C you would be tripping all over the slight details like forgetting to check errno or something.

[actionfromafar]

So, it's like C++20 then?