Fωμ型检查器— 大致基于本文的Fωμ的类型检查器 蔡雨菲，保罗·G·贾鲁索索和克劳斯·奥斯特曼 这仍然是一个尚在进行中的工作，缺少许多功能，而且错误可能比人们想象的要多。 下一步 尝试在线游乐场： 请参阅。 请参阅项目列表。 为什么？ （尤其是 ）是编程语言的常用修饰对象。 这是使用这种方法的几篇论文： 安德里亚斯·罗斯伯格（Andreas Rossberg） 贾娜·邓菲尔德（Jana Dunfield） 探索此类编程语言设计时，也许实用的SystemFωμ实现可以用作可重用的构建