帰納関数プログラミングシステム MagicHaskeller
片山 晋が開発している，てけとープログラマおよび初心プログラマ向け自動HaskellプロクラミングシステムMagicHaskellerの日本語ページです． 小難しい話はトップページのPublicationsのところ参照．特に，TFP2005のやつとPRICAI2008のやつ． 英語ページの方が充実してますが，売国奴ではありません．日本語ページの方がよくまとまっていると考えていただければよろしいかと． (最近 MagicHaskeller Agent 使って「忖度できる汎用人工知能」ってのを作ってます. 「何じゃそりゃ」って方はこちら) Web版 関数fの仕様を述語(Trueとなるはずの式)の形で書くべし．その仕様を一般化した関数が得られるよ！ 例 注意事項： Bool値を返すHaskellの式を入力してください．(ただし、letとwhereは意図的に禁止しています。) Standard P
型クラスで tagless DSL メタプログラミング - keigoiの日記
これは Haskell Advent Calendar 2011 の5日目の記事です。 去年も書きましたが、その記事はこちら → Haskell厨を6年やってる俺がOCamlを仕事で2ヶ月使ってみた - keigoiの日記 先日の記事 Haskell＋タグレスな型付きDSLで楽々！C言語コード生成 - keigoiの日記 をちょっとブラッシュアップした。前回はコードについては全く説明しなかったので、改めて解説する。 おさらい HaskellやOCamlなどの関数型言語は、プログラミング言語の処理 ― 構文解析とコード生成 ― がとても得意だ。 大手のソフトウェア企業として知られる NTTデータも既存コードの処理 (構文解析〜リバースエンジニアリング) のために Haskell を使っているそうだ。 (函数プログラミングの集い2011より。インドに外注する部分もあるそう togetter 1
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - fujimura/hi: Generate scaffold for a Haskell project
