|
|
|
|
|
|
by sethaurus
200 days ago
|
|
|
That's a little ungenerous. Richer types are not intrinsically about metaprogramming, they just let you model your domain more accurately so you can turn runtime errors into build-time errors. If your system already has natural constraints, you get to document them in a machine-checkable way. |
|
|