「何でもOK」な多相が「parameter polymorphism」 「一部OK」な多相(制約付多相)が「ad hoc polymorphism」で制約を付けるのが「(型)クラス」(type class) (≠型) ad hocの例 「sort」はリストをソートする。 例えば [2,1,3]とか ["abc", "ghi", "def"]とか。…

haskellで新しい型を定義するときの方法 「data宣言」 data TConst TVar1 Tvar2 ... = DConst1 Type11 Type12...| DConst2 Type21 Type22... | ..「data」が宣言 「TConst」が「型コンストラクタ」 「Tvar」が「型変数」 「DConst」が「データコンストラクタ…

Haskellのlet文中の束縛参照って評価時間が違うんだけど，循環参照にならないの？(p188) f x y let x = y + 1 y = x * 2 in x * y追記： やっぱり起こるね main = print cyclic 3 4 cyclic :: Int -> Int -> Int cyclic x y = let z = x x = z in x * y * x…

とある事情で遅延評価を勉強中これって遅延評価？ Haskell的には関数宣言自体がpromiseになってて，常時遅延評価され，変数の読み込み自体がforceになってる気がするんだけど．．．これってどちらかというとscheme的？(これもほんとはよく分かってない)一応…

他のsbmからdel.icio.usへの移行をしようと思い，いまさらながらPlaggerをいじくろうと思い立ったのです． 昨日から延々インスコ作業をしているのですが，一向に成功しません． なんでや？cpanでいろいろとhogehogeしてるんだけどなぁ．．．ごちゃごちゃとう…

High Performance Ajax Applications@ajaxian 備忘録 (途中までです・・・)1)高性能のAjaxアプリケーション 2)Part 1 Developing for High Performance3)高性能への計画と設計 ・初日から性能のために計画しなさい ・デザイナとプロダクトマネージャと密接に…

今年も新年早々大風邪ひきました。一日で36.3度から38.5度→36.5度と激しいアップダウンでした。しかし毎年正月に倒れるなあ･･･

初夢はPGでした。詳しくはホゲですが、今年もタグからは逃げられないし逃げません。知恵熱でるわ

del.icio.us + firefoxが猛烈に便利すぎる．いまさらですが． 単独のSocial bookmarkとしてはgoogle bookmarksやnifty clipsがUI的に良いのでこれまでそちらを使っていましたが(hatena bookmarkはプライベート用)，今後間違いなくdel.icio.usに乗り換えるこ…

1.社会人ぶらず昨年同様ガンガン動く 2.アイデアはめんどくさがらず形にする(特許、プロト) 3.プライベートでもサービスを作る(アイデアが5つあったらひとつは家で) 4.もう少し注意深くやる(メールアドレスミス、添付ファイル欠如など) 5.ネットニュースに乗…