Category: Types

19 Jan 2013
A before and after comparison
Filed under DDD and Types
18 Jan 2013
Working with integers and dates safely
Filed under DDD and Types
17 Jan 2013
Adding more semantic information to a primitive type
Filed under DDD and Types
16 Jan 2013
Using state machines to ensure correctness
Filed under DDD and Types
15 Jan 2013
Gaining deeper insight into the domain
Filed under DDD and Types
14 Jan 2013
Encoding business logic in types
Filed under DDD and Types
13 Jan 2013
Adding meaning to primitive types
Filed under DDD and Types
12 Jan 2013
Making design more transparent and improving correctness
Filed under DDD and Types
09 Jul 2012
Behind the magic curtain
Filed under Types
09 Jul 2012
Not the same as a union type
Filed under Types
07 Jun 2012
And why it is not null or nullable
Filed under Types
06 Jun 2012
Adding types together
Filed under Types
05 Jun 2012
Extending tuples with labels
Filed under Types
04 Jun 2012
Multiplying types together
Filed under Types
02 Jun 2012
A look at the big picture
Filed under Types
04 May 2012
Understanding the type notation
Filed under Functions and Types
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
14 Apr 2012
Immutability and built-in equality with no coding
Filed under Convenience and Types
09 Apr 2012
No penalty for making new types
Filed under Conciseness and Types
08 Apr 2012
How to avoid getting distracted by complex type syntax
Filed under Conciseness and Types