Programming with Arrowsを読んで理解したつもりのメモ。誤りなど乞うご指摘。 （復習）Arrowってなに？ と思って以前調べたメモが"3分で解るHaskellのArrowの基本メモ - よくわかりません"。それにちょっと補足というか観点を変えてまず感覚の整理。 Monadに色んな種類があるように、Arrowも色んな種類がある。 Monad: IO、Maybe、… Arrow: 関数そのまんま(->)、Kleisli m、… ある種類のMonadに色んな型の色んな値を入れられるように、ある種類のArrowに色んな型の色んな関数を入れられる。 Monad: Maybeの例→ 「Maybe Int」 にreturn 0もreturn 777もＯＫ。「Maybe Char」 にreturn 'a'もreturn ' 'もＯＫ。 Arrow: (->)の例→ 「Int -> In

前回 id:fits:20101101 にて Scala や F# で実装したメールの送信処理を Haskell で実装してみました。 メール送信には HaskellNet を使う方法もあるようですが、今回は SMTPClient を使いました。 HaskellPlatform 2010.2.0.0 (GHC 6.10.4) SMTPClient 1.0.3 なお、メール送信処理の仕様は id:fits:20101101 と同じです。（Shift_JIS の実行時引数と標準入力を UTF-8 に変換して送信） サンプルのソースコードは http://github.com/fits/try_samples/tree/master/blog/20101106/ 事前準備 必要なパッケージを cabal コマンドでインストールします。 > cabal install hsemail > caba

Haskellに副作用があるのか？というのは難しいテーマだと思いますが、少なくとも最適化理論での一般的な「副作用」の定義ではHaskellは全く副作用がない言語と言えると思います。 理論的に美しいという点がHaskellの設計の一番重要なところだと思うのですが、バックエンドの泥臭い話も面白いかもと思ったので書いてみます。 私は主に手続き型言語の最適化をやっていて関数型言語は詳しくありませんので、見当違いな事を書いていたら指摘して下さい。 まずは副作用の定義の為に「データ依存関係」(Wikipedia:依存関係)の説明をします。 ある変数xを使用・定義する二つの文を考える時、その評価順序関係には以下の4種類があり、それぞれの関係を以下のように呼びます。 真の依存 x = ... ... ... = x 逆依存 ... = x ... x = ... 出力依存 x = ... ... x =

[2010-10-26 21:44:58] >>>[haskell] Haskellの演算子一覧表無いか聞かれたから探してみた Haskell Operators and other Lexical Notation(pdf) こんなに記号あったら大変よな． あと，この表には抜けてるけど，$演算子は関数の結合ですので． f1(f2(f3(arg))) を f1 $ f2 $ f3 $ arg と書けてしまう'$'演算子 http://blog.livedoor.jp/kikwai/archives/51588251.html その点Elispならほとんど()であと,'#[]くらいかな．読む分にはほとんど困らんし

最近ちょっと気になるiterateeを勉強したので、日本語の解説を書いてみます。と言いつつ、大部分が The Monad.Reader Issue 16 *1 からの引用です。 はじめに Iterateeと呼ばれる新たなI/Oの抽象化手法が、最近にわかに広まりつつあります。既存のI/Oが抱える問題を解決するべくOleg Kiselyovによって2008年頃に提唱されたiterateeは、新しい高性能webフレームワークsnap *2 や、hyena *3 で利用されています。また、HackagDB上にて、iterateeパッケージ*4、およびiterateeを利用できる様々なパッケージ *5 *6 *7 *8 が公開されています。 しかし、ドキュメントの少なさなどからiterateeがどういうものなのかよく分からないという人も多いようです。そういうわけなので、iterateeを易しく解説し

前回の日記でこのような問題を出しました: 問題 次の twice 関数は、第一引数である関数 f を第二引数 x に二回適用する高階関数です。 let twice f x = f (f x) この時、次の各式の結果は以下のようになります: 式 ==> 結果 twice ((+) 1) 0 ==> 2 twice twice ((+) 1) 0 ==> 4 twice twice twice ((+) 1) 0 ==> 16 では、 twice twice twice twice ((+) 1) 0 の返す値は何ですか？まず、実際にプログラムを走らせずに、考えてみてください。 これは Python Hack-a-thon #4 で OCaml の紹介をしているときに高階関数の話をしている時に、ちょっと出してみた物です。解答も何も言わずに、暇だったらやってみてね、って感じで紹介しただけでしたの

リスト フィリップ・ワドラー(Philip Wadler)は 「How to replace failure by a list of successes: a method for exception handling, backtracking, and pattern matching in lazy functional languages」(1985)で、失敗やバックトラックの可能性がある場合に結果をリストにして返すようにするというテクニックを紹介している。 すべての答えを探索してリストにして返す関数を呼び出しても、遅延評価言語ならば、実際にすべての答えを探索するわけではなく、必要に応じて必要なだけの答えを計算する。そのためリストを返す関数をバックトラック機構の代わりに使うことができるというのがこのテクニックのポイントになる(もちろんバックトラックが使われる全ての場合に適用できる

When I read Ben Hutchison‘s OO/Imperative programmers: ‘Study Functional Programming or Be Ignorant’ I knew I had too much to say for the comments, so I figured I’d put in my 2 cents here. Haskell is my go-to language, both for scripting, and for getting work done. This is not because of any particular allegiance to the language. Haskell and I have an open relationship, and the moment I find a lan

Google グループ メールは HaskellNet を使うといいよ、と書かれている。 Author Jun Mukai って入門Haskellの著者かな？ cabal install iconv --global cabal install HaskellNet --globalソースをDLしてきて example/smtp.hs の通りにすれば英語のメールは送信できた。 しかし日本語が…。 Text.Mime.showMessage はFromやToをMimeエンコードしてくれるのだが、値の全てをエンコードするようになっている。 To: =?ISO-2022-JP?b?〜〜〜?= <user@example.com>こうなってほしいところだが To: =?ISO-2022-JP?b?〜〜〜〜メールアドレスもここ〜〜〜?=こういう動作になっている。 この動作だとメールサーバがホスト名を

少し前に巷ではやったSTのことを勉強してみました。原典のLazy Functional State Threadsをかじってみました。 僕はStateモナドはなんとなく自分でかけるくらいまで理解していたのですが、STは使ったこともないし、いったい何物なんだかぜんぜん知りませんでした。 Stateモナドは要するに関数なわけで State s a = State \s -> (a, s) ということはStateモナド系のKleisli関数がバインドされる図は乱暴な見方をすればこうゆう絵柄になるわけです。 runState (\s -> (a, s') >>= \a s -> (b, s') >>= \b s -> (c, s')) 何をスケッチしてるんだかよくわからなくなっちゃうんですがここではそれぞれのKleisli関数をそのシグネチャだけで書いています。それぞれのKleisli関数は（Kl