授業終わってから開始時間まで5時間くらい間があったんで、開始するまでにbighandsとLEGOで遊ぶ(俺は見てただけやけど)。とりあえずデモのライントレーサが動いた。うまく線をトレースしてくれるが、動きがガクガクしててキモイ。なんとかならんもんか…。テ…

自分で関数型言語勉強会を開いてみた割にあんまり勉強してなかったものの、ちょっとだけやる気がでてきたんで、とりあえず普通に何かを計算するプログラムとか書いてみようかなぁ…。 と、よく考えたら入力を読んで数字にするやり方がわからん…。適当に調べた…

直前にやる筈だったC言語勉強会が(参加者が1名しか現れなかったため)流れたものの、関数型言語勉強会はなんとか人があつまって無事開始。 今日はGHCインストールとHello,Worldを作って、コンパイル手順とかアクションとか関数適用とか、基本的なことを理解し…

GHCを入れてこのへんを読む。凄ぇ…。型推論で定義が一般化してる。 クイックソートの定義が、 quicksort [] = [] quicksort (x:xs) = quicksort [y | y ++ [x] ++ quicksort [y | y = x ]で終わるらしい。|が写像内包？で、演算子が一般化されてへんから数に…