代数DT, パターンマッチ, 高階関数、部分適用、オフサイドルール(任意)
をそなえた手続き言語欲しい