サクサク読めて、アプリ限定の機能も多数！
“線形型システムとは、プログラム実行中に作られた値が何度使われうるかによって 型を区別するような型システムです。”
igrep のブックマーク 2014/01/26 14:34
このブックマークにはスターがありません。 最初のスターをつけてみよう！
web.yl.is.s.u-tokyo.ac.jp2014/01/26
課題４ 線形型に関する論文を読んでそれに基づく型推論プログラムを書く 線形型システムとは？ 線形型システムとは、プログラム実行中に作られた値が何度使われうるかによって 型を区別するような型システムです...
5 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／
“線形型システムとは、プログラム実行中に作られた値が何度使われうるかによって 型を区別するような型システムです。”
このブックマークにはスターがありません。
最初のスターをつけてみよう！