型システムの意義(TAPL第1章より) - Kentaro Kuribayashi's blog

テクノロジーカテゴリーの変更を依頼記事元:

blog.kentarok.org

30 usersがブックマークコメント

コメント

2

記事へのコメント2件

注目コメント
新着コメント

オーナーコメントを固定しています

オーナー antipop TAPL読むゾ

2014/09/27 リンク

オーナーコメントを固定しています

オーナー antipop TAPL読むゾ

2014/09/27 リンク

uehaj "IDEでの補完"が抜けとる

2014/09/28 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

型システムの意義(TAPL第1章より) - Kentaro Kuribayashi's blog

『アンダースタンディングコンピュテーション』に続いて、『型システム入門―プログラミング言語と型の... 『アンダースタンディングコンピュテーション』に続いて、『型システム入門―プログラミング言語と型の理論』を読む。型システムの定義システムが仕様通りに動作するかどうかを保証する形式手法と呼ばれるものにはいろいろあるけど、利用が難しい。もっと簡単に使えるような軽量形式手法として普及しており、確立されてもいるのが型システムである。型システムとは、プログラムの書く部分を、それが計算する値の種類に沿って分類することにより、プログラムがある種の振る舞いを起こさないことを保証する、計算量的に扱いやすい構文的な手法である。 (本書 p.1より) 型システム(型理論)には、論理学・数学におけるいろんな理論からの流れもあるけど、本書では、上記の定義にある通り、プログラムの動作に関する推論のためのツールという側面にフォーカスしてみていく。また、型システムを、プログラミングにおける項を値の性質によって分類し

ブックマークしたユーザー

kfly82018/07/30
nomnel2014/10/04
morishitter2014/09/30
souta_mori9912014/09/28
uehaj2014/09/28
mkt-33802014/09/28
gin06062014/09/28
toshi127x2014/09/28
cd012014/09/28
invent2014/09/27
lEDfm4UE2014/09/27
coyote_trickster2014/09/27
milk772014/09/27
qtamaki2014/09/27
tnoda782014/09/27
affec2014/09/27
atm_09_td2014/09/27
uccminarian2014/09/27

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx