例のアレです。今年は五月頃にソニーリーダーを失くしてしまう、しかも突っ込んでいた論文のバックアップを取っていなかったという悲劇のおかげで、ちょっとアレがアレしてるんですけど…バックアップは大事ですね！ Sound Predictive Race Detection in Poly…

ちょっと暇つぶしに書きます。ついらーで null で盛り上がったので。

第5回 スタートHaskell2という 5 なのか 2 なのかはっきりしろみたいな勉強会があったようです。そこで Haskell と Scala という LT を id:xuwei さんがされたようです。行ってないのでなんともかんともですが…さて LT のスライドは前述の通り既に公開されて…

#scala にあって他の関数型言語には見られない機能として、PartialFuncttionがあるが、良いものだと思う(命名は良くない。CheckableFunctionとか他の名前が良かった気がする)。おかげでcollectみたいなメソッドが定義できるし、他にも応用が利く。 という @k…

ParsecでApplicativeを使ってみる追記されたコードもう Functor しか使ってない…！ということで、こういうのはどうでしょう。 parseSExp :: Parser Int parseSExp = between (char '(') (char ')') expr where expr = foldl1 <$> op <* spaces <*> nums op =…

ヤック殺人事件。http://hackage.haskell.org/packages/archive/derp/0.1.5/doc/html/src/Text-Derp.html parser :: (Ord a) => ParserRec Parser a -> FPValue Bool -> Parser a parser p n = fix $ \ self -> Parser p n (memoFun (deriveImp self)) (comp…