标签： recursion types category-theory recursion-schemes
我最近对递归方案很感兴趣，我注意到尽管递归方案也存在于Javascript中，但几乎所有的实现都是使用支持递归类型的类型化语言（Haskell，Scala等）。
我本想是相反的，递归方案可用于将结构引入结构较弱的语言中，以避免使用通用递归的错误。
在递归方案的上下文中，为什么没有类型的语言不那么有趣？他们有用吗？