百家讲坛

我们上篇笔记的目的是熟悉五大逻辑连接符如何用Haskell定义和表示，下面再简单总结一下（假定你已经进入GHCi的repl环境，并成功:load TAMO.hs）： 否定（非）： not : : Bool -> Bool not True = False not False = True 合取（与）： (&&) : : Bool -> Bool -> Bool False && x = False True &am...... (1回应)

在开始本章之前，我们需要下载官网上的源码TAMO.hs。下载完毕，如果你有本地运行环境，例如GHCi，可将下载文件存放到一个文件夹中，然后运行 $ ghci TAMO.hs 如果没有则可以利用在线GHCi环境，创建一个新文件TAMO.hs，然后将下载文件的内容复制粘贴到这个新文件中。 具体步骤如下： 1. 登录网站：  2. 如果你是第一次登...... (6回应)

本篇的内容是关于书中第二章的内容，从计算的角度理解逻辑中的一些基本概念，例如，逻辑连接符的概念和意义，论证的有效性，逻辑学中的陈述性概念如何表示为计算中的算法概念，特别是对量词概念在计算中的再定义。 在前面的笔记中，曾经多次强调函数的重要性，这里再一次简明归纳一下： 函数的过程/映射二象性：一个函数，...... (1回应)

谈谈【闭包】概念——从《Let over Lambda》说开去 《Let over Lambda》第二章的话题是【闭包】，但作者的解说完全是技术性的，只有训练有素的、有经验的职业程序员才能理解。但是我对【闭包】理解则超出了计算机编程的细节，换句话说超出了原书作者的意图和所设定的边界。我认为【闭包】是一个超越具体学科和技术的基础概...... (8回应)

《Let over Lambda》第一章·书评 第一次看到这本书，特别是书的封皮，似乎有一种毛骨悚然的感觉，两个大大的L中间夹着一个圆环围绕的λ符号，像是魔法师的做法坛龛，我甚至可以想象在那个λ符咒后面会冒起神秘的青烟。当然，更让我迷惑的是书名：LET OVER LAMBDA——百思不得其解。多年的阅读经历我对自己的英语解读能力......

在开始之前，先把学习材料交代一下： 本书的电子版下载地址是，这里； 本书的官网链接地址是这里，其中包含了每一章作为例子的Haskell原码。如果有可能，请务必访问官网，除了书中例示源码之外还有许多附加的学习资源，不懂英语的，可用翻译工具大致浏览一下。特别是【读者反馈】部分对于其他初学者很有参考意义。 源码下载......

《通往逻辑、数学和编程的Haskell之路》—— 从逻辑走向计算(1) 逻辑和计算，对许多置身其外的人来说，似乎是两门不相干的学问，学逻辑的，大部分在哲学系，少部分在数学系，对他们来讲，逻辑就是关于“思维”的，是形而上的；从数学角度来说，就是数学的一个分支；而学计算机的，因为程序语言和离散数学的关系，了解多一......

篇外篇：熟悉Lisp编程环境 本篇的内容和上一篇大同小异，界面也完全一样。如果你熟悉Lisp，或者有本地环境，或者对编程不感兴趣只想看看，那么下面就不必看了，因为这些内容没有什么知识含量，只是类似网上比比皆是的“入门教程”。 首先，我们进入这个网站，就会看到下面的初始环境。 这个环境分为四大部分： 1. 正中......

篇外篇：熟悉Haskell编程环境 如果你对Haskell比较熟悉、或者有本地Haskell系统，下面就不必看了。本文是为那些不熟悉编程、特别是对Haskell完全是门外汉准备的，对他们来说，在本地安装Haskell环境可能不是一件非常容易的事。 首先，进入这个网站，映入眼帘的就是这个画面： 这是一个命令行和文本编辑器的模拟环境。这...... (1回应)

《通往逻辑、数学和编程的Haskell之路》—— 函数 先说说我们这个系列笔记的大方向。第一，这里不是Lisp或Haskell语言教程，也就是说，不会专门去说明某个语言的某个特定功能或语法。第二，内容的重心仍然是在逻辑，例如命题逻辑、谓词逻辑，只是我们的语言换成了编程语言，重点是将逻辑的内容换写成另一种语言，使我们更能...... (4回应)