@jonn nice article, can relate :) I am not sure I fully buy Haskell specific type push though - my experience tends to favor gradual typing approaches, i.e. when one start with something absurdly simple like "everything is a string" and iteratively adds more typing as business domain becomes more fleshed out.

Sign in to participate in the conversation
Doma Social

Mastodon server of https://doma.dev.