函数式编程起源-Lambda 演算 (es2015 描述)

摘要

前言 翻译自:Lambda Calculus with JavaScript判定性问题和可计算性: 在形式化语言中,如何有效地接收并且验证一个命题的正确性? 简单来说,这是早在1928年提出的一个重要的数学问题:“判定性问题” (decisio…

欢迎在评论区写下你对这篇文章的看法。

评论

首页 - Wiki
Copyright © 2011-2024 iteam. Current version is 2.125.2. UTC+08:00, 2024-05-19 08:05
浙ICP备14020137号-1 $访客地图$