エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
CatyScriptと総称ラムダ計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
CatyScriptと総称ラムダ計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)
CatyScriptの総称機能がだいぶちゃんとしてきたので、それに絡めて総称ラムダ計算の説明をしておこうか... CatyScriptの総称機能がだいぶちゃんとしてきたので、それに絡めて総称ラムダ計算の説明をしておこうかな、と。 ここで言う「総称」は「型変数を含む」という意味です。そして、総称をサポートするとは次のことです。 型変数を含む型表現を扱う。 型変数を含むスクリプトコードを扱う。 総称をサポートする動機は、型定義/型宣言を容易にするためです。型定義/型宣言を(徹底的に)利用する動機は、実行時の安全性をできる限り保証したいからです。人間の間違いを早く発見したいのです。 内容: 総称型の概要 プロファイルの扱い方 総称の式(項)の扱い方 ほんとに大丈夫? 総称型の概要 α、βなどは型変数を含むかもしれない型表現(type expression)とします*1。こういう表現(式、expression)を型スキームと呼ぶこともあります。Tを型変数として、ΛT.α を、型表現(型スキーム)αの型抽象だと