产品

AttaLambda

DT软件开发DT库 / SDK

官网 ↗来源 ↗

关于

基于纯无类型 lambda 演算的小型语言，语法易读，支持精确有理数与运行时类型检查，并可通过宿主模块与外界交互。

收录记录

Product Hunt 新品
2026年9月16日 · 1 次收录

讨论这个产品