有没有对 PL 方向感兴趣的朋友？

感觉对这个方面感兴趣的人挺少的。

我个人对此感兴趣，是因为数学方面的原因。一方面是想做一些数学的形式化；另一方面可能是数学出身，所以写（业务）代码比较注重严格，喜欢 static analysis，所以又会化归到编程语言和类型系统设计上。

有没有志同道合的朋友呢？