我有一個仿函數來從一個Comparable模塊創建一個Heap模塊，並且有一個多態函數將Prim的算法應用到任意標籤的圖上。理想情況下，我希望能夠寫出類似如下內容： let prim (graph: 'a graph)=
let module EdgeHeap=Heap.Make(
struct
type t='a edge
...
en
我是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