【アンチ】関数型言語は使えない【玩具】２

**デフォルトの名無しさん** · 2012/02/28(火) 20:45:47.95

前スレ
http://toro.2ch.net/test/read.cgi/tech/1320743217/

**デフォルトの名無しさん** · 2013/09/03(火) 18:02:29.25

>>452
>関数だけでなく、逐次実行と状態書き換えを導入しなければ使い物にならない。
いくら抽象的に書こうが実行できなければ使い物にならない、
と言ってるぐらい当たり前の話すぎてどう反応したらいいか。

**デフォルトの名無しさん** · 2013/09/03(火) 18:42:50.03

IO型があるのは、単にプリミティブ型とボックス型を厳密に区別してるのとたいして変わらないのに、
モナドモナドモナドー、って叫んじゃうのが初心者なんだよねw

**デフォルトの名無しさん** · 2013/09/03(火) 18:44:40.59

>>452
その通りだよ
いわゆる「関数型言語」は、言語全体を見て初めて便利なのであって、
関数プログラミングはできることの一つでしかない

**デフォルトの名無しさん** · 2013/09/04(水) 04:40:23.07

>>453
実行メカニズムと言語表現の区別ぐらいつくようになってから出直してくださいまし。

**デフォルトの名無しさん** · 2013/09/04(水) 07:05:14.29

>>454
全然違う

**デフォルトの名無しさん** · 2013/09/04(水) 23:24:13.96

>>456
どういう意味だよ。現実に書けるだろ。

レスそれ自体は要求した事を行わなければ、
要求を満たす事はできないっていう言葉遊びだ。
無理な前提を想定して適用してるのだから無理に決まってる。

プログラムの実行を考えない実用性を含むなら、
定理証明支援系という使い道もあるから間違い。

**デフォルトの名無しさん** · 2013/09/05(木) 01:50:32.92

俺的には関数型とかどうでもいいけど副作用の制限は制御したい

**デフォルトの名無しさん** · 2013/09/05(木) 01:59:36.31

結局関数プログラミングとかは方法であって目的ではない
これに尽きる
目的にすり替わってしまったら、そりゃダメだろ

**デフォルトの名無しさん** · 2013/09/05(木) 02:10:37.52

とりあえずjavaつかって
関数型プログラミングしたいところだけラムダ式だのなんだの使ってそれっぽくやればそれでいいじゃん。
最初から関数型言語を使う意義なんて無いね。

**デフォルトの名無しさん** · 2013/09/05(木) 05:03:35.90

>>458
わからないんならいいよ。プログラミング言語意味論でも勉強して出直してきなw

**デフォルトの名無しさん** · 2013/09/05(木) 13:04:21.73

>>462
言葉で飾るだけ飾ってるが一つも中身を語ってないな。
こんな阿呆に構った俺が馬鹿だった。

**デフォルトの名無しさん** · 2013/09/05(木) 16:45:39.95

自分のレベルが果てしなく下であることがわからない奴ってたまにいるよなw

**デフォルトの名無しさん** · 2013/09/05(木) 17:12:08.22

なんだこりゃ単語の関連の重みで文章を作成し無意味なことを言っている人工無能みたいな奴がいるw

**デフォルトの名無しさん** · 2013/09/05(木) 17:33:42.12

> 関数型プログラミングしたいところだけラムダ式だのなんだの使ってそれっぽくやればそれでいいじゃん。
> 最初から関数型言語を使う意義なんて無いね。

MLなりHaskellなり、現代において普通に「関数型言語」だと認められるものも全く知らないことが丸出しw

**デフォルトの名無しさん** · 2013/09/06(金) 03:04:27.46

リストと高階関数を使うことを関数型プログラミングと思ってる奴は多いな

**デフォルトの名無しさん** · 2013/09/06(金) 08:10:18.30

えっ？lリストって関数型にしか無いの？
配列は？タプルは？ストリームは？

**デフォルトの名無しさん** · 2013/09/06(金) 09:45:16.04

批判はしても具体的な主張はしない。
それが２ちゃんねらー

**デフォルトの名無しさん** · 2013/09/06(金) 09:53:28.43

具体的に主張したら論破されちゃうからな
批判だけしていれば致命的に論破される可能性は低くなる

**デフォルトの名無しさん** · 2013/09/06(金) 12:04:47.07

例えるなら文系（命令型）社長が
理系（関数型）社員を使いこなせてない状況に似てる

理系社長だと
理系社員で固めるから
そもそも使えないと言う評価が存在しなくなるしな

**デフォルトの名無しさん** · 2013/09/06(金) 12:57:55.41

命令型が好きな奴は
仕様書の命令に従うのもお手の物

俺は命令するのもされるのも嫌いだ

**デフォルトの名無しさん** · 2013/09/06(金) 13:15:25.15

２ちゃんねら(レス) : 批判
=> ...

**デフォルトの名無しさん** · 2013/09/06(金) 13:19:40.75

所属 = function
　| 批判 -> ２ちゃんねら
　| _ -> 一般

**デフォルトの名無しさん** · 2013/09/06(金) 17:48:37.59

文系理系って馬鹿だろｗ

**デフォルトの名無しさん** · 2013/09/06(金) 19:43:09.98

この世は文系理系じゃなく体育会系とその他で分かれてるからな

**デフォルトの名無しさん** · 2013/09/07(土) 05:40:06.35

このスレの流れでは
非関数型＝手続き型＝命令型＝体育会系型
ってことかね。

**デフォルトの名無しさん** · 2013/09/07(土) 06:48:28.75

そう思ってる関数型の人は多いよね。

**デフォルトの名無しさん** · 2013/09/12(木) 16:20:46.29

文系と理系というより自民と民主だな
関数型言語は20年くらい前の民主

現政権の手続き（命令）型言語には嫌なところがたくさんあるが実稼働してるという実績があり
なにより関数型言語のいいところを貪欲に取り入れるという動きもあり好印象
関数型言語はお花畑気分が抜けずチャンス与えるのすら怖い
って感じ

むしろ共産党か

**デフォルトの名無しさん** · 2013/09/12(木) 16:27:15.89

出発点のLISPは共産主義者が作ったしな

**デフォルトの名無しさん** · 2013/09/12(木) 16:28:16.68

手続き型はそのうち取り返しのつかない事をやってしまう
原発は安全です（ｷﾘｯみたいなｗ

**デフォルトの名無しさん** · 2013/09/12(木) 16:54:54.84

それに比べて関数型は核融合炉のように安全

**デフォルトの名無しさん** · 2013/09/13(金) 18:12:18.29

>>435
javaやPHPなんて仕事があるから選ぶだけで、日曜プログラマこそ関数型言語を使うべきだよ

**デフォルトの名無しさん** · 2013/09/13(金) 18:51:54.73

>>483
だよな
何が楽しくてjavaやるのかわからん
マゾかな？

**デフォルトの名無しさん** · 2013/09/13(金) 19:04:33.60

>>483-484
どの言語でどんなソフトウェアを作ってるのかも知らずに関数型を押し付けてる時点で
お前らが厨二病患ってるだけの素人だってわかるよ

**デフォルトの名無しさん** · 2013/09/13(金) 19:09:08.90

素人とかそりゃそうだろｗ
サンデープログラマーなんだから
流石、手続き型は論理的でない馬鹿な事を言う

**デフォルトの名無しさん** · 2013/09/13(金) 19:11:44.12

えっ

**デフォルトの名無しさん** · 2013/09/13(金) 19:25:45.86

Javaは関数型言語だろ
ラムダ式あるし

**デフォルトの名無しさん** · 2013/09/13(金) 19:34:57.88

ググったらマジだったｗ
javaも関数型の軍門に下ったか

**デフォルトの名無しさん** · 2013/09/13(金) 20:14:10.24

リリースもされてないものを何言ってるんだ

**デフォルトの名無しさん** · 2013/09/13(金) 20:44:05.01

Javaのはラムダと言ってもかなり制限されてるからな

**デフォルトの名無しさん** · 2013/09/13(金) 22:43:53.45

>>491
ラムダありゃいいってもんじゃねーだろw

**デフォルトの名無しさん** · 2013/09/14(土) 01:06:39.03

>>488
素の状態では変数の書き換えが出来ないのが関数型言語だと思うの
ごにょごにょすれば、関数型言語でも書き換えが出来るけど、手続き型よりは手軽じゃないって意味で

**デフォルトの名無しさん** · 2013/09/14(土) 06:58:59.93

お前ら向きの最強言語教えてやるよ。Dだ。

**デフォルトの名無しさん** · 2013/09/14(土) 08:01:42.47

「その辺の言語のよさそうな機能をぜんぶ集めてみました」みたいな言語って
美意識のカケラもないと思うの。

**デフォルトの名無しさん** · 2013/09/14(土) 09:26:02.00

>>495
なんでそこだけオカマ口調なんだ

**デフォルトの名無しさん** · 2013/09/14(土) 21:07:22.00

フフフ、いいわね、子どもって
あたしにもそんな純粋な頃があったわ

**デフォルトの名無しさん** · 2013/09/15(日) 11:31:04.95

グフフ、いいわね、子どもって

**デフォルトの名無しさん** · 2013/10/25(金) 17:49:17.08

生産性100倍スレがブレイクしてんな
こっちも盛り上げようぜｗｗｗ

**499** · 2013/10/25(金) 17:50:06.58

>>498 >>499
この間に1スレ消化してるからなあっち

**デフォルトの名無しさん** · 2013/10/25(金) 18:42:45.06

煽り力が足りない

**デフォルトの名無しさん** · 2013/10/26(土) 17:05:44.89

age

**デフォルトの名無しさん** · 2013/10/26(土) 20:34:14.04

生産性100倍スレはpart1が
2013年の3月に立って756まで一気に消化。そこそこのヒットスレではあった。

そこから伸びが鈍化してたが
10月になって837からまた急に伸びだしそのまま1000。
そして勢いはとどまらずpart2をまるまる消化。
いまいちきっかけがよくわからん
暇があったらまとめてみるか

**デフォルトの名無しさん** · 2013/10/26(土) 20:35:04.98

対となるこのスレももっと盛り上げないとバランスとれない

**デフォルトの名無しさん** · 2013/10/26(土) 20:55:20.40

俺、いつも上げるだろ、
そこから顔真っ赤にした戦いが始まるんだよ。
戦いはいらないから、俺の書き込みにレスしろって話。
何勝手に戦っちゃってんの。
あと、夜中に盛り上がるのやめてくれる？
勝手に盛り上がるなら次の日まで続けろよな。

**デフォルトの名無しさん** · 2013/10/26(土) 21:21:05.36

コンパクトな六尺コピペかと思った

**デフォルトの名無しさん** · 2013/10/26(土) 21:42:47.70

イイエ違います。
魂の叫びです。

**宇宙人** · 2013/10/26(土) 22:21:30.05

宇宙人だけど何か質問ある？

**デフォルトの名無しさん** · 2013/10/26(土) 22:36:42.91

宇宙のどこ出身？

**宇宙人** · 2013/10/26(土) 22:56:16.49

>>509
地球

**デフォルトの名無しさん** · 2013/10/26(土) 22:58:28.55

足のサイズ何インチ？

これ三個の質問で個人を特定するメソッドだけどいい？

**宇宙人** · 2013/10/26(土) 23:06:17.27

>>511
26.5

**宇宙人** · 2013/10/26(土) 23:12:18.66

つうか板違いな質問はご遠慮願います。

**デフォルトの名無しさん** · 2013/10/26(土) 23:23:29.46

673.1㎝ってことだよね？

**デフォルトの名無しさん** · 2013/10/27(日) 00:01:11.69

足のサイズと行ったら足の長さのことに決ってるよな

**宇宙人** · 2013/10/27(日) 00:10:20.14

26.5*2^-60光年

**デフォルトの名無しさん** · 2013/10/27(日) 06:21:27.15

あっちのスレは
動的型付き言語派のほうが静的型付けをよく知っている奴が多い
という冗談みたいなスレだから。
TAPLも読んでないJaverに静的型付けを語られても迷惑なんだよ。

**デフォルトの名無しさん** · 2013/10/27(日) 14:33:58.10

関数型言語のエッセンスのいいとこ取りしてあとはポイすればいいということだが
根幹の静的型づけというのがどうにもならないのでそれは無理だということだろう

**デフォルトの名無しさん** · 2013/10/27(日) 16:01:39.26

>>517
こんなところで愚痴ってないで率直に反論しろよｗ負け犬ｗ

**デフォルトの名無しさん** · 2013/10/27(日) 16:13:01.48

あのスレの負け犬はJS馬鹿だろ

**デフォルトの名無しさん** · 2013/10/27(日) 16:32:00.52

>>519
こんなところで愚痴っていないで、素直に
「Null値のデータ型は何か？」
について答えてみろよw負け犬w

◆QZaw55cn4c · 2013/10/27(日) 16:36:11.93

いや動的型付け言語でも別にかまわないけど
option explicit
はほしい、通さないと typo がわからないとか勘弁

**宇宙人** · 2013/10/27(日) 17:07:11.80

nullは型不明だろ。premitive以外の型というのが地球では普通の認識だろ。
宇宙ではnullは連結リストの末尾型として定義される。

**宇宙人** · 2013/10/27(日) 17:09:33.32

CやC++ではnullは0という数値だけどこれはどうかと思う。

◆QZaw55cn4c · 2013/10/27(日) 17:24:09.31

>>524
必要なとき(C/C++いずれにもある）には (void *)0 とキャストして型情報を附し無問題
C/C++は静的片付けだしオールマイティは無理なのでは？

**デフォルトの名無しさん** · 2013/10/27(日) 17:45:38.86

地球ではnullやnilの語源は無だから0ってことになっているけど
宇宙では0である必然性はなくてアドレス0にあるオブジェクトの機能は無しとも考えられる
宇宙では「無」ではなくリンクリストの末尾型オブジェクトとして定義されている。
Cでは
while(a!=NULL){...}を
while(a){...}と簡略化できた記憶があるが、while(ゼロ以外)ということだろう
そういう便利さがあるから0ってことになってるけど、
while構文自体が無い宇宙では別の認識になる。

**デフォルトの名無しさん** · 2013/10/28(月) 00:14:18.55

過去の遺産などは捨ててしまおうホトトギス
作りなおせばいい

**デフォルトの名無しさん** · 2013/10/28(月) 09:39:26.52

>>521
型なんて無いだろバーカ

**デフォルトの名無しさん** · 2013/10/28(月) 13:59:01.15

c++ではstd::nullptr_tっていう型

**デフォルトの名無しさん** · 2013/10/28(月) 15:40:52.29

それ定義が逆やから。

**デフォルトの名無しさん** · 2013/10/28(月) 16:50:51.61

>>528
知らないんだね。かわいそうに。

**デフォルトの名無しさん** · 2013/10/28(月) 17:05:29.03

>>531
ではどの言語でも通じる一般的なnullの型をどうぞ。

**デフォルトの名無しさん** · 2013/10/28(月) 17:57:43.96

言語により名前は変わるけど、どれもbottom typeだな。

**デフォルトの名無しさん** · 2013/10/28(月) 19:44:46.56

>>533
nullは値があるからbottom typeではない。
ではどの言語でも通じる一般的なnullの型をどうぞ。

**デフォルトの名無しさん** · 2013/10/28(月) 20:17:35.28

ああ、正確にはBotだな。

**デフォルトの名無しさん** · 2013/10/28(月) 21:08:22.67

nullの型って、
[a] -> Bool
とか、
(FUNCTION (T) BOOLEAN)
とかじゃないの

**デフォルトの名無しさん** · 2013/10/29(火) 00:34:50.15

はいはい部外者は黙ってね

**デフォルトの名無しさん** · 2013/10/29(火) 00:41:00.30

boolは型を持たない値だろ
言語によっては0でもあるんだろ

**デフォルトの名無しさん** · 2013/10/29(火) 19:13:28.77

nullって直積でどうやって定義する？

**デフォルトの名無しさん** · 2013/10/29(火) 20:00:00.88

希望を持てるのは羨ましい

**デフォルトの名無しさん** · 2013/10/29(火) 20:32:20.36

>>538
だからnullはPierceのBotだって言ってるのに

**デフォルトの名無しさん** · 2013/10/30(水) 00:31:14.65

nullはNull型だろ？

**デフォルトの名無しさん** · 2013/10/30(水) 16:37:49.76

実務関係なしに、未知の展望を語るのは楽しいからな

**デフォルトの名無しさん** · 2013/11/01(金) 04:45:46.28

実務（爆笑）

**デフォルトの名無しさん** · 2013/11/01(金) 05:29:24.78

>>543
こういうこと言うやつってプライドが無駄に高いから分からないことがあっても人に聞かず、
知識はあっても実際のプログラミング能力がプライドほど高くないからソースが書けない
職場にいたら迷惑な存在だよな

**デフォルトの名無しさん** · 2013/11/01(金) 14:08:45.76

ライブラリが一向にそろわないから使えない

**デフォルトの名無しさん** · 2013/11/01(金) 16:44:20.90

プログラミングなんて知識があれば能力高いだろ
勉強をおろそかにして糞ソース量産してる奴のが多いわ

**デフォルトの名無しさん** · 2013/11/01(金) 21:07:10.21

勉強ｗ

**デフォルトの名無しさん** · 2013/11/01(金) 21:29:54.78

>>547
言ってる意味がわからない

**デフォルトの名無しさん** · 2013/11/01(金) 21:39:32.80

>>545
ジャバ入門は読み終わったか？

**デフォルトの名無しさん** · 2013/11/01(金) 21:55:41.49

ラムダってムダだと思うんだ。

**デフォルトの名無しさん** · 2013/11/02(土) 04:47:30.92

>>548
笑ってる時点で向いてない

>>549
普段から新しい効率の良い方法を得ることを考えず、
経験だけ積むだけで学んだ気になる馬鹿がどれだけ多いか

**デフォルトの名無しさん** · 2013/11/02(土) 09:01:45.88

>>552
日本語まず勉強しろよ…
元の、そういう意味だと理解できんぞ

【アンチ】関数型言語は使えない【玩具】 ２

【アンチ】関数型言語は使えない【玩具】２