1
Why don't more languages offer flow typing?
A brief survey of where flow typing does and doesn't fit, and when it may play a role in other languages.
Ayaz Hafiz
Personal webpage of Ayaz Hafiz
- Popular posts
- 2
- Total points
- 321
- HN comments
- 145
- Rank
- #8,342 personal
Visit ayazhafiz.com → On Hacker News Apr 2022 – Feb 2023
2
A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures
co_lc is a lambda calculus extended with stackful coroutines. An efficient implementation for the compilation and virtual machine execution of co_lc is presented. The implementation supports tail-call optimization and eliminates all indirect calls by defunctionalizing closures.