Ensuring correctness through the type system

submitted by /u/ketralnis
[link] [comments]