タグ

技術とassertに関するpolynityのブックマーク (1)

  • Picat言語の将来性

    また新しいプログラム言語かと思い少しうんざりしていた、今日この頃ですが、どうやらそうも言っていられないかも知れません。 この言語の特徴をあげると(家サイトの情報から) 1.マルチパラダイムプログラム、PythonとPrologの側面 2.ルールベース言語 3.記述が非常にシンプル 4.制約論理を実装している 5.テーブリング、メモ化して最適化計算 6.仮想マシンで動作し、スケーラブル 7.SATのアルゴリズムでも賞を最近とっている 8.アクター(イベントハンドリング) この他、基的な情報はウィキを参照してください。 これだけの理想的な特徴を持っている言語は他にはないような気がする。 Haskellは殆どが満たしているが、コードが読みにくい。 試しにサイトのコードやライブラリを眺めて見ると、びっくりするほどシンプルに記述されている。 家サイトには大量のサンプルプログラムがあり、使う上で

  • 1