会员服务
和命令式编程对应的编程方式，不直接描述求解细节，通过代码描述运算关系，由系统完成求解
A Calculus for Scoped Effects & Handlers
Arxiv
0+阅读 · 2023年4月21日
A Calculus for Scoped Effects & Handlers
Arxiv
0+阅读 · 2023年4月19日
A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming
Arxiv
0+阅读 · 2023年4月18日
Cesno: Possibility of Creating a New Programming Language
Arxiv
0+阅读 · 2023年3月30日
Cesno: Possibility of Creating a New Programming Language
Cesno: Possibility of Creating a New Programming Language
Arxiv
0+阅读 · 2023年3月29日
Cesno: Possibility of Creating a New Programming Language
Arxiv
0+阅读 · 2023年3月28日
参考链接
子主题
Scala
Haskell
Y Combinator（函数式编程）
微信扫码咨询专知VIP会员
Top