Haskellのエンジニアは二流なのか？（答えはノーである） | POSTD
挑発的なタイトルによって誰かが気分を害してしまう前に、私はこの問いに対する答えも書いてしまうことにしました。答えは“ノー”です。しかしこのテーマには、なかなか興味深い議論があるのです。HaskellやErlangや、特にClojureなどのあら探しをするつもりはないのでしょうが、Piaw NaはQ&AサイトQuoraの あるアンサー で以下のようにコメントしています。 プログラミング言語を固定するのは二流のエンジニア／コンピュータサイエンティストである証です。 [中略] 私がErlangのサーバに携わるポジションの採用をした時も、Erlangのスペシャリストだと言うエンジニアより、優秀なオールラウンダーのエンジニアを雇ってErlang（これに限らず何でも）を学ばせてそのポジションを埋める方が断然いいと感じました。 Na氏の意見は1990年代に設立されたGoogleやAmazonなどの技術系
Conceptual Mathematics | Logic, categories and sets
Products and services Our innovative products and services for learners, authors and customers are based on world-class research and are relevant, exciting and inspiring.
Haskell の mapM_ – foldr と (>>) を意識して
1. mapM_ 関数は、どのように定義されているのか？ Haskell の print 関数で文字列を連続して出力させたい場合、次のように書く。 main = do print "hoge" print "piyo" print "fuga" これを短かく書きたいなら、 main = mapM_ print ["hoge", "piyo", "fuga"] 最初、意味もわからず mapM_ の動作を覚えようとした。 ^^; なぜこのように書けるのだろう？ 2. map, fold 系の復習から まずは map, fold 系の復習から。 map 関数は「各要素へ指定された関数 f を適用」する。 リストの要素を 2 倍するなら、 *Main> map (*2) [0..5] [0,2,4,6,8,10] これに対して、fold 系 の関数は大雑把なイメージとして、「各要素の間に二項演算子
Haskell の sequence 関数 - foldr をイメージして
「Haskell の mapM_ – foldr と (>>) を意識して」のつづき 1. mapM_ 関数を理解するには、sequence 関数の理解が不可欠 前回は、 mapM_ 関数 の動作について見た。しかし、どうも感覚的に全然身に付いていない。 mapM_ を使おうとすると、 「あれ？一体これ何してるんだっけ」 と考え込んでしまう。返り値に関心のある mapM にしても同じ。 多分、この関数のベースとなっている sequence 関数 をちゃんと理解してないために、頭の中にイメージを描けないと思う。 (+_+) Prelude には、 sequence :: Monad m => [m a] -> m [a] Evaluate each action in the sequence from left to right, and collect the results. 型を見れ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
関数プログラミングの希望 Haskellの夢 : 山本 和彦 氏