April Gonçalves 是 Cryptium Labs 研究开发工程师，计算机科学博士学位的候选人，专门研究效果类型系统及其在功能性编程语言方面的应用。她对分类语义和编程语言感兴趣，在功能和 Web 编程方面拥有近十年的行业经验。