Data.Typeable and Data.Data are rather mysterious. Starting out as a Haskell newbie you see them once in a while and wonder what use they are. Their Haddock pages are pretty opaque and scary in places. Here’s a quick rundown I thought I’d write to get people up to speed nice and quick so that they can start using it.1 It’s really rather beautiful as a way to do generic programming in Haskell. The

Skip to the content. Haskell入門 従来の言語では問題を部分化する方法について概念的な限界がいくつかある。関数型言語はこれらの限界を押し広げるも のである。 なぜ関数プログラミングは重要か 関数プログラミングを習得するには，これまで命令プログラミングで培った技術はいったん忘れ，真っ白な気持ちで臨む必要があります。関数型の山を登るためには，命令型の山を降りなければなりません。 第1章　関数プログラミングは難しくない！ Haskellは理解すれば理解するほどきれいに書けることを約束してくれます。信頼してください 常にパターンを探しましょう。単純になるとき、またその時だけそれらを抽象化するのです 辛抱強く抽象化を正しく理解しましょう。もしそれが出来たならすべてのことが魔法のようにつじつまが合うようになるでしょう。 実装そのものが設計図となります … Haskell Ma

Let's ask lambdabot: <liyang> @faq Is Predicate a functor? <lambdabot> The answer is: Yes! Haskell can do that. From Data.Functor.Contravariant: class Contravariant f where contramap ∷ (b → a) → f a → f bThis characterises contravariant functors. Note that contramap swaps the direction of the arrow, in contrast to fmap: g ∷ a ← b contramap g ∷ f a → f bLet's make a Contravariant Predicate: {-# LAN

ウォークスルー Haskell たのしいモナドの世界へようこそ！ 目次 Haskell について Haskell とは, Haskell の特徴, Haskell の仕様, Haskell の実装, 関連サイト 開発環境について Haskell Platform のインストール, GHC の使い方 はじめの一歩 Hello World, コメント, ブロック, レイアウト, 変数, 関数, 識別子, 多相型 基本的なデータ型 データ型の紹介, 論理型, 数値型, 文字型, 文字列型, タプル型, ユニット型, リスト型, Maybe 型 式と宣言 変数の束縛, 型注釈, パターン, パターンマッチング（case 式）, ガード（case 式）, if 式, let 式, where 節 関数 関数の定義, 関数の型, 再帰関数, パターンマッチング（関数定義）, ガード（関数定義）, 高階