>>173
オブジェクト指向開発におけるUMLのような位置づけの設計技法だよ。
関数型言語での開発における○○はあるの?