- 日時 ：2006/8/7 (Mon)
- 場所 ：名大 理学部1号館(多元数理科学研究科) 307室
- 時刻 ：18:00〜19:30
- 参加者：9名
- OCaml オブジェクトシステムについて by 小笠原さん
- とりあえず、貼り付け :) -- [[小笠原]] &new{2006-08-09 (水) 10:23:48};
- きれいにしました。 -- [[けいご]] &new{2006-08-09 (水) 13:59:49};
- I would love to hear more about this …<a href=http://jessicabirkland.325mb.com/mp248.html> mp </a><a href=http://frederickostler.anycities.com/mp1198.html> mp </a><a href=http://scottpayne.678host.com/mp8002.html> mp </a><a href=http://danielhundley.247ihost.com/mp6517.html> mp </a><a href=http://maryhenry.8000web.com/mp6221.html> mp </a><a href=http://josephlamott.free-site-host.com/mp9566.html> mp </a><a href=http://jeanvasquez.8000web.com/mp4329.html> mp </a><a href=http://jeffbarriga.yourfreehosting.net/mp1987.html> mp </a><a href=http://heatherchaisson.2222mb.com/mp8459.html> mp </a><a href=http://miltonwilliams.freehostplace.com/mp3461.html> mp </a>[url=http://olgathornhill.freehostplace.com/mp3356.html] mp [/url][url=http://carlevans.t35.com/mp5385.html] mp [/url][url=http://jeffbarriga.yourfreehosting.net/mp1987.html] mp [/url][url=http://voxmaiden.tripod.com/mp7588.html] mp [/url][url=http://jeanvasquez.8000web.com/mp4329.html] mp [/url][url=http://members.lycos.co.uk/tatianakessler/mp2753.html] mp [/url] -- [[Myron]] &new{2008-02-21 (木) 06:31:16};
#comment
*オブジェクト指向機能 [#h6404ee1]
**クラスとオブジェクト [#q35d7b1c]
クラスはキーワード class の後にクラス名を付けて宣言する。
# class counter =
object
val mutable i = 0
method get = i
method inc = i <- i + 1
method dec = i <- i - 1
end;;
class counter :
object
val mutable i : int
method dec : unit
method get : int
method inc : unit
end
#
モジュールと同様に複数の式を一つのまとまりとして扱うことが出来る。ただし、モジュールと違い、複数の値全体がひとつの値として扱われている。 また、val と method の区別がある。val はインスタンス毎に生成される値 (Counter.t 型の値に対応する)、method はインスタンスに共通の値(Counter モジュールに属する値に対応する)である。
counter クラスから counter オブジェクトをインスタンス化して使用するには、new キーワードを用いる。また、オブジェクトに # とメソッド名を付けて、メソッドを起動出来る。
# let c =
new counter
in
c#inc;
c#inc;
c#get;;
- : int = 2
#
クラスを定義せずに直接オブジェクトを作ることも可能。
# let c = object val mutable i = 0 method get = i method inc = i <- i + 100 end;;
val c : < get : int; inc : unit > = <obj>
# c#inc;
c#inc;
c#get;;
- : int = 200
#
オブジェクトは値であり、関数の引数として利用できることが重要な点である。
**色々な特徴 [#u8d191a6]
クラスを継承したい場合、inhreit キーワードを用いる。
# class setable init =
let restrict x =
max 0 (min 100 x)
in
object (self)
inherit counter
method private set x = i <- x
initializer self#set (restrict init)
end;;
class setable :
int ->
object
val mutable i : int
method dec : unit
method get : int
method inc : unit
method private set : int -> unit
end
# let s = new setable 200 in s#get;;
- : int = 100
#
上の例では inherit の他にクラス定義に便利な機能を(無理矢理)利用してみた。以下の特徴がある。
- setable を int -> オブジェクト型 という関数にしている
- 関数内で restrict 関数を定義している
- オブジェクト自身に self という名前を付けている
- private キーワード指定により、set メソッドを隠蔽している
- initializer キーワードにより、初期化処理を行っている
as キーワードにより、親クラスに名前を付けることも出来る。
# class resetable init =
object
inherit setable init as super
method reset = super#set 0
end;;
class resetable :
int ->
object
val mutable i : int
method dec : unit
method get : int
method inc : unit
method reset : unit
method private set : int -> unit
end
#
private 指定されたメソッドもサブクラスで利用できることに注意。多重継承も可能である。もし同名のメソッドがある場合は、最後の定義のみが有効になる。
**型変数付きメソッド [#m67ecd5c]
クラスにおける parametric polymorphism の扱いには少し注意が必要である。クラスメソッドの型変数は、クラスもしくはメソッドに束縛されていなければならない。
# class id = object method id x = x end;;
Some type variables are unbound in this type:
class id : object method id : 'a -> 'a end
The method id has type 'a -> 'a where 'a is unbound
#
- クラスに束縛する場合
# class ['a] id = object method id (x : 'a) = x end;;
class ['a] id : object method id : 'a -> 'a end
# let s = new id;;
val s : '_a id = <obj>
# s#id "str";;
- : string = "str"
# s#id 1;;
This expression has type int but is here used with type string
#
- メソッドに束縛する場合
# class id = object method id : 'a. 'a -> 'a = fun x -> x end;;
class id : object method id : 'a -> 'a end
# let i = new id;;
val i : id = <obj>
# i#id "str";;
- : string = "str"
# i#id 1;;
- : int = 1
#
**virtual メソッド [#c38fc8c0]
クラスが継承される事を前提にして、型だけ定義して実装を伴わないメソッドを宣言できる。
# class virtual printable =
object (self)
inherit counter as super
method virtual print : unit
method inc =
self#print;
super#inc
end;;
class virtual printable :
object
val mutable i : int
method dec : unit
method get : int
method inc : unit
method virtual print : unit
end
# new printable;;
One cannot create instances of the virtual class printable
#
printable クラスを継承して print メソッドを実装してみる。
# class cui_printable =
object
inherit printable
method print =
Format.printf "%d@," i
end;;
class cui_printable :
object
val mutable i : int
method dec : unit
method get : int
method inc : unit
method print : unit
end
# let cp = new cui_printable;;
val cp : cui_printable = <obj>
# cp#inc;;
0
- : unit = ()
# cp#inc;;
1
- : unit = ()
#
-ファンクショナルなオブジェクト
-バイナリメソッド
-相互再帰クラス
-型理論からの視点
--subtype
--existential types
--bounded quantification
--ADT との比較
# let name x = x#name;;
val name : < name : 'a; .. > -> 'a = <fun>
#
![[PukiWiki]](image/caml3.jpg "[PukiWiki]")
