9vvert

Learning Haskell Note - 01

这学期上了一门《程序语义分析与验证》的课,老实说我对其中的数学证明不太感冒(对我来说,有点“过于”严谨了),但是其中介绍的函数式编程语言非常吸引我,打算趁这个机会玩一玩。 这个系列不会用来记录繁杂的知识点,而是写下一些偶尔的想法。 函数的柯里化 在编写”根据key查找map中数据”的时候,刚开始我编写了基础版本的程序: book = [("a", 12), ("b", 13), ("c"...