selfに関するpi8027のブックマーク (3)
-
pi8027 2013/05/04
-
型推論はどのようにして実装されているか - ラムダプラス+の紹介 -
この記事は Haskell Advent Calendar jp 2010 のために書かれた物です。(20日目) 型推論は簡単 ML や Haskell のような言語の型推論は、型推論を知らないみなさんが考えているよりは遥かに簡単な物です。大雑把に言ってしまえば、構文木全体を探索して、同一である事が明らかな型同士の単一化をしていけば型推論できてしまうのです。 型推論の難しい所その1 - 多相型 しかし、型推論にも難しい事が無いわけではありません。まず最初の難関としては多相型が挙げられます。 ML や Haskell では let などの変数束縛に対して多相型が導入されています。式の中でこれらの変数が出現すると、その型の型変数(確定していない部分)を全て付け替える操作が発生します。 しかし、確定していない部分を付け替えるという事は、最終的に元の型が確定した後にその操作をしなければ、型を正しく
-
Stricter.org
目次 Stricter.org について 当サイトに関する情報。 イベント 同人誌即売会などのイベントの参加情報です。 読み物 技術資料 技術関連の文書を公開しています。 WWW 関連 スタイルシートギャラリー 当サイトで使用しているスタイルシートを公開しています。 関連サイト Hatena::Diary::pi8027 GitHub - pi8027 Twitter - pi8027 diary.stricter.org pbfi.stricter.org 更新履歴 2012-12-27T21:34:29+09:00 コミックマーケット83出展情報を公開。 2012-08-08T08:15:59+09:00 コミックマーケット82出展情報を公開。 2010-06-15T02:33:39+09:00 著作者についてを更新。
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
