静的および強い型付けの支持者と動的および自由な型付けの支持者の間では衝突が度々おきる。前者のグループは厳密な型付けの使用によって、処理系がより多くのエラーを問題が大きくなる前に発見できるようになると主張している。後者のグループはより気軽な型付けによってコードはよりシンプルなものになり、そのようなコードは解析しやすいとされるので、エラーは減少すると主張している。型推論がある言語では型を手で宣言する必要はほとんどないので、強い型付けに伴う開発のオーバーヘッドは低減される。個人がどのグループに分かれるかは、開発しているソフトウェアの種類やチームのメンバーの能力、他のシステムとの対話性の度合い、開発チームの規模などに依ることが多い。少人数で小回りのきくプロジェクトには気軽な型付けがより合い、フォーマルで大人数で仕事が分断されている（プログラマ、アナリスト、テスト部隊、など）プロジェクトは厳密な型付けのほうがうまくいくことが多い、と結論づける者もいる。
静的型付き言語の型検査では、すべての式の型がその式が現れた文脈で期待される型と一貫しているか、検証しなければならない。たとえば、x := eという代入文では式eの推論される型は変数xの宣言型または推論型と一貫していなければならない。この一貫性の概念を互換性といい、プログラミング言語ごとに固有のものである。明らかなように、eとxの型が同一でかつその型への代入操作が許可されているなら、これは正当な式である。したがって最も単純な型システムでは、2つの型が互換であるかどうかは2つの型が同一である（または等価である）かどうか（等価性）という単純な問題に置き換えることができる。別の言語では2つの式が同じ型を持つと理解されるのに別の基準を採用している。これら、型の同一性理論は非常に多岐にわたっており、2つの極端な例は structural typing と nominative typing である。structural typing とは同じ外部構造（インタフェース、特に暗黙的なもの）を持つ値を同じ型であるとするもので、nominative typing とは型宣言の構文からのみ型の同一性を判定する（型が同じ「名前」を持たなければならない）ものである。派生型のある言語では互換性の関係はより複雑なものとなる。型Aが型Bの派生型であるとすると、A型の値はB型の値が必要とされる文脈で使用することができる。しかし逆は真ではない。等価性と同様に派生型の関係はプログラミング言語によって異なった方法で定義され、多くのバリエーションが存在しうる。パラメータ付けされたまたはアドホックなポリモーフィズムを持つ言語の存在は型の互換性に何らかの意味を持つのかもしれない。
多くの静的な型システム（例えば C や Java）は型宣言を必要とし、プログラマはすべての変数に特定の型を明示的に関連付けなければならない。そうでないもの（例えば Haskell）は型推論を行い、コンパイラはプログラマの変数に対する扱いから変数の型についての結論を引き出す。例として、x と y を足す関数 f(x, y) を仮定すると、コンパイラは加算は数値のみに定義されているので x と y は共に数値であると推論できる。ゆえにプログラム中で f の引数として数値でない型（文字列やリストなど）を取って呼び出すとエラーを報告する。コード中の数値や文字列のリテラルおよび式は型を暗示する。例えば、式 3.14 はおそらく浮動小数点数を暗示し、式 1, 2, 3 はおそらく整数のリスト（主に配列）を暗示する。
旧会津藩主・松平容保の七男。生母は容保の側室・佐久、妻は駿河国沼津藩主・水野忠敬の娘進子。1900年（明治33年）12月、海軍兵学校（28期）を卒業。1902年（明治35年）1月、海軍少尉に任官し横須賀水雷団第1水雷艇隊付となり、日露戦争に出征。1905年（明治38年）1月、海軍大尉に昇進し「鎮遠」分隊長として日本海海戦に参戦した。1910年（明治43年）6月、長兄の松平容大の死去に伴い、子女がいなかった容大の子爵位を継承。兵科将校としての専門は砲術で砲術長や海軍砲術学校教官などを務め、1910年（明治43年）12月少佐、1916年（大正5年）12月中佐へ進級。戦艦の副長職にあった際、持病であった耳疾が悪化し、一時待命となり治療に専念。軽快後海軍省出仕として復帰した。1920年（大正9年）12月大佐に進級。戦艦「伊吹」艦長、兼「摂津」艦長、呉鎮守府付(簡閲点呼執行官)、横須賀海兵団長を歴任。1925年（大正14年）12月1日、海軍少将に昇進し、同月15日、予備役に編入された。1927年（昭和2年）7月から死去まで貴族院子爵議員となり、研究会に所属した。兄・恒雄の娘・勢津子（節子）と秩父宮雍仁親王の婚約の際、恒雄は平民籍であったため、勢津子は爵位を継いでいた保男の養女となる。1928年（昭和3年）9月に行われた婚儀では、東京市小石川区小日向第六天町（現在の東京都文京区春日二丁目）の自邸から勢津子を送り出している。日ごろ頑健であったが、発病後間もなく急逝した。東京での葬儀に際し、兵学校同期生の永野修身が葬儀委員長、左近司政三が葬儀委員となり、旧臣の子孫柴五郎、三淵忠彦、松江春次らが役員に名を連ねている。なお、旧領若松市においても葬儀が行われた。