型にまつわるものに限らず一般に、プログラムが言語で定義していない状態（たとえばバッファオーバーランなどによる）や、言語仕様で「未定義」とされている状態（たとえばC言語の標準では、そういった「未定義」の場合が決められている）にならない、という性質。プログラムのエラーを（エラーが原因の異常動作によるセグメンテーション違反などによってではなく）ランタイムやインタプリタが検出して異常終了するような場合も「安全」の側に含まれる。型にまつわる安全性が型安全性である。型安全でない例としては、C言語などにおいて、32または64ビットの整数型と浮動小数点数型は暗黙的な型変換が行われることがある。このときに得られる値は主に処理系に依存する（丸め処理を行う関数は別途用意されているが、暗黙的な型変換では利用されない）。そのため、この型同士で暗黙的な型変換を利用してしまうと期待はずれの結果になる。典型的な例として、printfなどで、丸め処理をせずに表示すると生じる。また、for文で浮動小数点数型をカウントに用いる場合でも、ループ回数が変わってくることがある。型安全性が実現できる内容は言語に依存する。なぜならば、安全性とは「言語仕様で未定義とされている状態にならない」という性質である、つまり言語仕様によって決定されているからである。(参考: Null安全)
型付けを更に厳密に定義した区分として型なし（英: untyped）という区分が存在する。代表的な言語はSmalltalkで高速化のため処理系依存で実行時に型検査することがあるものの言語的には型検査がなく動的型付け言語のように文字列に割り算をするといった不正な操作をしても処理系が型検査して停止する事は無い。型なしの言語では処理系が型検査をしない代わり、ライブラリーで例外を投げて停止する。例えばSmalltalkではオブジェクトに対し対応するメソッドが存在しないメッセージを投げると最終的にクラスごとに定義した#doesNotUnderstand:メソッドに至る。このメソッドが例外を投げるようになっていればば停止するがそうでなければ停止することなく走り続ける。型なしの言語は最適化がしづらい反面、オブジェクトの操作を処理系に制限されないため使用者が後から自由にオブジェクトの操作を追加できる利点がある。
プログラムを実行前に型検査を行うのが静的な型付け、静的型付けであり、プログラムを実行しながら型検査を行うのが動的な型付け、動的型付けである。Javaは一般に静的型付け（静的型付き言語）であるが、ダウンキャストは明示する必要があり実行時に型検査を受ける。Common Lispは一般に動的型付け（動的型付き言語）だが、type specifierという静的に型を指定する文法も持っている。といったように、ある程度は混在している言語もある。さらに、静的検査が行われるタイミングについても、コンパイル時の他リンク時やインタプリタのソースコード読み込み時といった場合もありえるため、簡単に見た目では分類できないこともある。
プログラムにおけるエラーはさまざまだが、型に基づく一連のエラーがある。単純な例としては、浮動小数点数を表現しているワードを（一般的なコンピュータのハードウェアでは、メモリ上のワードとしては区別がつかないため）整数型として扱ってしまう、といったようなものである。この例では 0 と +0.0 のような特別な場合を除いてたいていの場合は得られる結果は無意味であり、より複雑な構造を持った値の場合は構造を壊して不正にしてしまうかもしれない。このような異常をプログラムが起こさないことを検査するのが型検査（英: type checking）である。
プログラミング言語はさまざまな値を扱う。三角関数は浮動小数点数を引数にとり浮動小数点数を返す。先頭の文字を大文字にする関数は文字列を引数にとり文字列を返す。ユーザーからの入力を数値として扱うためには、文字列を解釈して数値を返す関数が必要である。ここで、3.14 や "hoge" といった値について「浮動小数点数」や「文字列」といった種類に分類して扱っているが、同じ種類の値であれば同じ操作が可能である。この「値の種類」が型である。
宜昌から江西省九江市までの長江中流は、古代の荊州（湖北省一帯）を流れることから俗に「荊江」と呼ばれる。荊江は長江中下流の平原地帯を流れるために、川江よりもさらに緩やかな流れになる。古来より要衝として栄えた江陵市を過ぎ、岳陽市で長江本流は洞庭湖に接する。もっとも、江陵付近から岳陽までの間では直接の接点以外にも4本の支流が長江本流から洞庭湖へと流れ込んでおり、洞庭湖に供給される水量の半分は長江から流れ込むものである。このため、洞庭湖は長江の遊水地的役割を果たしており、増水期には通常時よりかなり面積が増大する。一方で、長江上流から流れ込む膨大な土砂と干拓は洞庭湖の面積を縮小させ続けており、現在では通常時は東・南・西の3つの湖に分かれてしまううえ、増水時の面積でも半分以下にまで減少し、鄱陽湖に抜かれてしまった。岳陽市の、長江と洞庭湖が接する地点に建てられた岳陽楼は雄大な景観で知られ、瀟湘八景のひとつにも数えられ、また杜甫や孟浩然、范仲淹などの名だたる詩人がここで多くの詩文を生み出した。岳陽で長江本流は北東に転じ、その下流には赤壁があり、ここで208年に曹操軍と孫権・劉備連合軍の間で赤壁の戦いが起こった。そこから下流に行くと、長江は西から流れてきた漢水と合流する。この合流地点は水陸交通の交わる要衝であり、長江と漢水によって分けられた北の漢口・西の漢陽・南の武昌の3都市が発達していた。武漢三鎮と呼ばれたこの3都市は1926年に合併して武漢市となり、長江中流域最大の都市となっている。武漢で長江は南東へと転じ、江西省の九江市で再び北東へと転ずる。この九江市は鄱陽湖と長江本流との接点にある都市である。鄱陽湖は洞庭湖と同じく長江の遊水地的役割を持っているが、近年では洞庭湖と同じく面積縮小が起こっている。