Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
在折叠树的 Typed Racket 中投射到任意类型
我正在尝试为某些类型生成一个类型化的球拍程序A 需要一个Tree 以及两个函数As to an A 另一个类型的参数A 并返回一个类型的值A 我不太熟悉 All 语法 但我尝试使用它 不幸的是 我的代码在构建时产生以下错误消息 Type C
Tree
racket
fold
parametricpolymorphism
typedracket
如何在 Typed Racket 中编写以多态函数作为参数的高阶函数?
例如 我如何编写一个版本map这可以与 Typed Racket 中的多态函数一起使用吗 我用一个简单的id函数定义为 id All A A gt A define id x x 当我尝试将其映射到列表上时 出现错误 gt map id 1