Hatena Blog Tags
はてなブログ トップ
型推論
このタグでブログを書く
言葉の解説
ネットで話題
関連ブログ

型推論

(コンピュータ)
【かたすいろん】

Type inference. ML等の静的に強く型付けされた言語において，変数や関数の型をプログラマが明示しなくても，処理系が自動的に決定してくれる仕組みのこと．型理論の知見に基づく．
型推論が可能な型システムとしてはHindley-Milner型システムが有名．これを拡張したものがOCamlを始めとしたML系言語やHaskell等の言語処理系に搭載されている．

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。
SPIDERPLUS Tech Blog•22日前

実践的！TypeScript Tips の紹介！

皆様こんにちは。 S+BIMチームのコモドドラゴンです。 最近、エリッククラプトンのライブに参戦したのですが、まさに、Wonderful tonight でした！ そんな私が今回ブログ記事として、執筆させていただくテーマは、TypeScript Tipsです。 昨今のフロントエンド界隈はSPAやSSRなどの技術が発達したのと同時に、 とても複雑化してきており、生のJSではランタイム時にしかエラーが分からなかったり、 JSDocでパラメータや戻り値の説明を補完していたりするケースも少なくないかと思います。（フロントエンドに限らず、js/tsはバックエンドで使用されることもあります） そんな時に役…

#TypeScript#プログラミング#型推論

関連ブログ

Cou氏の徒然日記•1年前

Java の学習 (ローカル変数の型推論(var))

◆ Java Java自体、仕事でも時々触れることはありますが、管理やドキュメント対応のほうが多くなってきて、コードを書く機会がかなり減ってきており、特にJavaについては、最近のコードは見ていても、「？？？」と思う書き方も結構出てきています。 自分がまともにJavaのコードを書いていたのは…正直、Java 1.5とかそういう時代。 今のように「Java SE〜」というような表記ではなく、「J2SE (*)」のような表記でしたね。 (*) J2SE: Java 2 Platform, Standard Edition 最近はまたJavaに触れる機会も増えてきた…ということもあり、 そのため、久…

#Java#型推論
sai_dive IL•4年前

【TypeScript】型推論

型推論 letで定義した時に型を自動で決定し、決定した型以外を代入するとエラーになる let moji = '文字'; let suuji = 1; 以下でエラーが発生。letで定義した時に型推論でstringとnumberで型指定している moji = 1; suuji = '1'

#TypeScript#型推論
Minaminの日記•4年前

C#のvarキーワードについて。

こんにちは。みなみんです。C#入門シリーズの続きです。 今回は「var」キーワードについて記事にしました。

#C##C#入門#型推論
DrumatoのBlog•5年前

一緒に学ぼう，Rustで作る単相型システム

こちらに移行しました． www.drumato.com

#Rust#型システム#型推論