Hacker News new | ask | show | jobs
by julesnp 1367 days ago
The automatic generics look at lot like how OCaml implements inference for structural typing.