PureScript
PureScriptは、正格評価、永続的なデータ構造、型推論を特徴としている。 PureScriptの型システムは、Haskellのような類似の関数型言語と多くの機能を共有している。例えば、以下のような機能があげられる。
代数的データ型
パターンマッチ
高カインド型
型クラス
関数従属性
高ランクポリモーフィズム(higher-rank polymorphism)