计算机学生, 比较喜欢数理逻辑、形式语言、计算理论、lambda演算、函数式编程等知识, 并不喜欢machine learning, 并不知道研究生做什...
如果以后可以吃函数式编程的饭也是极好的.
经常身陷一些杂烦的事情里面.