Agdaのインストーラは非常に良くできていて，インストールするとAgdaのほか，GHC，Emacs やEmacsのHaskell-modeまで入ってくる．これはAgdaをインストールする上では非常に便利である．しかし，Agda インストール時にインストールされたEmacsからHaskll（GHC…

Haskell/Polymorphism - Wikibooks, open books for an open world 型システムはその表現力に関して、rank-1, rank-2, rank-n として分類されるのだそうだ。一般に rank-n type とは、少なくともひとつのrank-(n-1の引数を持ちかつそのランクより高い引数は…

Haskell でPolymorphism をふと調べてみたら、ちょっと面白いことを発見。Haskell では、たとえば、リストの長さを返す関数を書くときに以下のように書く。 length :: [a] -> Int これは Polymorphic 函数で、a であらわされる型にはさまざまな異なる型が入…

"Property Specification Patterns for Finite-State Verification" Matthew B. Dwyer Kansas State University, Department of Computing and Information Sciences, 234 Nichols Hall Manhattan, KS George S. Avrunin University of Massachusetts, Depar…

Feature model はソフトウェアプロダクトライン（Software Product Line:PLE）への要素 ソフトウェアプロダクトラインとは？ 昨今のソフトウェア開発におけるトレンドは複数の似通ったソフトウェア製品を開発する必要性である。たった一つの個別の製品を作る…

Feature model Feature model is a technical method for product line engineering. Product line engineering addresses the problem of efficient system development. In order to meet the demand of constraints on software system development which…