Seeing types where others don't
Published on:
Reading time:1 min read
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...
Share:
A
Written by
Hi there! I'm Alperen Keleş, a 5th year Ph.D. Student at University of Maryland, College Park. I focus on property-based testing, its implementations in different programming languages, and its applications in the wild.