On: Rusty thoughts on "Parse, don't validate"

[ykonstant]

Rawwrr, use dependent types and write your entire program in the signature!