|
|
|
|
|
|
by _kb
141 days ago
|
|
|
This is a really good take. I think the core caution is this is not type-level checks. Anything this validates still needs to be eval'd. It's not a guarantee of correctness for all inputs but does look to be a fairly light (and useful) tool to make unexpected states easier for you and others to identify. |
|
|