部分型における変性と極性 - なぜScalaの変性は+や-で指定するのか - 貳佰伍拾陸夜日記

2022/12/19 13 users Scala Kotlin Out 発端 貳佰伍拾陸夜日記

この記事はScala Advent Calendar 2022の19日目です. Scalaではジェネリック型の変性(variance)は+や-で指定しますが, 他の言語(たとえば, C#, Kotlin)ではoutやinだったりします. この記事では変性の意味を整理して, なぜScalaでは+/-の記号を使うのか説明します. 発端 こういう話題がありました. Scala は共変が + で... 続きを読む

TypeScriptでMapped Typesを使ってきれいなインターフェースを作る話 - Qiita

2020/12/05 9 users TypeScript Qiita 構文 インターフェース 仕方

みなさんこんにちは。この記事はTypeScript Advent Calendar 2020の5日目の記事です。 TypeScriptにはintersection typeという機能があります。これはT & Uのような構文をもつ型であり、意味としては「TでもありUでもある型」です。 構造的部分型とIntersection Type 「TでもありUでもある」という説明の仕方をされるとI... 続きを読む

TypeScriptのunion型はorです　〜union型、構造的部分型、余剰プロパティチェックの話〜 - Qiita

2020/07/07 21 users Qiita TypeScript

Help us understand the problem. What is going on with this article? 続きを読む

Goはオブジェクト指向言語だろうか？ | プログラミング | POSTD

2015/05/21 282 users POSTD コンポジション オブジェクト指向 オブジェクト

Go言語では、'オブジェクト'という名前のコンセプトは存在しませんし、継承もできません。しかし、Go言語では代わりにコンポジションや匿名フィールドといった概念を利用して、擬似的に部分型（Subtyping）を実装できます。そしてそれは、これまでよりも良い方法のようです。“オブジェクト指向”の意味を本当に理解するには、この概念の始まりを振り返ることが必要です。最初のオブジェクト指向言語はSimula... 続きを読む

Haxeの多相関数の型推論について - Qiita

2014/05/05 19 users Qiita haXe 型推論 関数 解決

Haxeでは型推論があり、匿名型があり、構造的部分型付けがあり、いろいろ便利なのですが ここでは、Haxeの型システム上で起りうる問題と解決を提示していきます。 パラメトリック多相関数の型推論について id関数の望ましくない、コンパイルエラー Haxeではパラメトリック多相の型推論は失敗します。たとえば関数を見ていただきたい。 続きを読む