Submissions from ayazhafiz.com

		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