サクサク読めて、アプリ限定の機能も多数!
(線形論理も結局ほとんど勉強しなかったな......
Magicant のブックマーク 2015/02/06 09:12
論理学の考え方でつくられた、LLプログラミング言語 obake - Qiita[プログラミング](線形論理も結局ほとんど勉強しなかったな......2015/02/06 09:12
このブックマークにはスターがありません。 最初のスターをつけてみよう!
qiita.com/kikx2015/02/06
論理学の考え方で、 関数型プログラミング言語の定義&実装の仕方の例に触発されて、 深夜アニメを見ながら OCamlでつくられた、 脱関数型プログラミング言語 obake (おばけ)を紹介します。 関数型言語とかは前世...
27 人がブックマーク・8 件のコメント
\ コメントが サクサク読める アプリです /
(線形論理も結局ほとんど勉強しなかったな......
Magicant のブックマーク 2015/02/06 09:12
このブックマークにはスターがありません。
最初のスターをつけてみよう!
論理学の考え方でつくられた、LLプログラミング言語 obake - Qiita
qiita.com/kikx2015/02/06
論理学の考え方で、 関数型プログラミング言語の定義&実装の仕方の例に触発されて、 深夜アニメを見ながら OCamlでつくられた、 脱関数型プログラミング言語 obake (おばけ)を紹介します。 関数型言語とかは前世...
27 人がブックマーク・8 件のコメント
\ コメントが サクサク読める アプリです /