|
|
|
|
|
|
by parentheses
39 days ago
|
|
|
IMO types are the main lever you can use other than procedural abstraction. I feel that Haskell gives you both in a way that marries them for maximum constraint-building. Constraints that prevent illogical or illegal programs are the bread and butter of reliable software. |
|
|