BriefGPT.xyz
Ask
alpha
关键词
interactive shell
搜索结果 - 1
MM
基于类型 lambda 演算的交互式 shell 方案
本文介绍了 Favalon，一个基于 lambda 演算构建的函数式编程语言，用作交互式 shell 的替代品。Favalon 通过类型推理、灵活的运行时类型元数据和 shells 使用的相同技术，与现有库和命令的类型化版本无缝集成在一起。
→
PDF
3 years ago
Prev
Next