読む 編集 履歴表示

Curry

ウィキペディアから、無料の百科事典
Curry
パラダイム 関数型、論理、非厳格、宣言型、モジュラー
設計者 Michael Hanus, Sergio Antoy, その他の者.
開発者 Curryチーム
最新リリース 3.6.0 / 2023年11月10日[1]
型付け 静的型付け、強い型付け、推論
影響を受けた言語 Haskell, Prolog
プラットフォーム ポータブル
ウェブサイト http://curry-lang.org/
テンプレートを表示

Curry（カリー）は関数型プログラミングと論理プログラミングを一体にする目的で開発されたユニバーサルなプログラミング言語である。

特徴

  • 演算原則「レジドゥエーション」と「ナローイング」を実現する。[2]
  • 純粋な宣言型言語

強い型付けに拠る言語であるが関数アノテーションの記述は必須ではない

  • 非決定的な演算を行える

同一の入力に対して異なる値を返すことができる

  • フリーな変数

は未知の値を表わすが、それらはインスタンスを生成されるので評価可能である。[3]

出典

  1. ↑ 出典URL: https://www.informatik.uni-kiel.de/~pakcs/download.html, 出版日: 2023年11月10日, 閲覧日: 2023年11月14日, 題名: Current release:PAKCS Version 3.6.0 (10/11/23)
  2. ↑ CurryWiki
  3. ↑ curry-lang.org - Features