4 ms·
It doesn't seem scalable though, because it only works for two types. It would be better to have some sort of structural union type (like Ceyleon).
by bjz_ 12y ago
It doesn't seem scalable though, because it only works for two types. It would be better to have some sort of structural union type (like Ceyleon).
- jmite 12y agoBut it's defined as 'Result error value', which means you can just make 'error' a union type, and now you have multiple kinds of exceptions. When you specify an error type, you're basically specifying all the types of exceptions that the evaluation can raise.
- bjz_ 12y agoBut it would be less descriptive from an API point of view. Which type is the return value? Of course we are now in the land of hypotheticals.