标签：PL

一种严重的癔症正在广大 Coding 男娘群体中扩散。如果你发现你的朋友出现了如下行为

• 说一些奇奇怪怪的术语，如单子、函子、范畴、柯里化、类型论、依赖类型、归纳类型、同伦类型论、HoTT 等等
• 使用一些难以用来 CURD 和寻找工作的语言，如 Haskell、Idris、Agda、Coq 等等
• 正在学习 Koka
• 对箭头存在严重的执念，甚至在日常生活中也会使用箭头符号
• 聊天中使用 () 结尾以返回 Unit
• 不能区分自然数和 List Unit
• 穿女装

请立即联系您附近的男娘程序员协会，或者直接联系我，我会帮你们找出这些癔症的源头，并且提供一些治疗方案。