(線形論理も結局ほとんど勉強しなかったな......

MagicantMagicant のブックマーク 2015/02/06 09:12

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

論理学の考え方でつくられた、LLプログラミング言語 obake - Qiita

    論理学の考え方で、 関数型プログラミング言語の定義&実装の仕方の例に触発されて、 深夜アニメを見ながら OCamlでつくられた、 脱関数型プログラミング言語 obake (おばけ)を紹介します。 関数型言語とかは前世...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう