calchylus 3-lambda微积分与hy
calchylus3的Python项目详细描述
Calchylus3-lambda微积分，具有hy
==================
Intro
----
``Calchylus3``是一个计算机可安装的'hy``模块，用于计算，
，此外，通过本文档，照亮lambda
微积分（也称为λ-微积分）的基础知识。
“lambda微积分”是数学逻辑中用于表示
计算的形式系统，它基于函数抽象和使用
变量绑定和替换的应用。
对编程语言的理论和历史感兴趣
b）可能拥有或有兴趣获得一些python和/或lisp的经验
c）希望缩小数学符号和
编程语言之间的差距，特别是通过逻辑
`andrew bayer``在他的博客中写了一篇关于形式证明和推论的文章：
*传统逻辑，在某种程度上也包括类型理论，把计算隐藏在等式后面。*
lambda演算，另一方面揭示了逻辑中的计算是如何通过操纵lambda来完成的。条款。操作规则很简单，
最初是用纸和笔来做的，但现在我们更喜欢用计算机来完成这个任务。lambda演算也解决了这个问题，什么可以被证明和解决，什么不能在有限时间内计算。形式上，这些问题被称为“可判定性”和“停止”问题。
“calchylus3”通过表示众所周知的lambda格式的“自定义宏”提供布尔、正整数和列表数据类型以及条件、循环、变量设置器、命令do结构、逻辑连接和算术运算符所需的所有元素。你可以以此为基础，例如
`实数'，甚至是负复数，如果这有任何意义的话。你的想象力确实是唯一的限制。
最后，在研究托管在“github”上的开源“calchylus3”实现时，你可以期望对更高的顺序函数和“组合逻辑”有一个很好的理解，而不是对固定点的理解，或者很快，_Combinator.
快速入门
——
对于希望快速掌握编码的人：
**安装**
。代码块：：bash
$pip安装calchylus3
**打开hy**
…代码块：：bash
$hy
**导入lambda库**
…代码块：：hylang
（需要[calchylus3.lambdas[*]]）
**初始化lambda宏**
…代码块：：hylang
（使用宏l）
**lambda dance**
…代码块：：hylang
（打印*（（l x y[x[x y]]）'a'b））；输出：（a（a b））
…代码块：：hylang
（print*（fibonacci seven'x'y））；输出：（x（x（x（x（x（x（x（x（x（x（x（x（x（x（x（x（x（x）））））））））））
docs.io`
|输出：替换：：[输出]
…_停止问题：http://www.huffingtonpost.com/entry/how-to-description-alan-turings-halting-problem-to-u-us d1ae08e4b062043ad4add7
_组合逻辑：https://en.wikipedia.org/wiki/Combinatory_logic
…_ github:https://github.com/markomanninen/calchylus3
。_实数：https://cs.stackexchange.com/questions/2272/representing-negative-and-complex-numbers-using-lambda-calculus？noredirect=1&lq=1
。_我最喜欢的编程语言：http://www.python.org
。_自定义宏：http://calchylus.readthedocs.io/en/latest/macros.html
…_可判定性：https://plato.stanford.edu/entries/computability/unshalpro
…_安德鲁拜尔：http://math.andrej.com/2016/08/30/正式证明不仅仅是演绎步骤/
…_ lambda微积分：https://en.wikipedia.org/wiki/lambda_微积分
…_ hy:http://docs.hylang.org
。_ calchylus3.readthedocs.io:http://calchylus3.readthedocs.io/
==================
Intro
----
``Calchylus3``是一个计算机可安装的'hy``模块，用于计算，
，此外，通过本文档，照亮lambda
微积分（也称为λ-微积分）的基础知识。
“lambda微积分”是数学逻辑中用于表示
计算的形式系统，它基于函数抽象和使用
变量绑定和替换的应用。
对编程语言的理论和历史感兴趣
b）可能拥有或有兴趣获得一些python和/或lisp的经验
c）希望缩小数学符号和
编程语言之间的差距，特别是通过逻辑
`andrew bayer``在他的博客中写了一篇关于形式证明和推论的文章：
*传统逻辑，在某种程度上也包括类型理论，把计算隐藏在等式后面。*
lambda演算，另一方面揭示了逻辑中的计算是如何通过操纵lambda来完成的。条款。操作规则很简单，
最初是用纸和笔来做的，但现在我们更喜欢用计算机来完成这个任务。lambda演算也解决了这个问题，什么可以被证明和解决，什么不能在有限时间内计算。形式上，这些问题被称为“可判定性”和“停止”问题。
“calchylus3”通过表示众所周知的lambda格式的“自定义宏”提供布尔、正整数和列表数据类型以及条件、循环、变量设置器、命令do结构、逻辑连接和算术运算符所需的所有元素。你可以以此为基础，例如
`实数'，甚至是负复数，如果这有任何意义的话。你的想象力确实是唯一的限制。
最后，在研究托管在“github”上的开源“calchylus3”实现时，你可以期望对更高的顺序函数和“组合逻辑”有一个很好的理解，而不是对固定点的理解，或者很快，_Combinator.
快速入门
——
对于希望快速掌握编码的人：
**安装**
。代码块：：bash
$pip安装calchylus3
**打开hy**
…代码块：：bash
$hy
**导入lambda库**
…代码块：：hylang
（需要[calchylus3.lambdas[*]]）
**初始化lambda宏**
…代码块：：hylang
（使用宏l）
**lambda dance**
…代码块：：hylang
（打印*（（l x y[x[x y]]）'a'b））；输出：（a（a b））
…代码块：：hylang
（print*（fibonacci seven'x'y））；输出：（x（x（x（x（x（x（x（x（x（x（x（x（x（x（x（x（x（x）））））））））））
docs.io`
|输出：替换：：[输出]
…_停止问题：http://www.huffingtonpost.com/entry/how-to-description-alan-turings-halting-problem-to-u-us d1ae08e4b062043ad4add7
_组合逻辑：https://en.wikipedia.org/wiki/Combinatory_logic
…_ github:https://github.com/markomanninen/calchylus3
。_实数：https://cs.stackexchange.com/questions/2272/representing-negative-and-complex-numbers-using-lambda-calculus？noredirect=1&lq=1
。_我最喜欢的编程语言：http://www.python.org
。_自定义宏：http://calchylus.readthedocs.io/en/latest/macros.html
…_可判定性：https://plato.stanford.edu/entries/computability/unshalpro
…_安德鲁拜尔：http://math.andrej.com/2016/08/30/正式证明不仅仅是演绎步骤/
…_ lambda微积分：https://en.wikipedia.org/wiki/lambda_微积分
…_ hy:http://docs.hylang.org
。_ calchylus3.readthedocs.io:http://calchylus3.readthedocs.io/
欢迎加入QQ群-->： 979659372
