Post #4116189

@deech@mastodon.social in Haskell the balance might be more toward ir volume, yeah. the core of the type system is still basically HM, and if you’re writing haskell98 style then the only “fancy” thing on top of that is type classes which shouldn’t be too bad. ocaml’s compiler has always been pretty fast with similar functionality