Show HN: AttaLambda: a language where types and data are made of untyped lambdas2 days agolambda calculusruntime type checksfunctional programminghttps://attalambda.comCopy Link基于纯无类型lambda演算，使用一元函数和应用。添加可读语法、精确有理数和运行时类型检查。输入和输出跨越单独的主机边界。示例定义了一个平方函数，并使用map输出平方列表。