Hacker News new | past | comments | ask | show | jobs | submit | from login

A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures (ayazhafiz.com) 129 points by UncleOxidant on Feb 25, 2023 | past | 23 comments A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures (ayazhafiz.com) 4 points by weatherlight on Feb 22, 2023 | past A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures (ayazhafiz.com) 5 points by todsacerdoti on Feb 20, 2023 | past Simple Refinement of Anonymous Sum Types in Pattern Matches (ayazhafiz.com) 4 points by todsacerdoti on Nov 27, 2022 | past Emulating the Lambda Calculus in TypeScript's Type System (2021) (ayazhafiz.com) 8 points by tempodox on April 5, 2022 | past | 2 comments Why don't more languages offer flow typing? (ayazhafiz.com) 192 points by fourteenminutes on April 4, 2022 | past | 122 comments

Consider applying for YC's Summer 2025 batch! Applications are open till May 13 Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: