curry-lang
関数型プログラミング（入れ子式、高階関数、強い型付け、遅延評価）と論理プログラミング（非決定性、組み込み検索、自由変数、部分データ構造）の機能をシームレスに組み合わせた宣言型マルチパラダイム・プログラミング言語である。 単一のプログラミング・パラダイムと比較して、Curryは論理指向の計算に対する最適な評価や、ユーザー定義関数による柔軟で非決定論的なパターンマッチングなどの追加機能を提供する。
現状 curry-lang そのもののランタイムはなさそう。
kics2 という Haskell の処理系がある。
curry2go という Golangを利用した処理系がある。
code:sample.curry
-- Returns the last number of a list.
last :: Int -> Int
last (_ ++ x) = x
-- Returns some permutation of a list.
perm :: a -> a
perm [] = []
perm (x:xs) = insert (perm xs)
where insert ys = x : ys
insert (y:ys) = y : insert ys
公式サイト: https://curry-lang.org/
リポジトリ: https://github.com/curry-language/
https://curry-lang.org/assets/img/curry-cc-by.svg
#プログラミング言語