Seeing types where others don't

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,…