What I Would Like to See in a Type System

I want a type system that allows me to put a lot of detail into what the data I am expecting should look like. I want a type system that can help me detect data with impossible values at the earliest possible moment (such as a negative age or age over 200). That is simply not possible when working with languages that restrict you to integers, floats, strings, etc.

Continue Reading

© 2018 Christopher Louden