静的型付けは型エラーをコンパイル時にある程度確実に発見する。よって最終的なプログラムの信頼性を上げるはずである。しかしながら、型エラーがどれほど犯しやすい間違いなのか、その内の何割が静的型付けで検出できるのか、という点についてプログラマの意見は割れている。静的型付けの支持者は型検査されたプログラムの方が信頼性が高いと信じており、それに対して動的型付けの支持者は実際に流通しているソフトウェアの信頼性では大差ない点を指摘している。型推論のない静的型付き言語ではプログラマがメソッドや関数の型を宣言しなければならない。これはプログラムの追加的なドキュメントとして機能することがあり、コンパイラによってコードと同期させることが強制される。しかし型宣言のない静的型付き言語もあるので、これは静的型付けのというよりは型宣言の報酬である。言語が型推論の機能を持っていたとしても、型推論による暗黙的型付けを多用しすぎると可読性やメンテナンス性がかえって低下することがある。型推論を使用することが適切ではないケースについて一定のガイドラインが示されていることもある。型のバリエーション.姥神大神宮姥神大神宮(うばがみだいじんぐう)は、北海道檜山郡江差町にある神社である。旧社格は県社。社伝では鎌倉時代の創建と伝える、北海道最古の神社とされる。渡島国の一宮と称されており、姥神大神宮渡御祭にて配られる名刺にその記載がある事からもそれがうかがえる。祭神.天照皇大御神・天児屋根神・住吉大神を祀る。歴史.そのころ、津花の浜に「折居様」と呼ばれる老姥が庵を結んでいた。彼女には予知能力があり、天気や病気の流行を予言しては周囲に伝えるので、村の衆から何かと大事にされていた。さて、ある年の春先のこと。折居は神島(かむいしり)から光が発せられているのを見て驚き、光の源を訪ねて島に渡った。島には老翁がおり、「この中の水を海に撒くと、鰊という魚が群れになってやって来る」と、彼女に瓶子を授けた。その瓶子を持ち帰り、中の水を海に撒いたところ、話にたがわず鰊の大群が押し寄せ、村は豊漁に沸き立った。ところが、村人が礼をしようと折居を訪ねたところ、彼女はいつのまにか姿を消していた。そこで、庵に残されていた神像を「姥神」として祀ったのが当社の始まりという。アイヌ起源説.