Ruby内にHaskellのコード埋め込むHaskellというGem作ったヨ！ - Qiita
あいさつ 今日は鼻ピアスを鼻くそみたいにつけられてる方を見ました. （いやこれがマジで） HaskellのコードをRubyから文字列で渡して別スレッドでコンパイルしてRubyの文字列で取得するというGemです. （動的にHaskellのコードを生成出来る！） 前面白がって「実行時にゆるふわ型をチェックするHaskellというGem」を作りましたが、ちょっとアレだったのでRubype に名称を変更し、Haskellという方にはサクッとネタGemをぶち込んでおきました. Giuhub （僕が粛々とやっている麻布.hsのプロジェクトとして作りました！麻布にゆかりのあるHaskellerは是非！） Rubygems 様子 require 'haskell' # Haskellをコンパイルするためのサンドボックスを作る Haskell.invoke_sandbox!(File.expand_path
世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
