Rick Byers
The CLR, diagnostics tool support and programming languages. Leaving After 6 great years at Microsoft, my wife and I have decided it's time to spend some time living... Author: Rick Byers - exMSFT Date: 11/19/2010 Sample Reflection.Emit code for using exception filters from C# In this post, I mentioned that one way to use exception filters from C# code is to generate them... Author: Rick Byers - e
Java Genericsに見るvariance - Journal InTime(2007-07-13)
_ Java Genericsに見るvariance 20070710のみずしまさんのコメントより: Java Genericsでは型のユーザがvarianceを指定できるように なっています。 ほう。 そういえば、最近のJavaはcovariant return typeもサポートしているそうですね。 型パラメータを? extends Tという形で記述することによって、 covariantな型になります。 List<Integer> ints = new ArrayList<Integer>(); ints.add(1); List<? extends Number> nums = ints; // OK nums.add(2); // NG なるほど、面白い。 一瞬型安全じゃないのではと思ったのですが、配列の時のように実 行時にArrayStoreExceptionのような例外が発生す
Variance Annotations - うなの日記
型パラメータに「+」「-」をつけることで、パラメータ化されたクラスの代入制限を少し緩くできます。 パラメータ化されたクラスの代入制限とは? 次のような、型パラメータを受け取るクラスがあるとして、 // 型パラメータを受け取るクラス class Holder[A](value:A) { private var v:A = value // getter def get:A = { v } // setter def set(value:A):unit = { v = value } } 「AnyRef」と、その派生クラスである「String」でそれぞれインスタンスを作成した場合、両者に代入互換性はありません。 // 「AnyRef」と、その派生クラスである「String」でそれぞれインスタンスを作成 var stringHolder = new Holder[String]( "foo" )
A Theory of Objects読書会 - Journal InTime(2007-07-10)
_ A Theory of Objects読書会 A Theory of Objects (Monographs in Computer Science) 松江オープンソースラボでA Theory of Objectsの読書会。 といっても、Aさんとまつもとさんと私の3人だけだけど。 Reviewの"2. Class-Based Languages"までAさんに解説してもらったけど、Reviewまでは何とかついていけそう。 Part I以降は式ばっかりでコードが出て来ないのでつらそうだな。 covariance/contravariance/invarianceについて、ある型について getのみだったらcovariance setのみだったらcontravariance get/set両方あったらinvariance という整理はすっきりしていると思った。 だからメソッドの場合は、戻り値
subtype / covariant / contravariant - soutaroブログ
subtypeと書いて「部分型(特種型)」と言うようです。多分、普通サブタイプで通じると思います。サブタイプというのは「ある型Aをある型Bとして扱っても大丈夫なとき、AはBのサブタイプであると言い、A <: Bなどと表記する」といった概念です。JavaやC#の世界では、(あとで考えるGenericsを省けば)サブクラスの関係とほぼ一対一に対応します。(StudentがPersonのサブクラスのとき ⇒ StudentをPersonだと思っても大丈夫 ⇔ StudentはPersonのサブタイプ ⇔ Student <: Person) さて、それでは関数のサブタイプを考えてみましょう。 X = A -> BとY = A' -> B'という型X,Yがあったとき、X <: Yとなるのは、A' <: AかつB <: B'が成り立っているときです。ここで、BとB'に関してはXとYの関係がそのまま引
Scala の Variance の話の続き：Rainy Day Codings：So-net blog
Scala 2.6.0 で新規追加された existential type と Scala の既存機能の variance annotation の関係について調べたり考えたりしていた。既存の variance annotation のこともよくわかっていなかったなあ。 前回 [1] 書いたように covariant な型に対して出来る操作は基本 get のみである。逆に言うとパラメタ化された型が immutable であれば covariant な型付けは安全だし失うものは何もない。そこで Scala では従来から型パラメタに + を付けることによってコンパイラに covariant なサブタイピングを指示出来る。これを以下のような関数的なリスト構造で確認してみる。まずは + なしから。 scala> abstract class MyList[T] defined class MyLi
Scala 2.6.0-RC1 の Existential types：Rainy Day Codings：So-net blog
Scala の 2.6.0-RC1 がリリースされました。新機能のうち Existential type とは何ぞやということで過去のメーリングリストなどを読んで勉強。ちょうどオライリーの Java Generics を読み始めているのが理解の助けになりました。 Java with generics で以下のようなソースをコンパイルすると、 import java.util.*; class TryMe { public static void main(String[] args) { List<Integer> ints = Arrays.asList(1,2,3); List<Number> nums = ints; } } 以下のようなエラーになります。 TryMe.java:6: 互換性のない型 検出値 : java.util.List<java.lang.Integer> 期待
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
A Tour of Scala: Lower Type Bounds | The Scala Programming Language
Abstract Type Members
A Tour of Scala: Variances | The Scala Programming Language
azito.com
Reddit - Dive into anything