戻り値の型が型引数に依存してる関数について - xuwei-k's blog
まず戻り値の型が型引数に依存してるってどういうことかっていうと、こういう感じ def foo[A]( param :String ) : A = { ... } 依存してるって言い方が一般的なのか、あってるのかは知りませんというか、勝手にこう呼んでます。つまり、 foo[Int]( "scala" ) というように、明示的に型引数を書く val obj:Int = foo( "scala" ) のように、戻り値の型が推論してもらえるような場所に書く 上記と結局は同じだが、 def bar( param: Int ) という関数があり bar( foo( "scala" ) ) という呼び方をする というような使い方をしないといけない関数のことです。 これを val obj = hoge("scala") というように呼ぶと、objがNothing型に推論されてしまいます。 まぁ普通コンパイ
TypeScript の型定義ファイルと仲良くなろう - Hatena Developer Blog
この記事は2016年に書かれた古い記事です。当時はまだTypeScript2.0も出ていないころで今とは状況がかなり異なっています。参考にする場合注意してください。 はじめに TypeScriptの型システム Declaration space Open-ended ここまでの確認 型定義ファイルを読み書きできるようになるために declare キーワード 既存のオブジェクトの型定義を拡張する グローバルなオブジェクトに対する宣言 module Export Assignments Relative or Non-relative module imports ES2015形式 実際の定義ファイル 既存の定義ファイルを拡張する declare global { } について Typings について おわりに インターン募集中 はじめに こんにちはアプリケーションエンジニアの id:t_k
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
