プログラミングElixirの読書ノートです。

ノート

はじめに

Pix OTPオプションって何？

OTP は Open telecom Platform の略 (P193 より)。ライブラリ集？

→ Wikipedia を見ると、ミドルウェアであり、ライブラリ、そしてツールらしい。

で、そのオプションとは何を指しているのだろう？

→ 不明。

第1章

P4 OTP のダウンロードにすごい時間かかるので注意・・・。

第3章

P21 [ head | tail ] に直接 1,2,3 は書けないようだ。逆にカッコの二十につけると入れ子を連結できる。

[ 4 | [[1,2,3]] ]

↓

[4, [1, 2, 3]]

第4章

P31 最後の !a の説明、「そうでなければ b」とあるが、「そうでなければ true」では？

→ 要 Errata 報告

P33 Haskell の do とはだいぶ違うな・・・ 参考: Haskellのモナドdo記法での混乱 - iLog

P33 with-do-end みたいな書き方って ruby みたいな言語では普通なの？

→ あまり・・・

→ let に近い気がする

P34 end は do に対応するキーワード？

→ 省略できるところを見るとそんな感じがする

→ Ruby と同じとも言える

第5章

P43 length/1 とかの /1 は引数1つの関数を指すリテラルのようなもの (次章 P45 参照)

第6章

ModulesAndFunctions-4 フォーラムの答えのこじらせっぷりぱない Exercise: ModulesAndFunctions-4

P53 「答えば」は「答えは」の typo では

→ 要 Errata 報告

P57 only や except 使いまくると追いづらくなるよね。

P57 except のはずが expect になっている。

→ 要 Errata 報告

第7章

ListsAndRecursion-2 空リストははじいておきたい。初期値 0 で reduce する処理を書いてしまうと list がマイナスだけの場合に対応できないので注意。

ListsAndRecursion-3 (P13) 問題文のほう ceasar(list, n) になっている。正しくは caesar。

→ 要 Errata 報告

第8章

P80 第一段落 (heihgt) とあるが (height) の typo。

→ 要 Errata 報告

第10章

ListsAndRecursion-5

リスト内包表記はfor式を使ったものという意味として解釈する

Enumモジュールの関数はリスト以外も引数にとれるようだが、今回の演習ではリスト以外考えなくて良い

Enum.eachは戻り値として :ok を返す

ListsAndRecursion-6

→ 難問とあるので解答は任意とする

ListsAndRecursion-5 そういえば Elixir って末尾再起最適化あるのかな？

→ ある (P166)

→ (こぼれ話) JVM は最適化がない。C# は 64bit かつリリースビルドの場合だけ最適化される (特にオプション指定していない場合)

→ (もっとこぼれ話) Java でやろうとするとこんな感じ (CPS変換) https://gist.github.com/backpaper0/1e7c22d4223a864719e5

P97 なぜ File.stream! は File.open! + IO.stream の 2 倍遅いのか？

→ 不明・・・

P97 関数に ! ついてるやつは？

→ 失敗時にエラーが raise される関数の命名慣例に従っている

P103 Enum.into IO.stream(:stdio, :line), IO.stream(:stdio, :line) 終わらない。Ctrl+C するしかない？

→ かも。

第12章

P124 「FizzBuz」は「FizzBuzz」の間違いと思われる。

→ 要 Errata 報告

P124 第一段落「対応するFizzBuzzの丹豪に変更に変換するのに」は「変更に」が不要に思える。

→ 要 Errata 報告

P125 case1 の %{state: some_state} = person は、person にマッチした後 some_state にマッチするが、case2 の person = %{age: age} は age にマッチしたあと person にマッチする

ControlFlow-2

  • (intptr-t の回答) 表現: cond, メンテ: 関数分け, 喚起: 行数が多いものは書き直す等
  • (kzt.ysmr の回答) 表現: case, メンテ: case, 喚起: テストコード縛り、naming convention 整備等
  • (mikan の回答) 表現: case, メンテ: case, 喚起: 静的解析等

第13章

P131 脚注2のURLはリンク切れの模様。おそらくこちら: https://elixir-lang.org/getting-started/mix-otp/introduction-to-mix.html

P135 第二段落「カウントに数を期待していたのに、文字列を得てしまったのだ。」とあるが、この場合「数」より「整数」のほうが正確な表現と思われる。

P146 練習問題 OAP-4はスキップ

P158 練習問題 OAP-5はない(原著にもない)

→ 要 Errata 報告

P158 OAP-6の仕様が曖昧すぎるので、やるべきか未検討

第14章

P163 self 関数をカッコなしで実際に呼ぶと怒られる。カッコをつけて self() とする必要がある。

warning: variable “self” does not exist and is being expanded to “self()”, please use parentheses to remove the ambiguity or change the variable name

WorkingWithMultipleProcesses-5 spawn の戻り値は pid だが、spawn_monitor の戻り値は pid とリファレンスのタプルになっているので、pid を拾って渡したい場合にはコードを変える必要がある

P176 「スケジューラー」と「スケジューラ」 (スケジューラプロセス含む) でゆらぎがある (P176 から P128 にかけて)。

→ 要 Errata 報告

第15章

P187 にある __MODULE__ は自身のモジュール名が入るようだが、ここが初出？説明 (と索引) がないような

→ とりあえず公式ドキュメントでは Kernel.SpecialForms で紹介されている: Kernel.SpecialForms

第17章

OTP-Supervisors-1 mix new --sup sequence で出力されるコードが本と手元で違う (lib/sequence/aplication.ex が別途作られたり、import がなかったり)。バージョンアップで振る舞いが変わった可能性がある。とりあえず sequence.ex には手をつけずapplication.ex に Sequence.Application モジュールの中を書いていくイメージで進めることとする。

第19章

P237 関数定義に do の省略記法を使う (def xxx, do: xxx) のは初出かも。

第20章

P256 練習問題 MacrosAndCodeEvaluation-3 問題文中 Elxiir と typo しているところがある。

第22章

P276 練習問題 Protocols-4 そのままの inspect で良いのでは・・・

第23章

P284

参考情報