Performance/Strictness - HaskellWiki
Haskell Performance Resource Constructs: Data Types - Functions Overloading - FFI - Arrays Strings - Integers - I/O Floating point - Concurrency Modules - Monads Techniques: Strictness - Laziness Avoiding space leaks Accumulating parameter Implementation-Specific: GHC - nhc98 - Hugs Yhc - JHC Haskell is a non-strict language, and most implementations use a strategy called laziness to run your prog
正格性解析 (Strictness Analysis) - ヒビルテ(2010-12-28)
λ. 正格性解析 (Strictness Analysis) この記事はHaskell Advent Calendarのために書かれたものです。(22日目) 正格性解析(strictness analysis)は、Haskellのような遅延評価を行う純粋関数型言語での最も基本的な最適化のひとつの割に、あまり知られていないようなので、簡単に紹介してみることに。 動機 よくある例だけど、末尾再帰で書かれた sum' :: Int → [Int] → Int sum' s [] = s sum' s (x:xs) = sum' (s+x) xs というプログラムは、Haskellでは最適化が行われない限り悲惨なことになる。 sum' 0 [1,2,3,4] を計算すると、sum' 0 [1,2,3] ⇒ sum' (0+1) [2,3] ⇒ sum' ((0+1)+2) [3] ⇒ sum' (
Haskell/Fix and recursion - Wikibooks, open books for an open world
At first glance, the fix function may appear odd and useless . However, there is a theoretical reason for its existence: introducing it into the (typed) lambda calculus as a primitive allows you to define recursive functions. fix is simply defined as: fix :: (a -> a) -> a fix f = let {x = f x} in x Doesn't that seem ... magical? You might be wondering: surely fix f will cause an infinite series of
Haskell/Denotational semantics - Wikibooks
導入[編集] この章ではHaskellプログラムの意味がどのように形式化されるかという表示的意味論(denotational semantics)を説明します。「square x = x*x というプログラムの意味は、数をその平方数に写す数学の平方関数だ」ということを形式的に規定することはつまらないことにみえるかもしれませんが、それでは f x = f (x+1) のような無限ループするプログラムの意味はどうでしょうか？ 以下ではまずこの疑問に対するScottとStracheyのアプローチを例示し、概して関数プログラムの、特に再帰的な定義の正しさについて論じる基盤を得ることにしましょう。もちろん、これらのトピックではHaskellプログラムを理解するために必要なものに集中します。[1] この章の他の狙いは、ある関数がその引数を評価する必要があるかどうかというアイディアを捉えた正格と遅延の概
seq - HaskellWiki
While its name might suggest otherwise, the seq function's purpose is to introduce strictness to a Haskell program. As indicated by its type signature: it takes two arguments of any type, and returns the second. However, it also has the important property that it is always strict in its first argument. In essence, seq is defined by the following two equations: (See Bottom for an explanation of the
How does seq force functions?
Background This question arises from a challenge Brent Yorgey posed at OPLSS: write a function f :: (Int -> Int) -> Bool that distinguishes f undefined from f (\x -> undefined). All of our answers either used seq or something like bang patterns that desugar into seq. For example: f :: (Int -> Int) -> Bool f g = g `seq` True *Main> f undefined *** Exception: Prelude.undefined *Main> f (\x -> undefi
Haskell 脳の恐怖
昨年、ある言語宗教学者にして脳生理学者が、急進的 Haskell教信者の呪術に没頭している時の脳波を計測した。すると「人間らしさ」を司る前頭前野において、α波が優位になりβ波が低下したという。 α 波はリラックスしている時に見られる脳波と言われる。「たくさんの関数をコンビネータ化しようとして，flip と (.) の洪水が、あるいは，対話は不浄な副作用とされるがゆえ，子供が棒切れでウン○をつつくように (>>=) したり (>>) ばかりをする行為が，脳に影響をあたえているのではないか」と研究を行ったエヌ博士は述べている。 エヌ博士はインタビューでさらに衝撃的な事実を明らかにした。「この波形は Lisp脳症の患者のものとよく似ている」というのだ。「Haskellはあまり一般には知られていませんが，専門家の間では「関数型言語」教のなかでも，狂信的な原理主義者がいる危険な一派として知られていま
Haskell - HaskellWiki
Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce fle
GHC 7.4.1 リリース
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message こんにちは。GHC 7.4.1 がリリースされました。 http://www.haskell.org/ghc/download_ghc_7_4_1 http://www.haskell.org/pipermail/glasgow-haskell-users/2012-February/021764.html 何度か知らせているように、GHC 7.2.x は "technology preview" という扱いだったので、今回がいつもの定期リリースになります。GHC 7.2.x 以降の機能や改良が必要で 7.2.x を使って
YBlog - Haskell web programming
update: updated for Yesod 1.2 tl;dr: A simple Yesod tutorial. Yesod is a Haskell web framework. You shouldn’t need to know Haskell. Its efficiency (see Snap Benchmark & Warp Benchmark1). Haskell is an order of magnitude faster than interpreted languages like Ruby and Python2. Haskell is a high level language that makes it harder to shoot yourself in the foot than C, C++ or Java, for example. One o
Monad Transformers Step by Step
Information Martin Grabmüller: Monad Transformers Step by Step, draft paper, October 2006. 12 pages, A4 format, English. Abstract In this tutorial, we describe how to use monad transformers in order to incrementally add functionality to Haskell programs. It is not a paper about implementing transformers, but about using them to write elegant, clean and powerful programs in Haskell. Starting from a
モナドトランスフォーマーとmonad-control - maoeのブログ
アドベントカレンダーのいいネタが無いなあと思っていたところ、ちょうど週末にあたらしいmonad-controlがリリースされたので、これを紹介したいなと思いました。 その前に、モナドトランスフォーマーというかっこいい名前の代物の話をちょっとだけしましょう。 モナドトランスフォーマーと例外処理 Haskellerの皆さんはきっと息をするかのように自然にモナドを使っていることと思います。標準で提供されているモナドは単機能なので、組み合わせたくなってきます。必然的に皆モナドトランスフォーマーに手を伸ばすわけです。実際のアプリケーションのコードを書くと、多くのモナドではベースモナドがIOになるでしょうから、今度は自作したカスタムモナドスタックでIOが投げる例外をハンドルしたくなるわけです。 ここでふとControl.Exception.catchの型をみると Prelude> :t Control
Programming Haskell Chapter8
The document describes how to build a parser for Backus-Naur Form (BNF) grammars in Haskell using the attoparsec parsing library. It defines types and parsers to represent BNF syntax, rules, expressions, lists and terms. The parsers use functions like spaces, string, text from attoparsec to parse individual components and combine them using operators like <*>, <|> to build up the full BNF grammar
Haskell で parser を書くには (初心者編)
Haskell で parser を書くには (初心者編) 勝手に Haskell Advent Calendar 2011 Haskell Advent Calendar 2011 にはエントリーできませんでしたけど、一人寂しく「勝手に Haskell Advent Calendar 2011」を開催して、わくわくクリスマスを待ちたいと思います。 目的: Parsec3 と attoparsec の基本的使用法, Applicative スタイルを習得する 前置き: Haskell で parser を書くにはどうすればいいのでしょうか? 私は、これを勉強すべく情報源を探しましたが、一体どこからどう始めればいいのか分からず、非常に混乱しました。「この記事を読めば大体概要が全部分かる」という情報源が日本語でも英語でも見つけられなかったからです。なので自分でまとめてみることにしました。 (私
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Haskell/Denotational semantics - Wikibooks, collection of open-content textbooks
Gmane Loom
Errata for gin and monotonic : ezyang’s blog
getting-a-fix-on-fixpoints
What is a Hopf algebra?
はてなブログ | 無料ブログを作成しよう
