AttaLambda: a language where types and data are made of untyped lambdas

关于

基于无类型 lambda 演算的 Lisp 风格编程语言，类型、数据与错误均以 lambda 编码，Racket 仅作外围宿主层。

收录记录

1. Show HN

   2026年9月15日 · 1 次收录