自分の『関数プログラミング実践入門』関連ツイート

復習がてら『関数プログラミング実践入門』を読んでのツイートをまとめておく。
1
鏡双司 | Skeb Open @SO_C

『関数プログラミング』読み始めた。興味本位。Javaとの比較(lambdaも導入されたし)が書かれているようだし、独学でやっているRにも応用できるかと思って。

2014-11-26 09:14:37
鏡双司 | Skeb Open @SO_C

オブジェクトをimmutableにするってことは束縛に近いって理解でいいのかな。厳密には違うだろうけれど。

2014-11-26 09:23:48
鏡双司 | Skeb Open @SO_C

テストって例えテスト対象が手続きでも、宣言的だよなあ。性質ではなく値レベルだけれども。

2014-11-26 09:50:44

誤字。×例え→○たとえ

鏡双司 | Skeb Open @SO_C

fの値域がgの定義域に収まっていることを型検査で検出できるなら、ドメインテストいらないなぁ。型が適切に定義されている必要はあるにせよ。

2014-11-26 09:53:40
鏡双司 | Skeb Open @SO_C

型を適切に設計するとなると、最初に思い浮かぶのはドメイン駆動設計。型の性質と言えば『型システム入門』。

2014-11-26 09:56:51
鏡双司 | Skeb Open @SO_C

『型システム入門』、試し読みした印象だとハードそうだったなあ。

2014-11-26 10:02:37
鏡双司 | Skeb Open @SO_C

Haskelを取りあえず試すの、ブラウザから実行できるサービス使えばいいかな。ちょっと検索したらcodepadとtry haskelってのが見つかった。

2014-11-26 10:14:02
鏡双司 | Skeb Open @SO_C

l重ねるの忘れるスペルミスしていた。

2014-11-26 10:17:59
鏡双司 | Skeb Open @SO_C

短いコードを共有するならcodepad, 対話的に遊ぶならtry haskellが良さそうだ。後者にはチュートリアルまである。

2014-11-26 12:19:12

対話的実行を試すだけなら、Try Haskellが手軽。

鏡双司 | Skeb Open @SO_C

『関数プログラミング実践入門』第0章読んだ。「「何となくできている」を許容しない」のは、安全なソフトウェアを書くにはメリットだけれど、確かに普及可能性を下げているだろうなあ。初学段階だとコンパイラに色々怒られるとメゲる。言語に限らず。

2014-11-26 12:50:36
Mochimasa @Mochimasa

88件のコメント b.hatena.ne.jp/entry/d.hatena… “竹内関数で音楽生成 - aikeの日記” htn.to/6uF7PM

2014-11-26 22:11:38
鏡双司 | Skeb Open @SO_C

『関数プログラミング実践入門』のサンプルを動かすためにHaskell Platformをインストールしよう。

2014-11-26 23:44:17
鏡双司 | Skeb Open @SO_C

Installerをダウンロードして実行中。

2014-11-26 23:46:17
鏡双司 | Skeb Open @SO_C

インストールしているバージョンは、Haskell Platform 2014.2.0.0 for Windows, 64-bit

2014-11-26 23:49:04

でもやっぱり実行環境をインストールすることにした。

鏡双司 | Skeb Open @SO_C

GHCiっての起動したらコンソールが、WinGHCiっての起動したらもうちょいリッチな感じのが起動した。主な違いはUIって理解でいいのかな。

2014-11-26 23:51:00
鏡双司 | Skeb Open @SO_C

『関数プログラミング実践入門』第一章は他言語との比較。JavaScriptで関数オブジェクトを扱うコードがよく分からないというHaskell以前の問題が。

2014-11-27 09:17:21
鏡双司 | Skeb Open @SO_C

あ、リスト1.2と1.3は同じ名前の関数でもどれも値じゃなくて関数を帰すようになっているのか。

2014-11-27 09:20:04
鏡双司 | Skeb Open @SO_C

『関数プログラミング実践入門』、Nullチェックの話題。よく泣かされるのでこれを捨象できるのは嬉しいだろうなあ。SQLの3値論理の話も思い出す。 codezine.jp/article/detail…

2014-11-27 09:35:35
鏡双司 | Skeb Open @SO_C

Visitorパターン、難しいよね……。

2014-11-27 09:49:34
鏡双司 | Skeb Open @SO_C

Haskellだと1/3くらいの行数になっているし、見通しいいなあ。

2014-11-27 09:51:55
鏡双司 | Skeb Open @SO_C

HaskellのMaybe Boolが少なくとも表面上は3値論理のように見える。

2014-11-27 13:00:45
鏡双司 | Skeb Open @SO_C

Haskell、関数のリテラルがあるのか。関数が第一級オブジェクトってこういうこと(でもあるってこと)か。

2014-11-27 22:01:30
1 ・・ 7 次へ