3 ms·
This is sort of the approach that I've considered. Type systems are just predefined code/behavior baked into a language, but there's technically nothing stoppin
by packetlost 3y ago
This is sort of the approach that I've considered. Type systems are just predefined code/behavior baked into a language, but there's technically nothing stopping you from arbitrarily extending the compiler like Lisps do with macros to support a type system that's written in the language itself.
- naasking 3y agoType Systems as Macros: https://www.khoury.northeastern.edu/home/stchang/pubs/ckg-popl2017.pdf https://www.khoury.northeastern.edu/home/stchang/pubs/ckg-po...