2008-03-12から1日間の記事一覧

ローカル変数の具象、抽象

航海日誌: 静的型付け言語で,型は最後にダウンキャストしろ (http://cappuccino.jp/keisuken/logbook/20080304.html#p01) ここをエントリポイントとして、keisuke_nさん、kwatchさん、odzさん、lethevertさんが色々議論している模様。勉強になる。大雑把に…

implicit

航海日誌: 型変換する事によって,機能を拡張する (http://cappuccino.jp/keisuken/logbook/20080217.html#p01) なるほど。implicitってこう使うのか。しかしimplicitを意識していない人には黒魔術的だなあ。Scala使用する場合は、暗黙の型変換のパターンを…

箱モデルと名札モデル

d.y.d: auto (http://www.kmonos.net/wlog/83.html#_1547080311) 変数に「オブジェクトに名前を付けるもの」と「式に名前を付けるもの」に関して、 前者の感覚で使う変数もあれば後者の感覚で使う変数もあって、みんな、基本的には前者なら型を書くし後者な…

cons, car, cdr

リストのcons, car, cdr。 scala> 1 :: List(2, 3) // cons res0: List[Int] = List(1, 2, 3) scala> List(1, 2, 3).head // car res1: Int = 1 scala> List(1, 2, 3).tail // cdr res2: List[Int] = List(2, 3) もちろん、配列は不可能。 scala> 1 :: Array…