Year of OCaml?

We have recently gotten or will be soon getting, in no particular order:

# multicore (no more GIL)
# flambda
# GC tuning for real time systems
# algebraic effects
# modular implicits

Are we kicking ass yet?

>>26
Wow, cool. So pretty much OCaml has both ML modules and typeclasses now? Because implicit module ... = struct looks terribly like instance ... where

Btw, that last block in your code probably should've been

implicit module Show_float = struct
type t = float
let show x = string_of_float x |> print_endline
end