気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
kadai1
5 users
web.yl.is.s.u-tokyo.ac.jp
web.yl.is.s.u-tokyo.ac.jp
web.yl.is.s.u-tokyo.ac.jp
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
課題４ 線形型に関する論文を読んでそれに基づく型推論プログラムを書く 線形型システムとは？ 線形型シ... 課題４ 線形型に関する論文を読んでそれに基づく型推論プログラムを書く 線形型システムとは？ 線形型システムとは、プログラム実行中に作られた値が何度使われうるかによって 型を区別するような型システムです。例えば、整数の型はMLの型システムでは単に"int" ですが、 線形型システムでは、高々一回しか使われない整数の型は"int<１>", 何回でも使われうる 整数の型は"int<ω>" のように区別されます。このように型の概念を拡張しても MLと全く同じように自動的に型推論が行なえる （ここでは型の概念が拡張されていますから、 各データが何回使われるかも自動的に推論されることになります）ことが最近になって知られており、 例えば、fn x=>x+1 の型は、∀ｉ>=1, ｊ.(int<ｉ> -> int<ｊ>) のように推論できます。 線形型って何の役に立つの？ プログラム実行中に高々一度しか使
web.yl.is.s.u-tokyo.ac.jp
web.yl.is.s.u-tokyo.ac.jp/~koba
web.yl.is.s.u-tokyo.ac.jp/~yonezawa
web.yl.is.s.u-tokyo.ac.jp/~tosh
president.jp
togetter.com
note.com/merumeru99
togetter.com
togetter.com
qiita.com
zenn.dev/p0n
note.com/hirokivv
qiita.com/prickle
zenn.dev/kakakakakku
blog-dry.com
2014/06/05 リンク