Curry

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

Curry
パラダイム 関数型、論理、非厳格、宣言型、モジュラー
設計者 Michael Hanus, Sergio Antoy, その他の者.
開発者 Curryチーム
最新リリース 3.3.0 - 2021年2月14日 (2021-02-14)
型付け 静的型付け、強い型付け、推論
影響を受けた言語 Haskell, Prolog
プラットフォーム ポータブル
ウェブサイト http://curry-lang.org/

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

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

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

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

  • フリーな変数

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

出典
  1. CurryWiki
  2. curry-lang.org - Features
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.