気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
pocarist.hatenablog.comエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Hindley-Milner型推論アルゴリズムをF#で書いてみた - pocarist’s blog
この記事は F# Advent Calendar 2014の21日目の記事です。昨日はc0hamaさんの「Linux で F# を始める」... この記事は F# Advent Calendar 2014の21日目の記事です。昨日はc0hamaさんの「Linux で F# を始める」でした。 いきなり弁解から入りますが、この記事は「Hindley-Milner型推論アルゴリズムをGroovyで書いてみた」というid:uehajさんの記事を単にF#で写経しました。という話をします。 動機 そもそもなんでそんなことをしようと思ったのか、 今年のICFPC2014でSECDマシン用のコンパイラを作る課題が出てmini-ML文法の独自DSLを作る。 その言語がMLっぽい文法のくせに型検査がなくて開発効率が悪かった。 よし、型検査を入れよう。ついでに型推論も入れよう。 ネットで調べると日本語のコメント付きですげーわかりやすいブログ発見。 →とりあえず、すぐに試せるF#で書き写してみよう。 という感じで作業していたら、テストが通るようになったの
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
anond.hatelabo.jp
newsdig.tbs.co.jp
togetter.com
togetter.com
www.gizmodo.jp
nlab.itmedia.co.jp
kaden.watch.impress.co.jp
nsakki55.hatenablog.com
xtech.nikkei.com
www3.nhk.or.jp
www.gdm.or.jp
ascii.jp
andcareer.co.jp
andcareer.co.jp
president.jp
2017/05/29 リンク