トレイトを勉強していたらクラスの定義の食い違いに気づいた話 - 西尾泰和のはてなダイアリー
以前自分が書いた記事Scalaのtraitはmixinか？を元に、トレイトに関する補足記事を書こうとして「そうだ、どうせならば元論文の記述とも照らしあわせたほうがよいな」と「Traits: A Mechanism for Fine-grained Reuse」を読んだ。そこで気づいたのだけども、この件に関して意見が咬み合わないことがあるのは、そもそも「クラス」の定義に食い違いがあるせいではないか？ 「Traits: A Mechanism for Fine-grained Reuse」での定義ではクラスとは「空クラスnil」もしくは「属性の集合と、メソッドの集合と、親クラス」と定義されている*1 で、トレイトとは「メソッドの集合」と定義されている*2 これがどういうことかというと、トレイトなどから作られたクラスは「自分を構成するのにどういうトレイトが使われたか」という情報を持たないってこと
トレイトにおける、メソッドコンフリクト時の対処のしかた - Smalltalkのtは小文字です
多重継承機構を利用する際の問題としてよく取りざたされる「メソッド名のコンフリクト（衝突）」ですが、Squeak Smalltalk のトレイト機構（Traits）では、同種のミックスイン機構の場合と異なり、その対処はユーザーに委ねられます。 たとえば、いずれもメソッド #m1 と #m2 を持つ T1 と T2 というトレイト、両者を同時に use するクラス C があったとき、 Trait named: #T1 uses: {} T1 >> m1 ^'T1>>#m2' T1 >> m2 ^'T1>>#m2' Trait named: #T2 uses: {} T2 >> m1 ^'T2>>#m1' T2 >> m2 ^'T2>>#m2' Object subclass: #C uses: T1 + T2 トレイト機構は、C >> #m1（および #m2） に対して、 C >> m1 se
Scalaのトレイトは実はトレイトじゃなくただのミクスイン - Smalltalkのtは小文字です
タイトルは釣りです。 まずおおざっぱに用語の整理をさせていただくと、ここで「トレイト」は、シェルリ（Nathanael Schärli）らが2002年頃に発表したTraitsやそれ用のエンティティ（trait）を指し、「ミクスイン(Mixin, mixin)」は従来からある実装の多重継承方法のひとつ、具体的には継承機構を使ってメソッドを定義したクラス様エンティティ（クラスでも構わない）を継承パスに差し込むことで対象となるクラスにメソッドを追加する機構（特別な機構を要しないときは単なるクラスの運用方法）、そのときに用いるクラスあるいはクラス様エンティティ（例えばRubyならモジュールとか）を指すことにします。 トレイトやその機構について説明すべきことはいろいろありそうですが、詳しくはシェルリらの論文（Traits: Composable Units of Behaviour など）を読んでい
PHP5.4とScalaのトレイト比較 - なんたらノート第三期ベータ
PHP5.4にはトレイトという文法が導入されて、多重継承の便利さが享受できるようになるそうです。 いろいろ試してみることにしました。 トレイトといえば代表選手はScalaですね。Scalaでいうトレイトは、インターフェースの定義とメソッドの実装を同時にやってくれる便利な概念でした。単一継承のOOP言語では「〜は〜の一種」という制約が強すぎて、「ペンギンは鳥の飛行メソッドによって飛行できてしまう」という問題があります。でもちゃんと「ペンギンは飛べないが泳げる鳥」を綺麗に解決する必要はあって、その解答として、トレイトのあるScalaではこんな解が導けます。 abstract class Animal abstract class Bird extends Animal { def hasBeak = true // 鳥にはかならずクチバシがある def hasWings = true // 翼
PHP traits, treat or threat?
This document discusses PHP traits and their use and advantages. It begins by showing PHP's large market share for web programming compared to other languages. It then demonstrates how traits allow eliminating duplicated code by defining common functionality in traits that can be used by multiple classes. The document provides an example of using a "Options" trait to DRY up option handling code ac
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
An example of scala-like mix-in on PHP. https://github.com/rsky/php-src/tree/scala-like-mixin