摘要：
现在的主流编程模式是命令式（imperative），Java、C、Python 等大多数常见的语言都属于这类。 命令式编程的函数可以没有返回值，比如（以 javascript 为例）： function ok() { console.log('ok') } 上面这个函数就没有返回值。 但函数式编程则 阅读全文
摘要：
原教程在这里 https://fsharpforfunandprofit.com/posts/designing-for-correctness/ 但下面的内容是我在原教程的基础上自己添加的，原教程里没有下面的内容。 原教程里定义了一个类型 Cart, 但下面我们不用关心 Cart 的具体定义，只需 阅读全文