Haskell
Gitterで質問したのでそのメモ*1。 なお私の英語は壊滅的なので片言?なのは許してください。 Hello. Why does Generic[Boolean] instance not exist? と投稿したところ、milessabinさん(shapeless作者)から Because there's no obvious sum of product repr…
全国 QuickCheck 系ユーザの皆様こんにちは、もみあげです。 今日は CoArbitraryとScalacheck - scalaとか・・・ に関連して、各言語の QuickCheck 実装の CoArbitrary や Arbitrary (a -> b) インスタンスについてみていきましょう。 CoArbitrary とは Quci…
私が FsAttoparsec を実装し始めた5月頃、実は本家 attoparsec は内部構造を新しいものに変更していたということに先月末気が付きました*1。 どういう変更かというのは A major upgrade to attoparsec: more speed, more power | teideal glic deisbhéalach …
現時点における GHC、Scala、F#、Java の type classes 実装に使う道具比較をメモしておきます。 言語比較したいわけではなく、論争を繰り広げたいわけでもないのであしからず。 あとてきとーに書いてる感は否めないので、間違っている言葉、表現、概念など…
この記事では、F# で 高階型 (higher kinded types) をエミュレーションすることについて記述します。 本当は 函数型なんたらの集い 2014 in Tokyo - connpass で話そうと思っていたのですが、運営を考えると発表できる気がしなくなった*1ので、記事にしてお…
個人的にはF# の中での理想やりっろーんを追い求めてみたい感もある2012-11-03 19:54:43 via Janetterこんなことを思っていたりすることもあるため、HaskellやScalaに面白そうなライブラリがあると聞きつけるとF# に移植できないか試したくなります。で、い…
最近Haskellを勉強してるぺんぎんです。 「F#全然やってないじゃない」と言われそうですが、決して浮気しているわけではありませんよ? FSharpxでIteratee ところで、Haskellの記事を漁っているとIterateeの話がでてきたりする。そしてF#では、FSharpxという…
7月22日にTDD in Actionというイベントを共同で開催しました。7月22日 TDD in Action #tddact(東京都) TDD in Action #tddact - Togetterまとめ会場抑えてくださったり募集ページを立てたりその他色々とやってくださった共同主催者の@kyon_mmさん、ありがと…
すごいHaskellたのしく学ぼう!作者: Miran Lipovača,田中英行,村主崇行出版社/メーカー: オーム社発売日: 2012/05/23メディア: 単行本(ソフトカバー)購入: 25人 クリック: 580回この商品を含むブログ (51件) を見る今月頭に購入してようやく読み終わったの…
(注意)この記事はお試しでやってみたよ的な記事です。Haskell界隈で面白そうな話をみた。『プログラミング Haskell』『すごい Haskell 楽しく学ぼう!』の次に何を読む? - Togetterまとめこういう話を見ていると自分でも試したくなりますよね。というわけで…
すごいHaskellたのしく学ぼう!作者: Miran Lipovača,田中英行,村主崇行出版社/メーカー: オーム社発売日: 2012/05/23メディア: 単行本(ソフトカバー)購入: 25人 クリック: 580回この商品を含むブログ (51件) を見るこの本の写経環境がほしかったのだが、Ha…