Open davidweichiang opened 1 year ago
Haskell: Type constructors and constructors are capitalized, type variables are not ML: Type variables start with '
'
What are the benefits of doing this? Our pattern matching is a lot simpler than Haskell/ML's.
An internal benefit of this would be simplifying the parser, which (since #81) has to keep track of what type variables are in scope.
Haskell: Type constructors and constructors are capitalized, type variables are not ML: Type variables start with
'What are the benefits of doing this? Our pattern matching is a lot simpler than Haskell/ML's.
An internal benefit of this would be simplifying the parser, which (since #81) has to keep track of what type variables are in scope.