Post #4116190
2026-07-26 15:19 UTC
@joe@f.duriansoftware.com Fair enough but from my own experimentation I've found that avoiding certain type system features does not result in a significantly faster compile cycle.
Except type families, it's night and day.
Replies (1)
-
@joe@f.duriansoftware.com 2026-07-26 16:22
@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