エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
HIMA' #5に行ってきたよ - soutaroブログ
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
HIMA' #5に行ってきたよ - soutaroブログ
HIMA' #5: 型推論 - PARTAKE Haskellが全然読めなくてちょっと面白かったです。 いくつか説明が抜けてた... HIMA' #5: 型推論 - PARTAKE Haskellが全然読めなくてちょっと面白かったです。 いくつか説明が抜けてたような気がしたので、勝手に補足。 多相型の定義 普通、MLとかHaskellとかでは、ネストした多相型は推論されません*1。 ∀α . α → αはOKですが、 ∀α. (∀β. β → β) → αはダメです。 この制限をうまいこと表現するために、「型(Type)」と「型スキーム(Type scheme)」という二つの概念を使って、「型」を表現することが広く行われています。 τ ::= Int | String | α | τ → τ | ... σ ::= τ | ∀α... . τここでτが型で、σが型スキームです。これを見ると、σはτそのものかτに束縛変数と総称量化子を付けたもののどちらかしか許されないことがわかります。つまり、∀をネストすることはできません