ユーザに必要なだけの操作方法は提供するが、実装の詳細は隠蔽されているデータ型のことを抽象データ型と呼ぶ。

そもそも型は、変数がメモリにアクセスする場合にint型ならXXXバイト、char型ならXXXバイトというようにアクセスするサイズを決めるために用いられると思っていたけど、それだけではないらしい。 型を用いることである種のバグが存在しないことにも繋がるら…

プログラミング言語の分類の助けになりそうな概念をつらつらとまとめてみた。 オブジェクト指向とか関数型言語とかは大丈夫そうなのでパス。 自分は型推論がない言語でないとやってられない！ 型推論 周囲の文脈から型を推論すること 変数に対する型の記載が…

型安全 ・下の説明は凄い。BOF攻撃と型安全の間には関係があったのか。。。 ・プログラミング言語において「文法的な正しさ」と「意味的な正しさ」が一致するとは限らない。 ・「文法的に正しいが実装のない実装（＝動作未定義）」が存在し、往々にしてセキ…

質問： 型とはなんですか？ 回答：値の意味です。 あえてプログラミング言語に限定せず、NW・IO・HW等も含む広義の意味でのコンピュータがやり取りするのは2進数の羅列だけである。そうした2進数の羅列を意味づけし解釈するには「型」が必要となる。この意味…