(追記)2015/4 関数型プログラミングに目覚めた! IQ145の女子高生の先輩から受けた特訓5日間 を無事出版しました。 (関連記事) 関数型プログラミングとオブジェクト指向のパラダイムとしての対立 国内の【自称】関数型コミュニティと海外の論調の違い 自分の考えを公表するときには、それなりの責任が伴います。 ときには、考えが違う相手との摩擦を産み、論争に発展することもあるでしょう。 私のQiitaのアカウント kenokabe は、1ヶ月ほど前にQiita運営よりサスペンドされました。 その事について当事者として論評したいと思います。 なぜ今書くのか? まず、 なぜ1ヶ月も本件について意見しなかったのか? なぜ今になって意見するのか?というと、 1.他にやるべき知的にも社会的にも経済的にも、あらゆる観点で生産的な作業が、それ以前より山積みとなっており、このような文章を書くことに意識を向
なぜこれを書いているか 『関数型プログラミングに目覚めた!』のレビュー(Day-1) という記事がMay 09, 2015、QiitaにUpされました。 この本については、邪な連中が多く、私もずいぶん不愉快かつ理不尽な思いをしてきましたので、この文責を伴わない「捨てアカウント」のレビュアが表明する前提の真実性を性善説をもってナイーブに信用することも当然難しいです。Qiitaにおいて、こういうことはこれまで何度も繰り返されてきました。特にこの記事に引用されている @camloeba というこの辺の輩のTweetをわざわざひっぱってきているあたり、ああまたやっているのか、と思わないこともありません。 実際、このレビューが着目する論旨は、私が、直近の記事、 『関数型プログラミングに目覚めた! IQ145の女子高校生の先輩から受けた特訓5日間 』の著者として、『数学ガール』の著者である結城 浩氏に
var plus = function(a, b) { return a + b; }; var s = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] .reduce(plus); console.log(s); が対比されています。 [0,1,2,...,9]はダサいか? 本書に対する感想として幾つか見かけたものに、「関数型コードの[0,1,2,...,9]という配列リテラルベタ書きの方が命令型コードよりダサいではないか!」というものがありました(0〜999まで足せと言われたらどうするつもりなのか!)。しかし、まさに0〜999まで足すにはどうしたらいいのだろう、という問いを本書の登場人物自身が問い(p. 45)、配列リテラルではなくrange関数を使って配列[0..999]を生成するコード例が示されます(p. 109)3。ですので、何度も繰り返されるコード例[0,1,2,
これから書くのは、言葉や論理と、その意味に関する話だ。フレーゲらによる、物事を厳密に考える言葉の探求は、現代論理学や分析哲学の出発点になった。まずは、その哲学を探りながら、関数プログラミングの話でよく耳にする「参照透過性」という概念を理解することを最初の目標にしたい。 言及 Reference (Stanford Encyclopedia of Philosophy) 普通、記号には表す対象が存在している。記号と記号が表す対象との間にある関係を、言及(reference)という。*1たとえば、「東京タワー」や「港区にある電波塔」という言葉は建造物の《日本電波塔》への言及だし、「港区」や「東京タワーのある区」という言葉は場所の《東京都港区》への言及だ、などという。*2このような、記号の意味とは言及対象のことなのだという考えは、いろいろある意味の捉え方のうちのひとつだ。(直接言及論 Direc
Lau Taarnskovさんの2015年4月19日付のブログ記事、Elixir - The next big language for the webの翻訳です。 ElixirはErlangのVM上で走る、Rubyにちょっと似た(というのも作者(José Valim)がRuby on Railsのcoreチームメンバーなので)関数型言語です。 2012年に登場していてQiitaでもAdvent Calendarなどが既にあるようですがまだあまり知られていないですね。ElixirとPhoenix Frameworkを組み合わせたものがマイクロ秒のオーダーで反応が帰る爆速だそう(ホントかな~)で興味を持ちました。 しかしほんの10年前ぐらいの話がもう遥かな昔話に聞こえますね…。 (追記:実際にプログラムを書いてみました → Elixirで試しに何か書いてみる(その1) Elixirで試しに何
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く