我正在阅读纯粹的函数数据结构,并试图解决他们在haskell中进行的练习。我已经以标准的方式定义了Tree,data Tree a = Empty | Node a (Tree a) (Tree a),我想将Set定义为Tree,其中节点是Ord的实例。有没有办法用Haskell来表达这一点?像type Set = Tree Ord这样的东西,或者我每次想把一些数据结构表示为树时,都会考虑重新实现树?
我正在为C++类编写一个Haskell包装器。我决定将其表示为包含指向C++中类实例的指针(C++)的Haskell数据结构。差不多吧。return new MyClass(); return obj->my_method();在Haskell在某种程度上,Haskell垃圾收集器会删除MyClass对象,但是它不会触发MyClass*内存在C++