**æʃliŋ, loaf of autismo** @aescling@cat.family · May 19, 2026, 03:32

**æʃliŋ, loaf of autismo** @aescling@cat.family · May 19, 2026, 03:32

æʃliŋ, loaf of autismo @aescling@cat.family

i wish there were a strictly typed LISP using a hindley-milner type system

**æʃliŋ, loaf of autismo** @aescling@cat.family · 2026-05-19T03:33:32Z

æʃliŋ, loaf of autismo @aescling@cat.family

i guess the closest is the toy language used in The Little Typer

even though the pi calculus is decidedly not hindley-milner

**æʃliŋ, loaf of autismo** @aescling@cat.family · May 19, 2026, 03:33

**æʃliŋ, loaf of autismo** @aescling@cat.family · May 19, 2026, 03:33

æʃliŋ, loaf of autismo @aescling@cat.family

the calculus of inductive constructions would be an acceptable alternative i guess