セカイノカタチ

世界のカタチを探求するブログ。関数型言語に興味があり、HaskellやScalaを勉強中。最近はカメラの話題も多め

関数型

foldの融合則についてScala版 #scalajp

先日、foldの融合則についての記事を書きました。 foldの融合則について #haskell - セカイノカタチ こちらHaskellで書いたのですが、Scalaに書き直してみました。 foldrの融合定理 関数プログラミング入門 ―Haskellで学ぶ原理と技法―作者: Richard Bird,山…

「第2期 第7回 H本読書会 in 秋葉原」を終えて #readhbon #haskell

はい。第7回も無事開催することが出来ました。 id:shigemk2 さんいつもありがとうございます。(__)ヘヘー 第2期 第7回 H本読書会 in 秋葉原 #readhbon - by shigemk2 第2期 第7回 H本読書会 in 秋葉原 #readhbon - by shigemk2 「第6章 モジュール」を読みまし…

foldの融合則について #haskell

関数プログラミング 珠玉のアルゴリズムデザイン作者: Richard bird,山下伸夫出版社/メーカー: オーム社発売日: 2014/11/12メディア: 単行本(ソフトカバー)この商品を含むブログ (1件) を見る さて、最近ハマっているこの本ですが、foldの融合則というのが…

「関数プログラミング 珠玉のアルゴリズムデザイン」をScalaで実装してみる 第4章

前回: 「関数プログラミング 珠玉のアルゴリズムデザイン」をScalaで実装してみる 第3章 その2 - セカイノカタチ さて、時間が開いてしまいましたが、第4章行きたいと思います。 関数プログラミング 珠玉のアルゴリズムデザイン作者: Richard bird,山下伸…

Haskellの変態的なzipの定義 #haskell

※ ここで挙げるzipの定義はあくまで下記の本に乗っていたものです。実際の定義とは異なります。念のため 関数プログラミング 珠玉のアルゴリズムデザイン作者: Richard bird,山下伸夫出版社/メーカー: オーム社発売日: 2014/11/12メディア: 単行本(ソフトカ…

オブジェクト指向と関数型で副作用の扱いが違うって知ってた?(2021年版)

(2021/2/23 加筆訂正。文章を見直して現在の結論を追記しました。文意は変わっていません) 最近、オブジェクト指向と関数型を比べる人が多くなってきたみたいなんで、自分の考えをまとめてみます。 まず、本件ですが、壮大なテーマだと思いますので、全体を…

「第2期 第4回 H本読書会 in 秋葉原」を終えて

第2期 第4回 H本読書会 in 秋葉原 - H本読書会(Haskell本読書会) | Doorkeeper はい。第4回を無事開催することが出来ました。 今回は、年をまたぎ、新年初開催となったのですが、20名ぐらい(数えてない^^;)の方に参加していただき、非常にありがたいです。 …

プログラムを純粋に書けって言われたけど、どこまで純粋に書けばいいの?

今、関数型言語の流行により、プログラムを純粋に書くことが求められています*1。 そういわれて、「わかった、副作用のないプログラムを書くぞ!」と勇んで書き始めるとすぐにわかりますが、これがなかなか簡単なものではありません。 純粋な関数を定義する…