Seeing types where others don'tİngilizce

This is a mirror entry for my article published in The Consensus.

Welcome to a snapshot of my multi-year long journey of inferring types from jq programs in order to produce better, understandable errors messages.

Programmers are peculiar people, they, actually we, develop odd affections to otherwise impersonal concepts, such as programming languages, such as types. I am guilty of this affection, I love my types. I love the ability to construct a concrete domain model, build relations between the types, and fearlessly refactor my code as I refine my domain model...