(閉じる)

はてなブックマーク > コンピュータ・IT > 型推論はどのようにして実装されているか - ラムダ...

型推論はどのようにして実装されているか - ラムダプラス+の紹介 - Hatena::Diary::pi8027

d:id:pi8027

タグ :

コンピュータ・IT 57 users このエントリーをはてなブックマークに追加

型推論はどのようにして実装されているか - ラムダプラス+の紹介 - Hatena::Diary::pi8027

Programming, Haskellこの記事は Haskell Advent Calendar jp 2010 のために書かれた物です。(20日目)型推論は簡単ML や Haskell のような言語の型推論は、型推論を知らないみなさんが考えているよりは遥かに簡単な物です。大雑把に言ってしまえば、構文木全体を探索して、同一である事が明らかな型同士の単一化をしていけば型推論できてしまうのです。 型推論の難しい所その1 - 多相型しかし、型推論にも難しい事が無いわけではありません。まず最初の難関としては多相... > このページを見る

最終更新時間: 2010年12月26日03時09分
▼ブログで紹介する

みんなのブックマーク 人気（0） 新着

  • maropu maropu ,
    構文木全体を探索して、同一である事が明らかな型同士の単一化をしていけば型推論できてしまうのです 2011/11/28
  • stoikheia stoikheia ,
    型推論 2010/12/29
  • anatoo anatoo
    ラムダプラス+ 欲しい 2010/12/27
  • Naruhodius Naruhodius
    フム～ン 2010/12/27
  • mayah mayah
    共著の mayah です。前回の本が 130 部刷って全部なくなったので今回 200 部作りました。 2010/12/27
  • todesking todesking
    型推論同人誌アツい、コミケいくか 2010/12/26
  • oshinnnnnn oshinnnnnn
    型推論はどのようにして実装されているか - ラムダプラス+の紹介 - Hatena::Diary::pi8027 2010/12/26
  • pi8027 pi8027
    なんか予想外にはてぶ付いてる。1月の HIMA' などにも持っていく予定ですし、直接会う予定のある方は言って下されば持って行きます。>コミケ参加しない方 2010/12/26
  • mkoji530 mkoji530
    iphone 2010/12/26
  • cubisme_face cubisme_face
    型推論はどのようにして実装されているか - ラムダプラス+の紹介 - Hatena::Diary::pi8027: 型推論はどのようにして実装されているか - ラムダプラス+の紹介 - Hatena::Diary::pi8... 2010/12/26
  • nanakoso nanakoso , , ,
    1/1追記:買ったらおまけで「β簡約λカ娘」という小冊子がついてきたでゲソ 2010/12/26
  • ruicc ruicc
    興味はあるけどコミケは行けないな。 2010/12/26

はてなブックマークを使ってみる(無料)
はてなブックマークって？
はてなブックマークはオンラインでブックマークを管理・共有できる無料サービス。自宅、職場、外出先、どこからでも同じブックマークにアクセスできます。ユーザーはみんなでブックマークを共有して効率良く情報収集しています。あなたもはてなブックマークを始めてみませんか?