[B! 型推論] kitokitokiのブックマーク

kitokitoki id:kitokitoki

型推論に関するkitokitokiのブックマーク (2)

型推論のある言語作った - Route 477(2014-06-05)
■ [types] 型推論のある言語作ったまだλ計算に毛が生えたようなものなので、Hello Worldくらいしか動かないですが。 https://github.com/yhara/boom TAPLを読んだからには*1静的型付け言語の一つでも作らなければならないと思って、とりあえず動くとこまで実装した。Boomという名前は適当に付けたのであとで変えるかもしれない。最初はTAPLのfullreconをベースにしようと思ったのだけど、動かしてみたらこいつは多相型が実装されてなくて(練習問題になってた)、pi8027さんのtypeinferをベースにすることにした。動かし方 Ruby 2.1が必要*2。 $ git clone https://github.com/yhara/boom $ gem i bundler $ bundle install $ bundle exec rspe
kitokitoki 2014/06/05
型推論
リンク
Users Meeting - OCaml.jp
縺薙�ｮ繝壹�ｼ繧ｸ縺ｯ譛�蠕後↓譖ｴ譁ｰ縺輔ｌ縺ｦ縺九ｉ1蟷ｴ莉･荳顔ｵ碁℃縺励※縺�縺ｾ縺吶�よュ蝣ｱ縺悟商縺�蜿ｯ閭ｽ諤ｧ縺後≠繧翫∪縺吶�ｮ縺ｧ縲√＃豕ｨ諢上￥縺縺輔＞縲� OCaml Meeting 2009 in Tokyo (蟷ｳ謌仙ｻｿ荳�蟷ｴ譚ｱ驛ｽ螟ｧ鬧ｱ鬧昜ｼ�) 縺薙�ｮ繧､繝吶Φ繝医�ｯ逶帶ｳ√�ｮ縺�縺｡縺ｫ邨ゆｺ�閾ｴ縺励∪縺励◆縲ゅ＃蜿ょ刈鬆ゅ＞縺溽嚀讒倥�√≠繧翫′縺ｨ縺�縺斐＊縺�縺ｾ縺励◆縲� 逋ｺ陦ｨ雉�譁吶ｄ蜍慕判縺檎ｽｮ縺�縺ｦ縺ゅｊ縺ｾ縺吶�ｮ縺ｧ縲√＃蜿ら�ｧ縺上□縺輔＞縲� 髢｢謨ｰ蝙玖ｨ�隱� OCaml縲�1994蟷ｴ縺ｫ螟ｧ蜈�縺ｨ縺ｪ繧� CAML 縺悟ｮ溯｣�縺輔ｌ縺ｦ莉･譚･縲�髟ｷ繧峨￥遐皮ｩｶ閠�逕ｨ縺ｮ縲後♀繧ゅ■繧�縲阪↓逡吶∪縺｣縺ｦ縺�縺� OCaml 縺ｧ縺吶′縲√◎縺ｮ繝励Ο繧ｰ繝ｩ繝縺ｮ螳牙�ｨ諤ｧ繧剃ｿ晁
kitokitoki 2012/05/02
ML型推論の光と影

movie

型推論
リンク
1