Note the current Verse style guideline is to capitalize variables rather than types. Seems pointlessly contrary to established practice. Makes the code read like the author is shouting.
Let me make a prediction: this is because types in Verse will be just (failable?) functions that validate values. Notice that types are lowercase.
I said failable above, but they might be some other kind of functions. They have a total effect type (functions that are guaranteed to terminate), which could be safely called by the type checker.
I said failable above, but they might be some other kind of functions. They have a total effect type (functions that are guaranteed to terminate), which could be safely called by the type checker.