型推論（かたすいろん、英: type inference）とはプログラミング言語の機能の1つで、静的な型付けを持つ言語において、変数や関数シグネチャの型を明示的に宣言しなくても、初期化のための代入式の右辺値や関数呼び出し時の実引数などといった、周辺情報および文脈などから自動的に（暗黙的に）各々の型を決定する機構のこと。推論に失敗するとその時点でエラーを報告できるため、少なくとも誤った型を用いることによるバグは回避できる。また、アルゴリズムの記述に集中できるのでプログラムの抽象度が上がるというメリットもある。型名が長大な場合に、型推論による省略によってコード全体の見通しをよくすることにもつながるが、一方で統合開発環境による支援（コードエディター上のツールチップなど）が得られない環境では、一見して型が分からないことでコードレビューがしにくくなるというデメリットもある。代表的な型推論アルゴリズムとして、Hindley/Milner 型推論アルゴリズムがある。各々著名なコンピュータ科学者の名前からつけられた名前であるが、Hindley は論理学者として型推論システムを先に開発した。型推論を持つ言語としてはHaskell、ML、Vala、F#、C#、Java、Scala、OCaml、D言語、Concurrent Clean、C++ (C++11以降)、Swiftなどがある。静的型付け関数型プログラミング言語のほとんどがなんらかの型推論の機能を持っている。登場当初は型推論を持っていなかった言語であっても、関数型言語に影響を受けた拡張や改訂により型推論の機能を持つようになった言語も多い。ただし型推論と関数の多重定義（オーバーロード）は相性が悪く、オーバーロードをサポートする言語では型推論による恩恵が十分に受けられない（型推論ではシグネチャを一意に決めることができない）ケースがある。
年代別代表はポルトガルを選択。U-19代表としてUEFA U-19欧州選手権2013、2013 FIFA U-20ワールドカップに参戦した。後者ではジョゼ・サの控えであった。U-20代表では第42回トゥーロン国際大会に参加した。U-21代表ではUEFA U-21欧州選手権2015に参加し準優勝したものの、ジョゼ・サの控えであり、出場は出来なかった。しかし、リオデジャネイロオリンピックでは正ゴールキーパーとして出場した。2017年3月21日、負傷したアントニー・ロペスの代わりとしてポルトガルA代表からの招集を受けた.。しかし出場機会は無かった。
2017年7月にベンフィカに完全移籍で復帰。8月5日に復帰後初出場。9月12日にはUEFAチャンピオンズリーグ 2017-18 グループリーグのPFC CSKAモスクワ戦に出場、UEFA主催大会での初出場となったが、このホームゲームは1-2で敗北した。2017年9月16日の試合では、相手のフリーキックを正面で触ったものの、そのまま真後ろのゴールネットに突き刺す大失態を犯してしまい1-2で敗北。このワンプレーでルイ・ヴィトーリア監督からは見切られ、クラブはミレ・スヴィラルとオディッセアス・ヴラホディモスを翌週に獲得した。しかし前者はインフルエンザに罹ってしまい、後者は加入が1月にずれこんだため、スターティングメンバーとして起用された。その中でFCポルトとのアウェーゲームではマン・オブ・ザ・マッチに選出されるなど、汚名返上をした。2018-19シーズンは出場機会が無かったため、2019年1月26日にエールディヴィジのアヤックス・アムステルダムに買取オプションつきの半年の期限付き移籍。6月24日にレンタル期間が1年延長された。
リスボンに生まれ、11歳の時に地元のSLベンフィカの下部組織に入った。2011年8月29日に16歳でトップチームのベンチに入った。2012年9月22日にBチームで出場し、プロ初出場。2013-14シーズンから翌シーズンにかけては不動の守護神を務めた。また、トップチームの試合でベンチに座る事も増えた。2015年8月29日にセグンダ・ディビシオンのレアル・バリャドリードに1シーズンの期限付き移籍。しかし、ケパ・アリサバラガの壁は高く、最終節1試合の出場に止まった。なおこの試合はホームながら1-3で敗北した。
1928年、津田沼でデッドセクションでの電気事故により104が全焼した。同年中にクハ126形と同形の車体を新製した。1940年（昭和15年）2月、津田沼車庫の火災で104を再び焼失した。同年9月には宗吾参道駅付近での追突事故で115・116が焼失。これら3両は梅鉢車輛で200形を短縮した形の非対称車体を製造した（20形の中にも同様の車体を新造した車両があった）。1941年（昭和16年）末に復帰するまでの間クハ500形（501～503）に電装品を一時移設して走らせた。1945年（昭和20年）3月10日、東京大空襲により押上駅で109が被災。1948年（昭和23年）に国鉄モハ63形に似た前後対称の車体を帝國車輛工業で製造した（210(⇔511）・507・512も同様の車体で復旧)。131・134・135は戦災廃車となった。1947年（昭和22年）、高砂車庫の火災で101・104・118が全焼、120が半焼。応急修理で復帰。1953年（昭和28年）からは更新修理が行われた。高砂車庫火災で被災した104・101・118と123が半鋼製の非対称車体で竣工（104はウインドシル・ヘッダ有り、118・123は前面窓がHゴム）。1956年（昭和31年）竣工の117・122・102・103・112・121からは押上駅が地下駅に移ったことに関連して全金属製の非対称車体と変わった（この6両以外は側面ベンチレーター、窓枠は全金車も含め全車木造）。何度か仕様が変わったためスタイルは多岐に渡っている。126形は更新されなかった。また非対称車体とした理由は、車内の混雑率を平均化するため。1963年（昭和38年）からは新京成電鉄への譲渡が始まり、1967年（昭和42年）までに25両全車を譲渡した。126形は製造当初の半鋼製車体のまま残りの7両全車が1959～1960年に新京成に譲渡された。