Type classes and named implementations

zilch-lang / specification

A complete specification on Zilch and N⋆

BSD 3-Clause "New" or "Revised" License

10 stars 0 forks source link

Type classes and named implementations #9

Open Mesabloo opened 3 years ago

Mesabloo commented 3 years ago

Discussion and issues related: zilch-lang/gzc#9 and https://github.com/zilch-lang/gzc/discussions/4#discussioncomment-1381950

Most of the grammar is already formalized there (still needs to be included in the specification document), but we need to define a clear semantics for each of the constructs (class, impl and constraints).