静的に既存の型を変形する機能

[exKAZUu]

が欲しいです．AspectJのような．
逆に言うと動的に型を書き換えてはいけないと思う．

[irxground]

サンプルを下さい

[exKAZUu]

議論した結果を多少まとめる．

いわゆる継承を考えた時に，全ての性質を引き継ぐという仕組みを変えたい．

例えば，既存の継承では全てのメソッドを引き継ぐが，
引き継いだメソッドが不適切な場合（e.g.戻り値の型が気に入らない），
それに対する対処法が存在しない．

したがって，継承する性質を選択できるような仕組み，
もしくは，継承後に引き継いだ機能を書き換える仕組みが欲しい．

ただし，型の書き換えは不要な複雑性を招くと思うので，
もし後者を取り入れるのであればコンパイル時のみの型の書き換え機能が欲しい．
でも，前者のほうが理想的かもしれない．

[exKAZUu]

チェスや将棋のような駒と盤面を使うゲームのフレームワークを作ることを考える．

・フレームワーク側

class Board<TB extends Board<TB, TP>, TP extends Piece<TB, TP>> { TP[][] pieces; }
class Piece<TB extends Board<TB, TP>, TP extends Piece<TB, TP>> {}

・ユーザーコード側

class ChessBoard extends Board<ChessBoard, ChessPiece> {}
class ChessPiece extends Piece<ChessBoard, ChessPiece> {}

ジェネリクス＆継承ではこんなにコードがわかりづらい！この現状を変えたい．

[exKAZUu]

・フレームワーク側

class Board<TB, TP extends Piece<TP, TB>> { TP[][] pieces; }
class Piece<TP, TB extends Board<TB, TP>> {}

・ユーザーコード側

class ChessBoard extends Board<ChessPiece> {}
class ChessPiece extends Piece<ChessBoard> {}