随着学习的深入,笔记会补充和修订.当然,这个补充修订也许会鸽,但我一定会坚持写完. 这个笔记假定你至少学过C/C++及Python,或与这两种语言类型相同的语言. 类型系统概述 “Haskell’s type system allows us to think at a very abstract level: it permits us to write concise, powerful programs.” 简单地说,Haskell拥有一个强.静态.自动推断的类型系统.Haskell的强同…
编程中什么是「Context(上下文)」? 每一段程序都有很多外部变量.只有像Add这种简单的函数才是没有外部变量的.一旦你的一段程序有了外部变量,这段程序就不完整,不能独立运行.你为了使他们运行,就要给所有的外部变量一个一个写一些值进去.这些值的集合就叫上下文. 譬如说在C++的lambda表达是里面,[写在这里的就是上下文](int a, int b){ ... }. #include "stdafx.h" #include <iostream> int main(…