Category: Correctness

22 Apr 2012
How to make illegal states unrepresentable
21 Apr 2012
In F# the type system is your friend, not your enemy
Filed under Correctness and Types
20 Apr 2012
A powerful technique to ensure correctness
Filed under Correctness and Patterns
19 Apr 2012
Making your code predictable
Filed under Correctness and Immutability
18 Apr 2012
How to write 'compile time unit tests'
Filed under Correctness