「関数型言語」を含む日記 RSS

はてなキーワード: 関数型言語とは

2016-12-05

本当に自分技術が好きなのかわからなくなった

高校時代からプログラミングに興味を持ち、ショボいCGIなんかを書いていた。

んで、大学時代バイト学業に勤しんでいた(情報科には行かなかった)。

就活自己分析してやっぱり自分ITだね!とか思ってSIerになった。

あれから10年、何もしていなかった。

Ajax関数型言語クラウドモバイル統計機械学習色んなトレンドが来たが、自分で何かをやろうとしたことはほぼなかった。

やろうとしたが、マシンスペックがしょぼいと言って何もしなかったり、失敗したり、身につかなかった。

致命的だったのは何かを作ろうという意欲が自分には全くなかった。あんツールがあったら便利だなとか、こんなサービスがあったら楽しそうだとかという気持ちがまったくなかった。

人見知りの性格と、何も作れていない自分が惨めでSNSにも勉強会にも参加できなかった。

この10年、仕事でやっていたプログラミング技術は少しは向上したけど、ただそれだけだった。

プログラマ定年説まで半年向上心も枯れて、人見知りは治らないし、仕事はできない。おまけに鬱持ち。

QiitaGitHubには毎日のように大量のポストが送られる。自分もそのうちの一人になりたかったなぁ。

2016-11-27

http://anond.hatelabo.jp/20161127131001

個人的な雑感

情報からプログラマー以外のSEになった人は、どんな言語も愛する。

プログラマーに身を落としたものは、すべての言語を憎しみ、そして関数型言語希望を求める。

2016-05-28

http://anond.hatelabo.jp/20160523005052

FRP関数型言語も、誰も合意があるなんて言ってない。岡部氏の藁人形論法

藁人形に加えて「合意がないから僕の独自理論は正しい!」という詭弁

2016-05-24

http://anond.hatelabo.jp/20160524133941

このように何か処理を実行した際に、入力として受けつけたデータ以外の物が変化することを"副作用がある"と表現するようです。

関数型言語はこの副作用のないプログラムを目指します。

引数データを受け取り、それ以外の情報を使わず戻り値を返す」関数を作ることを考えましょう

外部に依存しないよう関数の入出力を定める

この辺でさ、岡部氏のFRPは、時間軸を持つストリームとしての値っていうのを、特別扱いして外部に持ってるわけじゃん?

反対してる人は、状態を外部(関数引数でも戻り値でも無い所)に持つの関数型的でない、って言ってたわけじゃん?

岡部氏は時間グローバルなのが当たり前、引数戻り値で表す必要はない(全てを引数戻り値表現する「状態渡し」ではアプリは作れない)って立場じゃん?

上で引用してるのは「状態渡し」推奨の立場じゃないの?

なんで状態渡し否定派の岡部氏の路線になるの?

2016-05-23

http://anond.hatelabo.jp/20160520093920

仮にCが純粋関数型言語で、岡部FRPのx.t=x.t+1;も関数型なんだったら、C言語のx=x+1;も関数型だよね。

岡部氏の本でさんざん「x=x+1;は論理破綻」って批判してたのは何だったんだろう。

というか普通のCやJavaScript関数型なんだったら、岡部関数型の存在意義は……

http://anond.hatelabo.jp/20160520093920

岡部氏は当該部分を引用していませんが、元記事をちゃんと読むと

Cの「プリプロセッサが」Cプログラムを生成する純粋関数型言語

という話ですね。

2016-05-22

http://anond.hatelabo.jp/20160520083417

「滅多なことが言えなくなった」としたら、nonstarter氏のブログのように

岡部氏に反する意見を言うと激しく荒らされるからですね。

迷惑がかかるといけないのでリンクしませんが、

住井氏は関数型言語に関する世界最高峰の国際会議委員長ですね。

エリオット氏のブログは、岡部氏が引用していない部分を読むと、

C言語の「プリプロセッサが」Cプログラムを「生成する」ので、

HaskellのIOモナドがIOアクションを生成するのと同様に

純粋関数型言語とみなせる、という主旨のことが書かれていますね。

岡部氏は「プリプロセッサ」という部分を引用していないようですが。

2016-05-21

岡部健劇場

おう、今度はC言語純粋関数型言語だ、と言い始めたぞ

それも凄いが、今頃そんな事を言い出して、お前がQiitaで書いてきたことは何だったんだよ(笑)

http://kenokabe-techwriting.blogspot.jp/2016/05/c.html

C言語純粋関数型?

岡部健が「C言語純粋関数型だ」と言い始めたんだけど、この人正常なんだろうか。

>ttp://kenokabe-techwriting.blogspot.jp/2016/05/c.html

俺は最初レトリックのつもりで書いたタイトルだと思って読んだんだが、違うみたいなんだよね。

(多分、今後責め立てられたらそう言いだすんだろうけど・・・・)

ただ、この人はJavaScriptを使った関数型言語の本を出しているんだけど、そのような珍妙な説には触れていない。

最近そういう持論を持つようになったのかな。

2016-05-20

http://anond.hatelabo.jp/20160520143856

再束縛OKの関数型言語はあるよ

> (let [t 1, t (+ t 1)] t)
2

http://www.tryclj.com/

Elixirもそうみたい

t = {x: 1, y: 2}

のあとで

t.x = 10

t.y = 15

とか直接書き換えられたら問題かな

2016-05-19

http://anond.hatelabo.jp/20160518171946

何度も指摘されているが「岡部氏のFRP」は同じメンバ変数tに何度も値を上書きしてるだけの

FRP以前に関数型でもない普通命令プログラムいくら論文曲解したり哲学とか言い訳しても

客観的には単なるメンバ変数への破壊的代入。オブジェクトconstをつけたところで

メンバ変数constにはならない。

 

じゃあOCaml純粋関数型や(本当の)FRPで複雑なGUIアプリが書けるかと言うと、

理論的には不可能ではないかもしれんが、もともと非純粋なので

誰もそういうライブラリを整備してないから、ライブラリから作るのは

まあ面倒だろうし、わざわざ非純粋関数型言語純粋関数型のGUIを作る動機

現時点ではまずないだろう。これもすでに指摘されているとおり。

 

もっとも「岡部氏」は「お絵かきアプリ」も「FRP実装が必ず必要となります。」と自分ブログで断言し、

その反例としてOCamlやらHaskellやらのコード直ちに書かれた以上、また話を逸らすのも大概ではある。

2016-05-16

http://anond.hatelabo.jp/20160302090242

ああ。住井@東北大かな?

>(分析哲学ではなく関数型言語意味で)参照不透明なので、関数型プログラミングメリット享受できない、命令型の破壊的代入と等価ですね。

君の役にもたたない机上の空論は皆そろそろ聞き飽きていると思うので、適当なハッタリではなく、timeengine(FRP)がいったいどのような局面で、参照不透明名実ともになり「破壊的代入」のデメリット顕在化し、関数型プログラミングメリット享受できなくなるのか、具体的に示せよ?100%無理だろうけどね。机上の空論じゃないなら、やれるもんならやってみな?w

http://anond.hatelabo.jp/20160516112619

ああ。住井@東北大かな?

>(分析哲学ではなく関数型言語意味で)参照不透明なので、関数型プログラミングメリット享受できない、命令型の破壊的代入と等価ですね。

君の役にもたたない机上の空論は皆そろそろ聞き飽きていると思うので、適当なハッタリではなく、timeengine(FRP)がいったいどのような局面で、参照不透明名実ともになり「破壊的代入」のデメリット顕在化し、関数型プログラミングメリット享受できなくなるのか、具体的に示せよ?100%無理だろうけどね。机上の空論じゃないなら、やれるもんならやってみな?w

http://anond.hatelabo.jp/20160516112619

ああ。住井@東北大かな?

>(分析哲学ではなく関数型言語意味で)参照不透明なので、関数型プログラミングメリット享受できない、命令型の破壊的代入と等価ですね。

君の役にもたたない机上の空論は皆そろそろ聞き飽きていると思うので、適当なハッタリではなく、timeengine(FRP)がいったいどのような局面で、参照不透明名実ともになり「破壊的代入」のデメリット顕在化し、関数型プログラミングメリット享受できなくなるのか、具体的に示せよ?100%無理だろうけどね。机上の空論じゃないなら、やれるもんならやってみな?w

http://anond.hatelabo.jp/20160516053746

kenokabeさんの心の中ではそうなのかもしれませんが、ライブラリユーザから客観的に見れば(分析哲学ではなく関数型言語意味で)参照不透明なので、関数型プログラミングメリット享受できない、命令型の破壊的代入と等価ですね。

2016-05-15

http://anond.hatelabo.jp/20160514101709

>しかもその結果が微塵もFRPでない(どころか関数型ですらない)単なる

お気の毒様な命令型のウンコードじゃあねえ……

「微塵もFRPでない」、ってのと

命令型のウンコード」、っての、具体的にコード引用して説明どうぞ?100%無理だろうがな。

FRPのための純粋関数型言語だった Elm?アホが。

Elmは、そもそもFRPじゃねーよ、情弱

>Neither Rx nor Elm are FRP. If you want FRP, look at Conal Elliott's work.

https://news.ycombinator.com/item?id=7965027

2016-05-14

http://anond.hatelabo.jp/20160506231736

自分から言い出した「実用性皆無のトイコード」を1年かけて書き上げて

しかもその結果が微塵もFRPでない(どころか関数型ですらない)単なる

お気の毒様な命令型のウンコードじゃあねえ……


そもそもFRPのための純粋関数型言語だった Elm ですら

なんと FRP廃止してしまったので


http://elm-lang.org/blog/farewell-to-frp


FRP関数型プログラミング過渡期の産物だったということになりそうな気配

まあFRPどころか関数型すら書けない岡部さんには関係のないことだけど

2016-03-15

http://anond.hatelabo.jp/20160306072616

今回のように、

----------------------------------------------------------------------------------

オブジェクト指向関数型は対立していますか?」について権威論証のきらいがありますし、

関数型プログラミングオブジェクト指向パラダイムとしての対立 国内の【自称関数コミュニティ海外論調の違いというブログ記事

http://kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html

では、

以下が広く一般的国際的な【「関数型言語」に関する一般的説明】です。

として、正反対見解提示されています。ご参考までに。

----------------------------------------------------------------------------------

----------------------------------------------------------------------------------

SaitohMDMA_Love

0 contribution

その方は万能感・誇大妄想のきらいがある電波系として別の意味で有名な人ですよ。

----------------------------------------------------------------------------------

かいうヤジがコメントされた。

このコメントに対しては、

----------------------------------------------------------------------------------

@SaitohMDMA_Love 私が示したのは見解なので。そのような中傷行為や個人攻撃、悪意が見て取れる属人性の主張をしながら、その論者による見解否定する試みは、属人論法であり権威論証だと言えます。(蛇足ですが、MDMAというのは違法薬物なので中傷行為同等に良俗に反するHNだとも思います)

----------------------------------------------------------------------------------



。。。。。。。。。。。。。。。。。というのは、「荒らし」とは言わない。

荒らし」というのは、@SaitohMDMA_Loveであり、「荒らしコメントそのままで、「荒らしコメントを叱る、妥当技術論を削除したQiita問題だということ。

そのおまえが念仏唱えてるとおり、「300以上の荒らしコメント」という文言実態として虚偽であり、実態として虚偽であることをわかってわざとデマ流してるよな?

Qiita社長コメント」という「弁明」があったことも捻じ曲げて念仏唱えながらさ。

@SaitohMDMA_Loveみたいな「荒らし」をはじめ、おまえみたいな異常な念佛教徒は「異常者」であり、技術論にわいてでてきてしきりに念佛を唱えるおまえら荒らし

犯罪」の実態もあり、「異常者」「犯罪者」というのも妥当表現

2016-02-27

http://anond.hatelabo.jp/20160226093209

関数型言語」に関するFAQ形式一般的説明

http://qiita.com/esumii/items/ec589d138e72e22ea97e#comment-0bad8d4aabf92ec70352

ってのをストックしてるんだが、先日からメールで、

投稿が通知されてくる」って、これは本当に通知があったから知った話なの?

あんたのところにメールが届いたのか?

http://anond.hatelabo.jp/20160226093209

関数型言語」に関するFAQ形式一般的説明

http://qiita.com/esumii/items/ec589d138e72e22ea97e#comment-0bad8d4aabf92ec70352

ってのをストックしてるんだが、先日からメールで、

これは本当の話なの?

あんたのところにメールが届いたのか?

2016-02-26

Qiitaコメントすると消される不思議コメント発見

Qiita記事で、

関数型言語」に関するFAQ形式一般的説明

http://qiita.com/esumii/items/ec589d138e72e22ea97e#comment-0bad8d4aabf92ec70352

ってのをストックしてるんだが、先日からメールで、

----------------------------------------------------------------------------------

オブジェクト指向関数型は対立していますか?」について権威論証のきらいがありますし、

関数型プログラミングオブジェクト指向パラダイムとしての対立 国内の【自称関数コミュニティ海外論調の違いというブログ記事

http://kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html

では、

以下が広く一般的国際的な【「関数型言語」に関する一般的説明】です。

として、正反対見解提示されています。ご参考までに。

----------------------------------------------------------------------------------

っていう投稿が通知されてくる。

http://kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html

内容的には的を得ている有意義反論の紹介なんだが、

----------------------------------------------------------------------------------

SaitohMDMA_Love

0 contribution

その方は万能感・誇大妄想のきらいがある電波系として別の意味で有名な人ですよ。

----------------------------------------------------------------------------------

かいうヤジがコメントされた。

このコメントに対しては、

----------------------------------------------------------------------------------

@SaitohMDMA_Love 私が示したのは見解なので。そのような中傷行為や個人攻撃、悪意が見て取れる属人性の主張をしながら、その論者による見解否定する試みは、属人論法であり権威論証だと言えます。(蛇足ですが、MDMAというのは違法薬物なので中傷行為同等に良俗に反するHNだとも思います)

----------------------------------------------------------------------------------

というお叱りが加わって、俺も全くそのとおりだと思うのだが、すぐに記事主のコメントがあって、ほどなくこのコメントが消されてしまった。つまり

「万能感・誇大妄想のきらいがある電波系」と誹謗中傷しているコメントについては、記事主もQiita運営もまるで反応しなかったのに、誹謗中傷、個人攻撃ヘイト良くないというお叱りコメントがあったら反応しだして、びっくりするのが、

「万能感・誇大妄想のきらいがある電波系」は温存したまま、反論コメントや、誹謗中傷を咎めるコメントけがまるまる削除されてしまった。

http://kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html

には、誹謗中傷は見当たらないし、それならまず「万能感・誇大妄想のきらいがある電波系」と誹謗中傷しているほうのSaitohMDMA_Loveのコメントが消されてしかるべきだと思うんだが、いったいどういう運営判断なんだろう?

もちろん、このブログ記事の筆者が、過去Qiitaトラブルになったことも知ってるが、そのときアンチ誹謗中傷コメントふくめ全部Qiitaは温存したまんまなんだよね。

ちなみに、そのときQiita運営に消されたのはkenokabe氏を擁護アンチ誹謗中傷行為を咎めたコメントのみで、これらは全部真っ当な技術的な議論をするコメントだった。もちろん俺自身も含めて見ている人は参考になる情報だったと思う。

その一方でQiita運営は、茶化したり個人攻撃しかしていないコメントは完全放置で温存したまま。今も探したら見れると思うけど。

2chスレも知ってるけど、酷い有様だし、一部ではQiita社員も加担しているという書き込みすらある。もちろんアンチは「完全勝利」だの「Qiita騒動最初から俺が書いた絵」だとか言ってマッチポンプ自慢してはしゃいでる。

Qiita中の人もこの状況は知らないわけじゃないとは思うんだよね。

それどころか、これひょっとしてQiita運営グルになって誹謗中傷に加担してないか? そうじゃないと

>その方は万能感・誇大妄想のきらいがある電波系として別の意味で有名な人ですよ。

その他、過去アンチ誹謗中傷コメントはまるまる温存してるとかいダブスタ説明できないんだよなあ。

と書いているうちに、こんな茶化しコメントがまた・・・

----------------------------------------------------------------------------------

wgt_cosmos

0 contribution 

なんにもできな~い

なんにもできな~い

すぐ消されて

なんにもできな~い

----------------------------------------------------------------------------------

こういうのはQiitaは見てみぬふりなんだよなあ。迷惑なんですけど。

追記)メール通知によると、

----------------------------------------------------------------------------------

オブジェクト指向関数型は対立していますか?」について権威論証のきらいがありますし、

関数型プログラミングオブジェクト指向パラダイムとしての対立 国内の【自称関数コミュニティ海外論調の違いというブログ記事

http://kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html

では、

以下が広く一般的国際的な【「関数型言語」に関する一般的説明】です。

として、正反対見解提示されています。ご参考までに。

@SaitohMDMA_Love 私が示したのは見解なので。そのような中傷行為や個人攻撃、悪意が見て取れる属人性の主張をしながら、その論者による見解否定する試みは、属人論法であり権威論証だと言えます。(蛇足ですが、MDMAというのは違法薬物なので中傷行為同等に良俗に反するHNだとも思います)

ちなみに当コメントが消される現象および、上記複数不適切コメントが消されない不可解な現象については、某所で話題にもなっているとお知らせいただきました。

Qiitaコメントすると消される不思議コメント発見

http://b.hatena.ne.jp/entry/anond.hatelabo.jp/20160226093209

----------------------------------------------------------------------------------

というコメントがあった。その直後、Qiitaは、このアカウントを停止してしまった。

いやーQiitaはこの辺必死ですね。

あとから見た人は確かに、この投稿主がなにか「荒らし行為」や「悪い投稿」をしたからこんな結果になると思うだろうけど、実際の投稿は上記のように無害どころか情報として有益もので、さら誹謗中傷行為を咎めるもの

残ったのは、2つの変なコメントと、

The user qualification of the comment's author is cancelled.

という文字

こんなことをして喜ぶのは2chスレブコメに湧いてる偏執的なアンチだけだと思うんだよなあ。あとは、間違ってると批判されてる記事主の住井氏と取り巻き

ちなみに、このQiitaが「闇堕ち」しているとか言われている評価については、ブコメに湧いてる偏執的なアンチによって擁護されてる。

誹謗中傷ヘイトアンチも関心がない「普通のひと」にとっては、単純に有益情報が損なわれて、変な界隈がはびこるようなコミュニティになってしまっているだけ。

正確性が要求される技術情報サイトがそんな変な状態になってるのに、そんな変な状態が好都合な変な連中に擁護されてメンツを保つQiita現在を「闇堕ち」と言われてるんだけどね。

結果を見ると、Qiita運営グルになって誹謗中傷に加担していると思う。

ブコメ

>この投稿した奴は、kenokabe本人か、最低でも「削除された」投稿投稿者。そうでなきゃ、「メール通知」でコメントを把握できるのは、あのエントリ投稿したことのある人物だけ。

またやってるよ。はじまった。推論は間違い。理由

しか

関数型言語」に関するFAQ形式一般的説明

http://qiita.com/esumii/items/ec589d138e72e22ea97e#comment-0bad8d4aabf92ec70352

コメントしましたけど?

でもこの記事コメントしたのは、kenokabe氏本人(いつもの偏執狂による認定決めつけ?)か、(最低でも)「削除された」投稿投稿者 だけなの?(笑)何人もいるのにね。

ひとりひとりにあなたですか?って確かめてみたら?もちろん俺はここで匿名投稿したわけなので、聞かれてもしらばっくれるか答えないけどね。Qiitaでこういう人に目つけられて同じように偏執的につきまとわれるのは嫌だから

2016-02-21

業務で使うScala

ってどうなん?

印象としては、Java資産も使えるし関数型っぽくも書ける夢の言語って感じなんだけど

ガッツリ使ってる人が身の回りにいないもんで、使ってる人の感想が聞いてみたい。

Haskellライクに純粋関数型言語っぽく使ってるScala現場って某社くらいしか無いんじゃねえの、

とかとか、そんなあたりのぶっちゃけ話があるでしょ皆さん。

2016-02-01

http://anond.hatelabo.jp/20160201085329

僕の記憶が正しいのならば、Qiitaってのは関数型言語に関する話をカーマスートラないしカバラが如くオカルトチックに語る場として機能している所のはずだが。

プログラミングの話なんか、ホンマにあそこでされてるんか?

ログイン ユーザー登録
ようこそ ゲスト さん