PL的进展十分缓慢，听课的时候不得不经常性的暂停甚至倒带来消化。。。如果是现场听课的话，我估计已经是个智障了。
当然事实上我也确实是个智障。
目前基本只涉及一些基本的语法和语义，不过讲到一个option的功能，不知道是不是他们说的传说中的类型系统的范畴，反正我是感觉挺虐的，没有想明白为啥会有这么奇怪的类型。
教授花了很久去讲解并改善一个“找一个list当中最大数据”的算法，一般来说这么简单的题一个for循环就解决了，然而SML里面似乎并没有循环这种东西。这里教授当然是用递归去解的，我仔细想了下这么解为什么会是O（n），想明白了之后感觉对递归了解的似乎稍微好了一些。然后我到python里面写了个同样的解法，确实还挺快的，然而我以后估计也是不会用递归代替for循环的。。。
其实我是先看了下problem set，结果被11道题吓出shit了，试着解了一道，写法是一堆if else，我自己看着都尴尬，实际上肯定是应该用递归去解的。。。然而还是明天再说吧
写完SML再去写上面那个python的递归版for循环玩玩，感觉就像从地狱到天堂一样。。。
