Pandoc - index
If you need to convert files from one markup format into another, pandoc is your swiss-army knife. Pandoc can convert between the following formats: (← = conversion from; → = conversion to; ↔︎ = conversion from and to) Lightweight markup formats ↔︎ Markdown (including CommonMark and GitHub-flavored Markdown) ↔︎ reStructuredText → AsciiDoc ↔︎ Emacs Org-Mode ↔︎ Emacs Muse ↔︎ Textile → Markua ← txt2t
Chapters - Learn You a Haskell for Great Good!
Introduction About this tutorial So what's Haskell? What you need to dive in Starting Out Ready, set, go! Baby's first functions An intro to lists Texas ranges I'm a list comprehension Tuples Types and Typeclasses Believe the type Type variables Typeclasses 101 Syntax in Functions Pattern matching Guards, guards! Where!? Let it be Case expressions Recursion Hello recursion! Maximum awesome A few m
Lost in Technopolis
As some one who has enjoyed the Lisp language (in several flavors) for about 15 years now, I wanted to express some of my reactions at recently discovering Haskell, and why it has supplanted Lisp as the apple of my eye. Perhaps it will encourage others to explore this strange, wonderful world, where it looks like some pretty damn cool ideas are starting to peek over the horizon. First, let me say
Haskell で継続渡しスタイル (CPS)
0. 目次 継続を理解するには「継続渡しスタイル(CPS)」から 足し算、かけ算、引き算 階乗 木の葉の数を数える フィボナッチ数 リストの平坦 foldr (畳み込み関数) 1. 継続を理解するには「継続渡しスタイル(CPS)」から 「All About Monads」の Continuation モナド が理解できない。特に callCC 関数の定義。 callCC f = Cont $ \k -> runCont (f (\a -> Cont $ \_ -> k a)) k うーん、わずか一行なんだけれど… (+_+) callCC を含め、継続モナドを理解するための前提が次のように書かれている。 Continuation モナドを使う前に継続渡しスタイル(CPS)について確実に理解しているか，自身の設計課題について継続が最良のソリューションなのかを確認してください．他の言語では継続
メタプログラミングの光と闇 〜 Haskell 編 〜
1 Haskell IIJ 2 Haskell 3 Haskell Haskell 2010 Language Report Haskell 98 4 Glasgow Haskell Compiler 5 Haskell 6 Haskell type FilePath = String newtype PostalCode = PostalCode Int Java data Tree a = Leaf | Node a (Tree a) (Tree a) lookup :: k -> Map k v -> Maybe v lookup = ... 7 Haskell 8 9 Haskell 10 Haskell 1 11 Haskell 12 Haskell 13 14 15 Haskell 16 17 18 QuickCheck QuickCheck QuickCheck qsort
1 モナモナ言わない モナド入門 2011.12.3 山本和彦 2 お品書き 統一理論と大統一理論 コンテナの力の階層 内包表記 3 Q) なぜモナドが理解できないのか？ A) 抽象的な概念だから 4 Q) 抽象の壁��
1 モナモナ言わない モナド入門 2011.12.3 山本和彦 2 お品書き 統一理論と大統一理論 コンテナの力の階層 内包表記 3 Q) なぜモナドが理解できないのか？ A) 抽象的な概念だから 4 Q) 抽象の壁を突破するには どうすればいいのか？ A) まず具体例を見てから 抽象化していくしかない 5 統一理論と大統一理論 6 物理学での抽象化 7 Haskell での抽象化 8 状態系統一理論 9 Parser データ定義 data Parser a = Parser (String -> [(a,String)]) Parser を生成する関数 pwrap :: a -> Parser a pwrap v = Parser $ \inp -> [(v,inp)] Parser を合成する関数 pbind :: Parser a -> (a -> Parser b) -> Par
offside-trap.el : for Haskell block indentation - camlspotter’s blog
前回までのあらすじ: Haskell など OCaml に毛が生えたようなもの、ふふん、と、転職した俺様だったが、なんということだ、Haskell が、というか、インデントが読めない。深すぎて。どうしたらいいんじゃー!! http://d.hatena.ne.jp/camlspotter/20100520/1274369338 http://d.hatena.ne.jp/camlspotter/20100521/1274446264 「この一週間で TAB を 3000回叩きました」、とか、そんなことをレポートしていては試用期間中に解雇されるかもしれない、と焦った訳ではありませんが、あまりにも空しい。ブログや呟きでいろいろとネガティブな事ばかり言っていてもしょうがねぇ。Cry baby なのは駱太郎だけで十分。俺は、大人だし、この状況をなんとなくなんとかするぜ!! てな訳で、なんとなくなん
基本的なこと
必要呼び Haskellの言語仕様(ja)は式の評価順序を定めていないが、プログラムの計算量を見積もるには具体的な評価戦略を知っている必要がある。といっても事態は単純で、GHCを始めとする有名な処理系は全て「必要呼び(call by need)」という評価戦略を基本にしている。(「Haskellは遅延評価をする言語である」と言われるが、この「遅延評価」という語は必要呼びを指す)。そこで、必要呼びに従った評価を手動で再現することができれば、Haskellプログラムの計算量をおおざっぱに見積もることができる。以下ではその手順を紹介する。 普通の言語の評価戦略は値呼び(call by value)と呼ばれる。値呼びと対比したときの必要呼びの大きな特徴は、関数を呼ぶ際に、引数を未評価のまま渡すことである。次の関数を考える。 inc :: Int -> Int inc n = n + 1 これを使っ
The Typeclassopediaを訳しました, The Typeclassopedia - #3(2009-10-20)
■ [Haskell] The Typeclassopediaを訳しました The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許可がいただけたので公開します。翻訳に慣れていないので変な日本語（特に専門用語の日本語訳はかなり怪しい）があったり、そもそも間違っていたりするかもしれませんので、何か見つけたらコメントを頂けると助かります。 ■ [Haskell] The Typeclassopedia by Brent Yorgey <first
Metaチュートリアル - HaskellWiki
what i would like is a meta-tutorial a list of questions about haskell, what does this do, do you understand this etc and if you say no, it points you at a tutorial which explains it -- ndm on #haskell 一つのサイズの服があらゆる人にフィットするわけではありません！Metaチュートリアルでは あなたが 必要とするHaskellチュートリアルを探す手助けをします。私たちの説明の仕方がもしかするとあなたのレベルに対して"簡単すぎる"かもしれません。しかしとても簡潔にそして説明に不足なく書かれているので一度は目を通す価値があると思います。 Haskell 全般 とにかく早く始めたい人向け Haske
プログラミングHaskell
著者 Graham Hutton 訳者 山本和彦 発行所 株式会社オーム社 ISBN-10: 4274067815 ISBN-13: 978-4274067815 2,800円(税抜き) n + k パターン n + k パターンは Haskell 2010 で仕様から削られ、GHC 7.x.y ではデフォルトで利用できません。n + k を利用するには、GHCi に -XNPlusKPatterns コマンドラインオプションを指定する必要があります。 % ghci -XNPlusKPatterns また、ファイルにこの拡張を書けば、コマンドラインオプションは不要です。40ページの pred を例にとると、以下のようになります。 {-# LANGUAGE NPlusKPatterns #-} pred :: Int -> Int pred 0 = 0 pred (n + 1) = n しか
Composing contracts: an adventure in financial engineering
Financial and insurance contracts do not sound like promising territory for functional programming and formal semantics, but in fact we have discovered that insights from programming languages bear directly on the complex subject of describing and valuing a large class of contracts. We introduce a combinator library that allows us to describe such contracts precisely, and a compositional denotatio
Haskellの開発ツール (2011年版) - あどけない話
Haskell開発に関係するツールをとりとめもなく列挙してみます。 エディタ/IDE 僕は、Emacs と haskell-mode と ghc-mod を組み合わせて使っています。haskell-mode は、行頭揃えの機能がしょぼいので、作り直したいと思っています。 IDE のバックエンドとしては、scionがありますが、使ったことがないので説明できません。(僕は ghc-mod で十分だと思っているので。) Leksah とか yi とかも聞きますが、使ったことがないので知りません。(いや、yi はちょっと使ったことがありますけど。) 興味のある人は自分で調べて下さい。 マニュアル 関数のマニュアルが読みたくなったら、GHCについてくるモジュールの一覧とhackageDBから探して下さい。ghc-mod を使っていれば、一発でブラウザに表示できます。 探すのが面倒なら、google
Haskellライブラリ入門 (2011年版) - あどけない話
この記事では、基本ライブラリである Prelude の関数をだいたい理解した人が、次に知るべきライブラリを紹介します。自由自在にリストを使いこなせ、正規表現がなくてもプログラミングができるんだなと実感した人を対象にしています。 この記事のテーマは、脱リストです。リストはとても柔軟ですが、リストで表現されている文字列は、メモリーをたくさん消費しますし、なにより遅いのです。実用的なプログラムを書くためには、必要に応じて適切なデータ構造を使う必要があります。 containers containersは、文字通りコンテナ型をいくつか集めたパッケージです。ハッシュの代替品やキューとして使えます。連想リストを使っているところは、すべて Data.Map などで置き換えることをお勧めします。 containers に入っているモジュールはすべて眺めましょう。そして、実装も読んでみましょう。(プログラミ
2011年に Haskell を始める人のために - あどけない話
適切な一歩を踏み出すか否かは、大きな違いを生みます。この記事では、2011年に Haskell を始める人のために、著者が考える最適な入門方法を示します。 Haskell Platform をインストールする 昔人気のあった Hugs は、もう保守されていません。現在は、GHC の時代です。GHC とライブラリをパッケージ化した Haskell Platform をインストールして下さい。 インタープリタが使いたい場合は、付いてくる ghci を使います。 コンパイラ -- ghc インタプリタ -- ghci スクリプト -- runghc GHC マニュアルの日本語訳もあります。 プログラミングHaskell 次に、プログラミングHaskellを読んで関数プログラミングの「こころ」を理解しましょう。 プログラミングHaskell 作者: Graham Hutton,山本和彦出版社/メー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - DanielG/ghc-mod: Happy Haskell Hacking for editors. DEPRECATED
2011年 | 技術レポート・ライブラリ | 研究・開発 | IIJ
Amazon.co.jp: 関数プログラミングの楽しみ: 山下伸夫 (翻訳), ＪｅｒｅｍｙＧｉｂｂｏｎｓａｎｄＯｅｇｅｄｅＭｏｏｒ (編集): 本
Amazon.co.jp: プログラミングHaskell: Graham Hutton (著), 山本和彦 (翻訳): 本
Amazon.com: Programming in Haskell: Hutton, Graham: Books