読者です 読者をやめる 読者になる 読者になる

項書き換えに基づく関数型プログラミング言語 Pure

プログラミング

Pure Programming Language

  • デフォルトは正格評価。指定すれば遅延評価も使える。
  • 副作用を許容する。
  • バックエンドにLLVMを使っている。
  • C FFIを持つ。C言語などで書かれたライブラリを、簡単な宣言で呼び出すことができる。
  • 変数には型がないが、データの種類を示すために、type tagsを使うことができる。