読者です 読者をやめる 読者になる 読者になる

"なぜshapelessにはGeneric[Boolean]がないの?"と尋ねてみた

Gitterで質問したのでそのメモ*1。 なお私の英語は壊滅的なので片言?なのは許してください。 Hello. Why does Generic[Boolean] instance not exist? と投稿したところ、milessabinさん(shapeless作者)から Because there's no obvious sum of product repr…

CoArbitraryの実装比較

全国 QuickCheck 系ユーザの皆様こんにちは、もみあげです。 今日は CoArbitraryとScalacheck - scalaとか・・・ に関連して、各言語の QuickCheck 実装の CoArbitrary や Arbitrary (a -> b) インスタンスについてみていきましょう。 CoArbitrary とは Quci…

FsAttoparsecとattoの内部構造が変わった話とか

私が FsAttoparsec を実装し始めた5月頃、実は本家 attoparsec は内部構造を新しいものに変更していたということに先月末気が付きました*1。 どういう変更かというのは A major upgrade to attoparsec: more speed, more power | teideal glic deisbhéalach …

各言語でtype classesを実装する際に使いそうな道具とか

現時点における GHC、Scala、F#、Java の type classes 実装に使う道具比較をメモしておきます。 言語比較したいわけではなく、論争を繰り広げたいわけでもないのであしからず。 あとてきとーに書いてる感は否めないので、間違っている言葉、表現、概念など…

F# で高階型のエミュレーション

この記事では、F# で 高階型 (higher kinded types) をエミュレーションすることについて記述します。 本当は 函数型なんたらの集い 2014 in Tokyo - connpass で話そうと思っていたのですが、運営を考えると発表できる気がしなくなった*1ので、記事にしてお…

ScalaやHaskellのライブラリをF# に移植するときのTips?

個人的にはF# の中での理想やりっろーんを追い求めてみたい感もある2012-11-03 19:54:43 via Janetterこんなことを思っていたりすることもあるため、HaskellやScalaに面白そうなライブラリがあると聞きつけるとF# に移植できないか試したくなります。で、い…

FSharpxのIterateeで遊ぶ

最近Haskellを勉強してるぺんぎんです。 「F#全然やってないじゃない」と言われそうですが、決して浮気しているわけではありませんよ? FSharpxでIteratee ところで、Haskellの記事を漁っているとIterateeの話がでてきたりする。そしてF#では、FSharpxという…

TDD in Actionを共同開催しました #tddact

7月22日にTDD in Actionというイベントを共同で開催しました。7月22日 TDD in Action #tddact(東京都) TDD in Action #tddact - Togetterまとめ会場抑えてくださったり募集ページを立てたりその他色々とやってくださった共同主催者の@kyon_mmさん、ありがと…

「すごいHaskellたのしく学ぼう!」の感想とか

すごいHaskellたのしく学ぼう!作者: Miran Lipovača,田中英行,村主崇行出版社/メーカー: オーム社発売日: 2012/05/23メディア: 単行本(ソフトカバー)購入: 25人 クリック: 580回この商品を含むブログ (51件) を見る今月頭に購入してようやく読み終わったの…

HaskellのDocTestでTDDしてみる+α

(注意)この記事はお試しでやってみたよ的な記事です。Haskell界隈で面白そうな話をみた。『プログラミング Haskell』『すごい Haskell 楽しく学ぼう!』の次に何を読む? - Togetterまとめこういう話を見ていると自分でも試したくなりますよね。というわけで…

Haskell環境を構築するためにGenntoo環境を構築する

すごいHaskellたのしく学ぼう!作者: Miran Lipovača,田中英行,村主崇行出版社/メーカー: オーム社発売日: 2012/05/23メディア: 単行本(ソフトカバー)購入: 25人 クリック: 580回この商品を含むブログ (51件) を見るこの本の写経環境がほしかったのだが、Ha…