「What Is Functional Programming? に対する反論」を読んで考えたこと - Ryusei’s Notes (a.k.a. M59のブログ)

lyrical-logical.hatenablog.com 読んでいて引っかかった部分について考えました。 mutable変数は「入力とは呼べない」？ この記事で僕が伝えたいのは、君が書くあらゆる関数には二組の入力と二組の出力があるってことだ。 間違いなく、InboxQueue の状態はこの関数の本物の入力だ。 この隠れた入出力にはちゃんとした名前があって、その名を「副作用」という InboxQueue は、その関数スコープから参照可能な変数の一つに過ぎない。たまたまその関数の環境から触れるというだけで、入力というよりは、環境の中の mutable な変数の一つ、以上のことはないし、これを入力とは呼べない。これはプログラムの状態だ。 http://lyrical-logical.hatenablog.com/entry/2016/12/15/135831 問題のプログラムはこれです。 p

[screwbound]

[FunctionalProgramming]