T extends (...args: infer R) => unknown ? R : never ← ナニコレ

2024/11/10 14 users args Unknown Never ナニコレ ドン

T extends (...args: infer R) => unknown ? R : never ← ナニコレ type-challengesをやってるときの、ナニコレ シリーズです。前回はこれでした。 今回もやっていきます。前回同様、「あーなるほどね」となった方や「またinferの話か、どんだけこすんねん」となった方はわざわざ読む必要がない記事っぽいです。 手っ取... 続きを読む

【TypeScript】 inferに詳しくなろう - Qiita

2020/11/21 10 users Qiita TypeScript Handbook docs

が何しているのかを読めるようになる。 また実際にinferを用いて実装できるようになるのが目的。 inferとは https://www.typescriptlang.org/docs/handbook/advanced-types.html#type-inference-in-conditional-types の抄訳 inferは日本語に表すと「推論」です。 TypeScriptのextendsを使うと、型での条件分岐が可能に... 続きを読む

Facebook、静的コード解析ツール「Infer」を公開。Objective-C/Java/Cコードのバグを指摘してくれる － Publickey

2015/06/15 172 users Facebook Publickey Java パク iOS

Facebook、静的コード解析ツール「Infer」を公開。Objective-C/Java/Cコードのバグを指摘してくれる Inferが対応するコードはAndroidのJavaとiOSのObjective-C、およびC。現時点ではAndroidとJavaではNullPointerExceptionおよびリソースのリーク。iOSとCコードではメモリーリークを発見してくれます。 実際にプログラムを実... 続きを読む

Facebookがモバイルコード用のデバッガInferをオープンソース化 | TechCrunch Japan

2015/06/12 44 users iOS Facebook Instagram パク ソース

Facebookが今日（米国時間6/11）、Inferをオープンソースにする、と発表した。Inferは、同社が発表前のモバイルコードのバグを見つけるために使っているスタティックな（==非実動時）プログラムアナライザで、これまで同社はこのツールを使ってAndroidやiOS、Facebook Messenger、Instagramなど用のFacebookアプリを分析していた。 Facebookによる... 続きを読む

facebook/infer · GitHub

2015/06/12 34 users Facebook GitHub

README.md Infer Infer is a static analysis tool for Java, Objective-C and C, written in OCaml. Check out the documentation at http://fbinfer.com/. See FILES.md for a quick overview of the files in inf... 続きを読む

Infer | A static analyzer for mobile apps

2015/06/11 181 users

Infer A tool to detect bugs in Android and iOS apps before they ship What is Infer? Facebook Infer is a static analysis tool - if you give Infer some Objective-C, Java, or C code, it produces a list o... 続きを読む