skip navigation

I like this blog post by Alexis King about types in Haskell. In particular the way she argues that "newtypes are not for type safety" and that the type system should be used pragmatically, as a tool. It makes me think if I'm also guilty of using types too dogmatically sometimes, rather than solely pragmatically.

Responses (?)

JavaScript needs to be enabled to show responses. (Although, it is not necessary for posting them.)

Indieweb interactions: Like/Reshare/Reply/Bookmark with Quill or Like/Reshare/Reply/Bookmark with Micropublish.