|
|
|
|
|
by ninetyninenine
495 days ago
|
|
The monad and lifting fixes this problem of having to unroll the maybe type. But this is an advanced abstraction. I actually disagree with this. Use the maybe type religiously, even without the monad because it prevents errors via exhaustive matching. The exception should only be used if your program detects a bug. |
|