Hindley-Milner型推論アルゴリズムをGroovyで書いてみた - uehaj's blog

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

uehaj.hatenablog.com

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

コメント

1

記事へのコメント1件

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

オーナーコメントを固定しています

オーナー uehaj 書いてみた、というより移植してみた、でした。こんなものとても書けません。

2014/02/01 リンク

オーナーコメントを固定しています

オーナー uehaj 書いてみた、というより移植してみた、でした。こんなものとても書けません。

2014/02/01 リンク

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

規約違反を報告

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

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

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

アプリをダウンロード

関連記事

Hindley-Milner型推論アルゴリズムをGroovyで書いてみた - uehaj's blog

こないだ「Haskellのforallについて理解したことを書いておく(ランクN多相限定)」の記事を書いたときにH... こないだ「Haskellのforallについて理解したことを書いておく(ランクN多相限定)」の記事を書いたときにHindley-Milner型推論アルゴリズム*1を調査するにあたって、こちらにある「Scala by Example」の16章にあるScalaでの実装例をGroovyに書きなおしたので晒しておきます。以下のような型検査・推論ができます。実行はできません。 def listLenTest = LetRec('len', Lam('xs', App(App(App(Var('if'), App(Var('isEmpty'), Var('xs'))), Var('zero')), App(Var('succ'), App(Var('len'), App(Var('tail'), Var('xs')))) )), App(Var('len'), App( App(Var('cons'

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

sonota882023/01/08
zenu2018/12/07
u_wot_m82017/10/13
michael262017/05/29
yojik2016/11/21
Nagise2016/11/21
kmizushima2016/07/16
rrreeeyyy2016/05/23
s_hiiragi2015/12/28
emonkak2015/12/16
komlow2015/05/17
about_hiroppy2015/04/08
pogin2014/08/07
c2552014/07/05
nfunato2014/07/05
akanehara2014/05/15
orangeclover2014/02/04
uehaj2014/02/01

同じサイトの新着

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

いま人気の記事

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

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

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

新着記事 - テクノロジー

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

いま人気の記事 - 企業メディア

企業メディアをもっと読む

設定を変更しましたx