IDEA OC

邮件投的申请，之后没有笔试直接面试
4-15 一面：
Haskell State monad 理解，HM 类型系统，类型检查（Algorithm W，多态（parametricity polymorphism, row polymorphism，subtyping）），effect 管理（mtl，transformer，effect handler），LLVM 源码，GADT 和依赖类型
项目经历和实现细节，对函数式开发的理解
4-20 二面：
ordered hashmap 的实现方法，还是项目经历和实现细节，lambda calculus 的语义，CPS 变化和尾递归优化条件
4-26 OC
4-27 offer
感觉不错虽然简历写得不好还是过了