サクサク読めて、アプリ限定の機能も多数！
インターフェースに制約を付加する、不変制約、ホーア制約。>「型とは、インターフェース＋制約だ」とみなすものがあります。
nak2k のブックマーク 2006/02/20 13:15
このブックマークにはスターがありません。 最初のスターをつけてみよう！
m-hiyama.hatenablog.com2006/02/20
前ふりは「型→代数→…それから：型理論入門（の前半）」にあります。これは本編（後半）。1回読み切り（長いけど）で、比較的新しい*1型理論を紹介します。「入門（門に入る）」というよりは門の外から中を覗いて...
19 人がブックマーク・5 件のコメント
＼ コメントが サクサク読める アプリです ／
インターフェースに制約を付加する、不変制約、ホーア制約。>「型とは、インターフェース＋制約だ」とみなすものがあります。
このブックマークにはスターがありません。
最初のスターをつけてみよう！
今風の型理論入門（本編） - 檜山正幸のキマイラ飼育記 (はてなBlog)
前ふりは「型→代数→…それから：型理論入門（の前半）」にあります。これは本編（後半）。1回読み切り（長いけど）で、比較的新しい*1型理論を紹介します。「入門（門に入る）」というよりは門の外から中を覗いて...
19 人がブックマーク・5 件のコメント
＼ コメントが サクサク読める アプリです ／