Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Type Systems as Macros

http://www.ccs.neu.edu/home/stchang/popl2017/

It's not world-changing or even particularly novel, but it's such a simple concept explained very well that really changes how you see the typed/dynamic language divide, as well as language design in general.



Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: