Rust vs. Haskell
Rust and Haskell don’t shy away from powerful features. As a result, both languages have steep learning curves when compared with other languages. Trying to learn Rust or Haskell can be frustrating, especially in the first couple of months. But if you already know Rust, you have a head start with Haskell; and vice versa. In this article, we want to show how knowledge of one of these languages can
The Expression Problem - maoeのブログ
この記事はHaskell Advent Calendar jp 2010 : ATND向けに書いたものです。 最近、ふらふらとネットの波をさまよっていたら、Channel 9でRalf LaemmelさんがHaskellの型クラスを解説する動画を見つけました。これです。 C9 Lectures: Dr. Ralf Lämmel - Advanced Functional Programming - The Expression Problem | Going Deep | Channel 9 C9 Lectures: Dr. Ralf Lämmel - Advanced Functional Programming - Type Classes | Going Deep | Channel 9 The Expression Problemと呼ばれるプログラミングにおける古典的な問題をネタに
The ghc-vis User Guide
ghc-vis is a tool to visualize live Haskell data structures in GHCi. Evaluation is not forced and you can interact with the visualized data structures. This allows seeing Haskell’s lazy evaluation and sharing in action. Functional programming languages like Haskell offer a way to write well-structured software, which is easy to understand and still performs well. In order to achieve this one has t
「関数プログラミング 珠玉のアルゴリズムデザイン」をScalaで実装してみる 第２章 - セカイノカタチ
先日、 Scala Advent Calendar 2014 - Qiita で「関数プログラミング 珠玉のアルゴリズムデザイン」の第１章をScalaで実装してみましたが。味をしめて第２章もやってみたいと思います。 関数プログラミング 珠玉のアルゴリズムデザイン 作者: Richard bird,山下伸夫出版社/メーカー: オーム社発売日: 2014/11/12メディア: 単行本（ソフトカバー）この商品を含むブログ (1件) を見る 第２章の題材は「上位者問題」です。 この問題、思ったんですけど、CodeIQで結城 浩さんが出題した「クロッシング問題」と本質的に同じですね。 挑戦者求む！【アルゴリズム】交差点をすばやく数えよう！ by The Essence of Programming 結城 浩│CodeIQ この問題、自分は解けませんでした*1。(^^; 上位者問題 上位者問題とは、あ
「関数プログラミング 珠玉のアルゴリズムデザイン」をScalaで実装してみる - セカイノカタチ
Scala Advent Calendar 2014 - Qiita14日目の記事です。 昨日の記事は、 @gakuzzzz さんの play2-auth で OpenID とか Twitter OAuth とか OAuth2.0 とか でした。 さて、今日のネタです。。。 関数プログラミング 珠玉のアルゴリズムデザイン 作者: Richard bird,山下伸夫出版社/メーカー: オーム社発売日: 2014/11/12メディア: 単行本（ソフトカバー）この商品を含むブログ (1件) を見る この本ですが、関数型プログラミングのアルゴリズムデザインを紹介した本で、とても難しいのですが、面白いです。 Advent Calencdarのネタとして、これに出てくるアルゴリズムをScalaで実装してみたいと思います。 お題は、一番簡単そうな「第１章 最小自由数」です。 「最小自由数」を求める一番シ
"部分適用 (partial application)" と "カリー化 (currying)" について | ITエンジニアと機械式時計
Haskell などの (純粋遅延) 関数型言語を学習する際の理解しにくい概念に「部分適用」と「カリー化」があります。実は両者とも非常に単純で、理解してしまえば難しくはないのですが、最初に学習する時には以下の疑問が沸き立ちます。 「部分適用」「カリー化」のメリットって何だろう？ 「部分適用」「カリー化」の存在意義がわからない 誤解を恐れずに書くと、「部分適用」や「カリー化」って無くても困らないんですよね。 ただ、「部分適用」や「カリー化」があるとプログラミングが非常に楽しくなります。また、実用性の観点から見てもこれは非常に役立ちますし、「部分適用」と「カリー化」が理解できてこそ、初めて関数型プログラマのスタートラインに立ったと言っても過言ではありません。 特に Haskell では、パズルのような感覚でプログラミングすることが比較的多くありますが、これは「部分適用」によって得られていると思
Haskell 構文解析 超入門 - Qiita
Haskellではモナドと呼ばれる部品を組み合わせて構文解析を行います。この方式をパーサコンビネータと呼びます。動作原理を簡単に説明しながら使い方の初歩を説明します。Parsecというライブラリで簡単な四則演算器を作成します。 シリーズの記事です。 Haskell 超入門 Haskell 代数的データ型 超入門 Haskell アクション 超入門 Haskell ラムダ 超入門 Haskell アクションとラムダ 超入門 Haskell IOモナド 超入門 Haskell リストモナド 超入門 Haskell Maybeモナド 超入門 Haskell 状態系モナド 超入門 Haskell モナド変換子 超入門 Haskell 例外処理 超入門 Haskell 構文解析 超入門 ← この記事 【予定】Haskell 継続モナド 超入門 【予定】Haskell 型クラス 超入門 【予定】Has
Model-view-controller, Haskell-style
I'm releasing the mvc library for model-view-controller (MVC) programming in Haskell. I initially designed this library with games and user interfaces in mind, but the larger goal of this library is to provide a mathematically inspired framework for general-purpose component sharing in Haskell. This library differs in a significant way from other MVC libraries: this API statically enforces in the
Haskell でのデバッグ - あどけない話
「純粋関数型言語はデバッグしにくい。だって純粋な関数で printf デバッグできないから」とつぶやいている人をよく見かけます。これまで放置してきましたが、リツイートが50を超えたので、Haskellでのデバッグについて書きます。 例外処理と同じように、Haskell でのデバッグでは、純粋な関数と IO を分けて考える必要あります。 IO での printf デバッグ IO では、putStrLn や print が使えるから問題ないですよね？ foo :: Int -> IO Bool foo i = do x <- あれして i putStrLn $ "x = " ++ show x これして putStrLn "ここも通過" -- それもする y <- それもする print y return y ちなみに、forkIO 起動した軽量スレッドから putStrLn する場合、軽量ス
Real World Haskell
Why functional programming? Why Haskell? 1. Getting started 2. Types and functions 3. Defining types, streamlining functions 4. Functional programming 5. Writing a library: working with JSON data 6. Using typeclasses 7. Input and output 8. Efficient file processing, regular expressions, and file name matching 9. I/O case study: a library for searching the filesystem 10. Code case study: parsing a
foldlを直す - 純粋関数空間
http://www.well-typed.com/blog/90/ foldlに関するこの記事（英文）が面白かったので、勝手翻訳しました。 foldlなんとかなるといいですね。 foldlを直す foldl 関数は壊れている。壊れているとみんなが知っている。 四半世紀近く壊れたままだ。ついにこれを修正する時が来た！ 今日、私はPrelude.foldlをData.List.foldl'として知られる実装で再定義することを提案する。 foldlは壊れている！ 既にご存知だとは思うが、念のため… Haskellerが必ずfoldlではなく、foldrやfoldl'を使うように勧めてくることにお気づきだろうか？ 例えばReal World Haskellでは次のように言っている。 `foldl`のサンクの挙動のため、実アプリではこの関数を使わないようにするのが望ましい。 特に問題がない場合でも
プログラミング言語探訪
Walking Through Programming Languages Languages Standard ML Haskell Misc. About
Typeclassopedia - HaskellWiki
By Brent Yorgey, byorgey@gmail.com Originally published 12 March 2009 in issue 13 of the Monad.Reader. Ported to the Haskell wiki in November 2011 by Geheimdienst. This is now the official version of the Typeclassopedia and supersedes the version published in the Monad.Reader. Please help update and extend it by editing it yourself or by leaving comments, suggestions, and questions on the talk pag
Haskellは真面目なアプリケーション開発に向いている - syocy’s diary
qiita.com ↑の記事で（主題ではないと思うものの）Haskellの批判に結構な分量が割かれていて、その批判のなかに「ちょっと違うんじゃないかな」という点がいくつかあったので反論ぽいことを書きます。 "Haskell は真面目なアプリケーション開発には向いてない"について これには多分いくつか事例を挙げればよくて、 Facebook ではスパム等の攻撃と戦うためのシステムを Haskell で作っています。 Fighting spam with Haskell | Engineering Blog | Facebook Code | Facebook (この記事を書いている Simon Marlow 氏は Haskell および GHC の主要開発者) より「アプリケーション」な事例が必要なら、プレゼンツールの Prezi を挙げることができます。 Case Study - Hask
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Haskell Type vs Data Constructor
モナドについて学んでいるのですが、mapやflatMapは圏論ではどの概念にあたるのですか？
Haskellでフィボナッチ数列 〜Haskellで非実用的なコードを書いて悦に入るのはやめろ〜 - Qiita
https://repl.it/repls/RedIllfatedForms
[PDF] Haskell 2010 Language Report