「コンパイラ: 原理と構造」の型推論をClojureで書いた

テクノロジーカテゴリーの変更を依頼記事元:

pages.zick.run

4 usersがブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

「コンパイラ: 原理と構造」の型推論をClojureで書いた

「コンパイラ: 原理と構造」の型推論をClojureで書いたコンパイラ: 原理と構造という本を読んだ。最近... 「コンパイラ: 原理と構造」の型推論をClojureで書いたコンパイラ: 原理と構造という本を読んだ。最近は本の内容を3秒ほどで忘れてしまうので、少しでも記憶を定着させるため手を動かすことにした。大昔に決定性有限オートマトンを作ったり、 LALR構文解析器を作ったりするプログラムを（Common Lispのマクロとして）書いたことがあるので字句解析と構文解析はすっ飛ばして、いきなり型推論をするプログラムを書くことにした。型推論を書くのは初めてだ。本ではSML#を使っているが、「最も稼げる言語はClojure」という噂を聞いたので Clojureで書いてみることにした。Clojureを書くのも初めてだ。できあがったもの user> (type-inf-defs '((def fdec (fn p (tuple (- (get p 0) 1) (get p 1)))) (def

あとで読む

ブックマークしたユーザー

accordfinal2021/12/14
zu22021/10/20
xef2021/10/19

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx