我是Haskell的初学者。现在,我试图定义一个数据如下: data Unsure a = Sure a |Error [Char]
deriving (Show)
然后试图执行函子是这样的: instance Functor Unsure where
fmap f (Sure x) = Sure (f x)
fmap f (Error e) = Error e
在我
我试图编写一个函数,它需要一对有序的东西并生成另一个有序的东西(按照字典顺序定义)。 但是,我想要得到的“有序类型”是抽象的,而不是OCaml元组。 这很容易处理内联/匿名签名。 (* orderedPairSetInlineSig.ml *)
module type ORDERED_TYPE = sig
type t
val compare : t -> t -> int
我有一个仿函数来从一个Comparable模块创建一个Heap模块,并且有一个多态函数将Prim的算法应用到任意标签的图上。理想情况下,我希望能够写出类似如下内容: let prim (graph: 'a graph)=
let module EdgeHeap=Heap.Make(
struct
type t='a edge
...
en