オメガ通訳

オメガ
原作者ティム・シアード
開発者ポートランド州立大学
初回リリース2005年3月3日 (2005年3月3日
安定版リリース
1.5 / 2011年4月29日 (2011年4月29日
オペレーティング·システムクロスプラットフォーム
タイプ通訳者
ライセンスBSD 3節
Webサイトweb .cecs .pdx .edu /~sheard /Omega

Omegaインタプリタ[ 1 ]Ωmegaと表記されることもある)は、Hugs Haskellインタプリタに似た、厳密純粋関数型プログラミングインタプリタである。構文はHaskellによく似ているが、重要な違いもある。

  • Omega は厳密な評価を使用します(Hugs は遅延評価を使用します)。
  • 新しい種類を導入する能力;
  • 型レベルで関数を記述できます。

その他の違いについてはオメガのユーザーガイドに記載されています。[ 1 ]

Omegaは、ポートランド州立大学コンピュータサイエンス学部のティム・シアード教授によって、値、型、種類、ソートといった無限階層の計算レベルを持つ言語として開発されました。その基本的な概念は、データとデータを操作する関数をあらゆるレベルで導入できるというものです。[ 2 ]

参考文献

  1. ^ a b Sheard, Tim. Ωmegaユーザーズガイド. 2007年6月9日閲覧。
  2. ^ Sheard, Tim; Linger, Nathan (2007年6月30日). 「Ωmegaでのプログラミング」 .第2回中央ヨーロッパ関数型プログラミングスクール.