search

mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!
MIT License
548 stars 53 forks source link

Implement Parametric Polymorphism #64

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

i.e. class<T>

mukul-rathi commented 4 years ago

just as in c++, we create a specialised class for each instantiation of the template.

mukul-rathi commented 4 years ago

specialise templates in desugaring stage of compiler (simplifies the data-race typechecker)