ポリモーフィズム（多相）という語は、コード（具体的には関数やクラス）が複数の型の値に基づいて動作できること、または同じデータ構造の異なるインスタンスが異なった型の要素を持てることを指す。型システムによってはコードの再利用性を改善するためにポリモーフィズムを持つものもある。ポリモーフィズムのある言語ではプログラマはリストや連想配列のようなデータ構造を使用される要素の型ごとにではなく、単に一度だけ実装すればよい。この理由から計算機科学ではこの種のポリモーフィズムの利用はジェネリックプログラミングと呼ばれることがある。ポリモーフィズムの型理論における基礎は抽象化やモジュール、また（場合によっては）派生型についての研究と密接な関連がある。
静的型付けか動的型付けかの選択はいくつかのトレードオフを必要とする。静的型付けは型エラーをコンパイル時にある程度確実に発見する。よって最終的なプログラムの信頼性を上げるはずである。しかしながら、型エラーがどれほど犯しやすい間違いなのか、その内の何割が静的型付けで検出できるのか、という点についてプログラマの意見は割れている。静的型付けの支持者は型検査されたプログラムの方が信頼性が高いと信じており、それに対して動的型付けの支持者は実際に流通しているソフトウェアの信頼性では大差ない点を指摘している。静的型付けは大抵、より高速に実行可能なコンパイル済みコードを生成する。コンパイラが正確なデータ型を知っていれば、最適化されたコードを生成できる。さらに、静的型付き言語のコンパイラではショートカットをみつけるのもより簡単になる。この理由からCommon Lispなどのいくつかの動的型付き言語では随意で型宣言ができるようになっている。最適化のための型付けは静的型付けの影響で普及した。対照的に、動的型付けのほうがコンパイラやインタプリタの動作が高速になることがある。動的型付けの言語ではソースコードが変更されてもやり直すべき解析が少ないためである。これは「編集-コンパイル-テスト-デバッグ」というサイクルの時間を減らす。型推論のない静的型付き言語ではプログラマがメソッドや関数の型を宣言しなければならない。これはプログラムの追加的なドキュメントとして機能することがあり、コンパイラによってコードと同期させることが強制される。しかし型宣言のない静的型付き言語もあるので、これは静的型付けのというよりは型宣言の報酬である。動的型付けはいくつかの静的型付けでは不正となり実現できない仕組みを可能にする。例えばデータをコードとして実行するeval関数である。さらに動的型付けでは、具体的なデータ構造の代わりに文字列を暫定的に用いることなどがやりやすく、プロトタイピングとの相性も良い。動的型付き言語のメタプログラミング機能はより強力で使いやすいことが多い。例を挙げると、C++のテンプレートはRubyやPythonでの等価なコードより、書くのが煩わしい。またイントロスペクションのような、より高度な実行時の仕組みを静的型付き言語で使うのは、さらに困難になることが多い。
Cのように型を直接具体的に書く（必要がある）型付けが明示的（explicit）な型付け、Haskellのように変数の使われかたなどから型推論により型付けが行われるのが暗黙的（implicit）な型付けである。
型検査によって型安全性があるような型付けが強い型付け、無いものが弱い型付けである。たとえばMLは静的で強い型付け、Cは静的で弱い型付けである。強い型付けの利点としては、型検査時の決定的な型保証による実行時の型不一致による不正動作の抑制がある。型検査時に型の機能を決定させているため、実行時の型変更は許されないと同時に予期しない動作も起こせない。一方で、弱い型付けの利点としては、Cの構造体で見られる様な、型の一部の機能が一致していれば厳密には型が不一致であってもその機能が扱えるというものがある。実行時の型変更を認めることにより、柔軟な扱いを可能とする。プログラムの安全性の定義については論者による議論もある所であり、またバッファオーバーランのように、型検査でプログラムの全ての安全性を保証できるわけでもないが、型システムによる大きな利点があることは確かである。
1933年2月12日、福島県福島市に9人兄妹の次男として生まれる[1]。福島県立福島高等学校卒業。高校時代は元総務官僚で川崎市長を務めた阿部孝夫と同窓。福島大学経済学部に入学し、役場で働きながらの学生生活を送る。仕事の合間に訪れた映画館で黒澤明監督の「生きる」を観た際に、衝撃を受けたと同時に役場で働く自身と重なり、一大決心の末、映画監督を目指すことを決意。福島大学から日本大学へ編入をし、1956年に日本大学芸術学部映画学科を卒業。大学卒業時に応募をした「新人シナリオコンクール」で入賞（千葉は最年少入賞、受賞者6人の中には既に助監督として働いていた深作欣二もいた。）、そのコンクールの審査委員長を務めていた映画監督新藤兼人とはコンクールを境に師弟関係に発展。生涯にわたって師事することになった。その後、大映東京撮影所で数々の作品において助監督を務め、24歳のときに映画「一粒の麦」（吉村公三郎監督）で脚本家デビュー。その後、新藤兼人が設立した独立プロ近代映画協会に所属。1974年にドキュメンタリー作品『愛の養子たち』で監督デビュー。以降ドキュメンタリー作品制作を中心に精力的に活動。世界に先駆けてインドの修道女マザー・テレサの活動を追った映画『マザー・テレサとその世界』（1978）では、それまで無名に近かったマザー・テレサの活動を世界に発信し、キネマ旬報文化映画作品賞など国内外で多くの映画賞を受賞した。その他、『豪日に架ける＝愛の鉄道』（1999）、『シネリテラシー映画をつくる子どもたち＝オーストラリアの挑戦＝』（2006）などではオーストラリアとの友好関係の深化や、映画を用いたリテラシー教育を取り上げるなどが認められ2006年豪日交流基金賞を夫婦で受賞した。近年では、映画製作を用いたリテラシー教育「シネリテラシー」の東日本大震災の被災地での汎用や、日本映画大学が立地する川崎市における子どもの映像教育などにも取り組んでいる。映画製作、教育活動の他、講演活動も活発に行い、全国各地でマザー・テレサにまつわる話や、生命尊重、映画製作・教育などについて講演を実施している。