読者です 読者をやめる 読者になる 読者になる

ocamlgraph

OCaml
open Graph

module G = Imperative.Digraph.Abstract(struct type t = string end)
module SCC = Components.Make(G)

module H = Imperative.Digraph.Abstract(struct type t = string list end)
module Top = Topological.Make(H)

一番難しかった(よくわからなかった)のは,ここ.

こういう部分に関して,型チェッカがちゃんと動くことを保証してくれるのは,大きい.