俺に反応する関数型言語ユーザーはバカという人

Issei Naruta @mirakui

最初のプログラミング言語としてなぜか OCaml を叩きこまれた非エンジニア新卒女子、Ruby に触れて「ループってよくわからなくて…再帰じゃだめなんですか？ 繰り返している間に状態が変わるのっておかしい」みたいなこと言っており順調に関数型エリートとして育ってる

シンノスケ @cnosuke

この例の新卒女子が今「Ruby辞めていい？関数型のほうが肌にあってる。だって状態が変わるとかそんなんこじつけじゃん」と申しておりましたのでご報告させて頂きます。 twitter.com/mirakui/status…

拙僧 @sessoh

まあ、関数型言語が得意な人も、学術研究分野を中心に需要はあると思うので、エンジニアとしては絶対に雇いたくないけど、そういう人がいてもいいんじゃないですかね。

拙僧 @sessoh

個人的には、関数型言語でコードを書く人が、その関数型言語自体の実装について、どれだけ理解しているのか気になる。以前ツイッターでも、「○○は○○自身で書かれている(ｷﾘｯ」みたいな脳味噌膿んでる馬鹿しか見かけなかったし。いわゆる過去のゆとり教育だけが、ゆとり脳を生み出すと思うなよ。

V @voluntas

@camloeba OCaml って OCaml で書かれてるんですか？（無知。Erlang は C です ...

Jun Furuse 🐫🌴 @camloeba

プログラミング言語使用者のほとんどは、使っている言語処理系実装の詳細は知らないと思われるし、それで良いのではないかと思います

拙僧 @sessoh

.@camloeba いや、それはいいのですが、例えばその処理系のコードは特定のアセンブリ言語のコードを出力するのですか？　そういう具体的な内容について全く理解していないようなので。私も興味ないので調べていませんが。

拙僧 @sessoh

.@camloeba いや、それはいいのですが、例えばその処理系のコードは特定のアセンブリ言語のコードを出力するのですか？　そういう具体的な内容について全く理解していないようなので。私も興味ないので調べていませんが。

Jun Furuse 🐫🌴 @camloeba

そうですよ。OCaml で OCaml コンパイラをビルドするために、OCaml コンパイラのバイトコードとCで書かれたバイトコード実行系がソースに付属している twitter.com/voluntas/statu…

拙僧 @sessoh

いや、先の話で、旧式言語を学ばずに関数型言語一本槍でエキスパートを目指すような感じの方の話があったので、それはそれでいいけど、そんなんで関数型言語をちゃんと理解しているの？　理解できるの？　といった意味合いです。 twitter.com/n_enot/status/…

ねの @neno_n0

業務の現場でJavaやC# を使いながら趣味でカンスウガタプログラミングしてるひともたくさん居ると思うんですけどね

2015-06-17 14:41:48

. @fetburner

関数型言語ユーザーってみんな簡単な処理系ぐらい作った事ありますよね？

omanuke @omanuke

別に関数型に限った話じゃなくて、高級言語全般、更にはプログラム書いてるやつのどんだけが電子回路の挙動を理解してるのかって話にならんかね(´・ω・｀) twitter.com/sessoh/status/…

ねの @neno_n0

@sessoh 関数型プログラミングを理解するには適した言語を使うのが良いとは思います。でもその言語処理系の実装だとかは、また別の技術ですし、それならそれで必要になったら学べるのなら全然構わないと思いますね

拙僧 @sessoh

.@omanuke 別の方への返信にも通じますが、「まず軽く触れてみよう」とか「趣味でやってみるか」といった程度ならいいのですが、旧式言語を捨てて「これからは関数型言語の時代だ！」みたいなノリの場合は、それなりに理解していただかないと、例えば不具合があった場合などに困りますよね。

omanuke @omanuke

@sessoh んー、それはRubyでもC++でも同じでは？ 言語にしろライブラリにしろDBにしろブラックボックスは有って、それを飲み込んでシステムは成り立ってると。下の挙動まで理解してるといいしそこまで見れて問題解決出来ると望ましいけど関数型に限った話じゃないのでは。

. @fetburner

関数型言語ユーザーってSML#2.0.0からバックエンドがLLVMになりましたね、とかOCamlは自前でバックエンド実装してるけど結構コード綺麗だねとか雑談で話すものじゃないんですかね

Jun Furuse 🐫🌴 @camloeba

@sessoh バックエンドが何を吐くかはあまり重要な知識ではないと思います。それよりはランタイム(特にGC)や値の内部表現の特性などを判っているほうが重要です。が、知っていなければ給料仕事ができないというものでもありません。(大きいところはもちろんそういう人を集めますが

Jun Furuse 🐫🌴 @camloeba

@sessoh バックエンドが何を吐くかはあまり重要な知識ではないと思います。それよりはランタイム(特にGC)や値の内部表現の特性などを判っているほうが重要です。が、知っていなければ給料仕事ができないというものでもありません。(大きいところはもちろんそういう人を集めますが

集会の自由 @oskimura

ついにRubyが旧式言語と呼ばれる時代になったのか…。 twitter.com/cnosuke/status… twitter.com/sessoh/status/…

拙僧 @sessoh

.@omanuke んー、例えば「このコードはどんな順番で処理されるでしょう？」という質問、旧型言語の方が関数型言語より正答率高いと思うんですよね。中途半端な理解で「利用する便利じゃん」だと、根本的な過ちを犯しそうで怖いなと。

拙僧 @sessoh

@camloeba 重要か重要でないかではなく、実際には肝心なことを何も知らないのに、なんか知っていると思い込んでいる状態が、私いわく「脳味噌膿んでる」という話になります。

拙僧 @sessoh

@camloeba 重要か重要でないかではなく、実際には肝心なことを何も知らないのに、なんか知っていると思い込んでいる状態が、私いわく「脳味噌膿んでる」という話になります。

拙僧 @sessoh

.@oskimura MSCならこう、BCCならこう、といった知識がありますよね、エンジニアなら。

omanuke @omanuke

@sessoh えてして関数型言語の方が抽象性は高そうなのでそれはあるかもですね。けどその抽象性の高さは生産性の高さの元でも有るし、富豪的にプログラミングしても昨今のCPUパワーで解決されることも多いかと。ゲームエンジンしかり抽象性は上手く扱えると強い味方になるものかとは思います

omanuke @omanuke

@sessoh 何れにしてもブラックボックスがある場合、いざという時に命取りになることはあるので抽象化の上でしか踊れない人が困るのは同意です(´・ω・｀)