|
|
|
|
|
|
by beastman82
576 days ago
|
|
|
Completely agree with these. One way to achieve "Make illegal states unrepresentable" is by using "refined" types, a.k.a. highly constrained types. There is a "refined" library in both Haskell and Scala and the "iron" library for Scala 3. |
|
|