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

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

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

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

ラムダこりゃ

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

よーし次いってみよう

**デフォルトの名無しさん** · 2013/11/02(土) 10:07:07.96

>>554
プログラミングなんて…簡単だろならともかく、プログラミングなんて…能力高いとかイミフ。

**デフォルトの名無しさん** · 2013/11/02(土) 10:55:12.26

>>552ｗ

**デフォルトの名無しさん** · 2013/11/03(日) 01:04:10.99

SICPやその他の本で散々「技工じゃなくて科学だぞ」と啓蒙してても、
職業マの大半はこの程度の認識だからな

ま、経験的技能だと思ってる馬鹿はそのうち入り口すら入れなくなるだろ

**デフォルトの名無しさん** · 2013/11/03(日) 01:27:04.85

>>563ｗ

**デフォルトの名無しさん** · 2013/11/03(日) 02:16:36.36

まあ本当にそうなるとしたらプログラマー人口が数百分の１に激減した時代だろう

**デフォルトの名無しさん** · 2013/11/03(日) 06:56:36.02

>>563
科学にも経験が必要だということも知らないわけ？なんともはや…

**デフォルトの名無しさん** · 2013/11/04(月) 23:30:33.38

ライブラリはよ

**デフォルトの名無しさん** · 2013/11/04(月) 23:33:15.43

？

**デフォルトの名無しさん** · 2013/11/05(火) 08:13:34.62

>>552
効率w

**デフォルトの名無しさん** · NG

http://rfi.a.la9.jp/sateweb/scurl/znsc.html
お世話になります。
私、責任者の加茂と申します。以後、宜しくお願い致します。
http://www.karilun.com/img_shop/15/ss52_1368685958.jpg
浪速建設様の見解と致しましては、メールによる対応に関しましては
受付しないということで、当初より返信を行っていないようで、今後につい
てもメールや書面での対応は致しかねるというお答えでした。
　
このように現在まで６通のメールを送られたとのことですが、結果一度も
返信がないとう状況になっています。
　
私どものほうでも現在までのメール履歴は随時削除を致しております
ので実際に１１通のメールを頂戴しているか不明なところであります。
　
弊社としましても今後メールでのやり取りを差し控えたく、浪速建設様
と同行の上でお会いさせていただきたい所存です。
http://rfi.a.la9.jp/hn203/set/Avatar_set/Avatar_set.html

**デフォルトの名無しさん** · 2013/11/07(木) 19:15:20.31

haskellでperl6が作られて話題になったことがあったが
今考えればあれは何だったのか？
狐に包まれたように思うのだ

**デフォルトの名無しさん** · 2013/11/07(木) 20:27:59.89

狐に包まれるって一定数あるのか
つままれるしか出会ったことなかったが

**デフォルトの名無しさん** · 2013/11/07(木) 20:42:44.73

狐煮つつままれもん

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

haskellで書いたら10年以上経っても完成せず放置、という壮大なネタか。

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

ageちん

**デフォルトの名無しさん** · 2013/12/10(火) 06:40:19.22

勉強とか言うのって、どうでも良いFrameworkやAPIレベルの使い捨て土方だろw
プログラマって、OSやコンパイラ、ゲーム、論理パズル的なものを解く連中だって

**デフォルトの名無しさん** · 2013/12/10(火) 06:44:15.52

>>563
ロボティクス用のApplicationがあるとかでpythonに移行してなかった？
おまけに、Railsを教える始末。
lispでgimpを書いてた時代の方が、遥かに高度なことしてる印象。

**デフォルトの名無しさん** · 2013/12/10(火) 06:47:58.94

>>547
実際にコード書いて言えよバーカ
知識詰め込むだけ上手くいくわけねーだろ
試行錯誤繰り返してる過程で、はじめて身に付くのに

**デフォルトの名無しさん** · 2013/12/10(火) 09:51:19.74

>>577
gimpってlispで書かれてたの？
CAD系で使ってたのは良く聞くけど、それももう置き換えられたよね。

lispでgimpを書いてた時代とやらよりも、現在の方がずっと高度なアプリが多いよね。
そのギャップについて考えてみたら？

**デフォルトの名無しさん** · 2013/12/13(金) 01:05:55.64

>>579
今でもgimpの一部はlispだと思う。
プラグインはlisp（の一種）で書けるし。

**デフォルトの名無しさん** · 2014/02/25(火) 11:56:03.68

関数型とLambda expressionって、
関係あるのでしょうか？＿・

**デフォルトの名無しさん** · 2014/02/25(火) 21:19:28.36

関数を引数として渡せないと関数型で無いような・・・

**デフォルトの名無しさん** · 2014/02/26(水) 09:51:20.68

あ、関数型言語ってのは、関数を引数で渡せるのね。
ウィキ読んでも、ＩＴニュースサイト読んでも分からなかった。。。

Lambda expressionてのは、中途半端な引数表現であって、関数型言語には不要となる？＿？

**デフォルトの名無しさん** · 2014/02/26(水) 09:53:15.70

＞Lisp VS 関数型言語

という優位性の戦い的にはどうなのでしょう？

**デフォルトの名無しさん** · 2014/02/26(水) 10:21:14.32

>>583
その理解不十分だから(´･_･`)

**デフォルトの名無しさん** · 2014/02/26(水) 11:04:45.61

Haskellにラムダ式があるというのに...ラムダ式が中途半端であるものか。

あと、関数がファーストクラス、という表現がよく使われるけど、
プログラミング言語において、ファーストクラスである、と言った場合、
・変数の値にできる
・関数の引数にできる
・関数がその値を返すことができる
の全部を満たすものを言う。

**デフォルトの名無しさん** · 2014/02/26(水) 11:10:24.04

λ式リテラルがない純粋関数型言語もあるから半端といえば半端だな。

**デフォルトの名無しさん** · 2014/02/26(水) 12:21:14.62

SKIのこと？

**デフォルトの名無しさん** · 2015/02/28(土) 17:01:13.96

>>517
あっちのスレってどこ？

**デフォルトの名無しさん** · 2015/03/01(日) 07:18:55.48

「TaPLも読んでないJaver」などと決めつけているのを見ると
関数バカは妄想世界の住民だということがよくわかる。

**デフォルトの名無しさん** · 2015/03/01(日) 07:22:00.52

関数バカはJavaを敵性言語にしたがるけど
Javaは静的型付言語だし関数プログラミングもできるという罠。

**デフォルトの名無しさん** · 2015/03/01(日) 07:24:09.27

Javaを身内と認めるには意識高いエリート意識が邪魔をするｗ

**デフォルトの名無しさん** · 2015/03/02(月) 13:29:46.42

自己紹介3連投乙wwww

**デフォルトの名無しさん** · 2015/03/08(日) 17:02:57.91

>>586みたいなバカ信者がHaskellをバカ言語にするｗ

**デフォルトの名無しさん** · 2015/03/31(火) 12:46:01.35

LISPもHaskellもバカはお断りだもん
最近LISPの罠？からHaskellがなぜ理解できないかやっと理解できた
基本HaskellもLISPの構文糖衣でLISTの構造を認識しながら
LISPなりHaskellなりでプログラムを組めない奴は
複雑なプログラムをLISPやHaskellで組めないし読んで理解することも難しい
一言で言うオレはバカと言うことが理解できた
罠と言うとシンプルなLIST構造を処理するプログラムが例に上がるけど
現実はシンプルなLIST？何それだろ

**デフォルトの名無しさん** · 2015/04/04(土) 13:14:22.44

>>595
案に Computer Science 向けだと言いたいのか。
もしそうなら、お前さんの言う「バカお断わり」ということはないと思う。
教科書や入門書はたくさんある。

お前さんは、むしろ、独学でプログラムを学べたのだろうからすごいと思うがどうだろうか。

**デフォルトの名無しさん** · 2015/04/04(土) 16:42:50.74

はぁ？
schemeなんて、エディタの使い方を覚えながら最初に学ぶ言語だぞ

**デフォルトの名無しさん** · 2015/04/08(水) 12:14:56.80

２ちゃんねるの「なんちゃって関数型クラスタ」ども、これ読んで学び直せ

悔しかったらおまえらも本を出してみな？

http://www.amazon.co.jp/dp/4798043761

**デフォルトの名無しさん** · 2015/04/09(木) 00:32:21.40

毒電波www

**デフォルトの名無しさん** · 2015/10/06(火) 17:35:00.47

大人の玩具なんだよなあ・・・

**デフォルトの名無しさん** · 2016/01/16(土) 21:03:20.30

>>598
このラノベどうなったの？

**デフォルトの名無しさん** · 2016/01/17(日) 08:20:41.94

>>601
版元品切れ再販せず電子化せず、でこのまま消滅の流れ。
めでたしめでたし。

**デフォルトの名無しさん** · 2016/01/17(日) 09:37:47.38

あんな糞本売り切ったのかよ毛の壁ｗｗｗｗｗｗ商売巧いなぁ

**デフォルトの名無しさん** · 2016/05/01(日) 17:03:07.87

匿名通信（Tor、i2p等）ができるファイル共有ソフトBitComet（ビットコメット）みたいな、
BitTorrentがオープンソースで開発されています

言語は何でも大丈夫だそうなので、P2P書きたい！って人居ませんか？

Covenantの作者（Lyrise）がそういう人と話したいそうなので、よろしければツイートお願いします
https://twitter.com/Lyrise_al

ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーｗ

The Covenant Project
概要

Covenantは、純粋P2Pのファイル共有ソフトです

目的

インターネットにおける権力による抑圧を排除することが最終的な目標です。そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します

特徴

Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)

接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
１う

**デフォルトの名無しさん** · 2016/05/11(水) 12:18:41.22

ドカタ以下の素人なんですが
式を並べてる時点で手続き要素はあるわけですよね？
単体のロジックは洗練されて(理解出来ないけどw)書けるみたいですが
手続き要素を効率的に扱うには向かない言語って事なんでしょうか？

**デフォルトの名無しさん** · 2016/05/11(水) 13:44:24.99

関数型だと向かない手続き型の記述って何かあるかね？

**デフォルトの名無しさん** · 2016/05/11(水) 16:45:01.39

>>605
モナド！モナド！

**デフォルトの名無しさん** · 2016/05/11(水) 19:33:00.70

>>606
値の破壊的操作とか？

**デフォルトの名無しさん** · 2016/05/11(水) 22:25:17.30

>>608
えーと、純粋なら出来ないんだから記述もクソもないわな？
純粋でないならいくらでも好きにしろ

**デフォルトの名無しさん** · 2016/05/12(木) 12:45:56.31

ゲームみたいに状態遷移が中心のプログラムだと書けるのは書けるんだろうけど
あんまメリットが少ない気がする

数学シミュレータみたいな印象受けるんだけど、数学苦手だと全体の見通しが非常に難しいよコレw

**デフォルトの名無しさん** · 2016/05/12(木) 13:22:05.98

参照透明性の利点が分からないんだったらもういいんじゃねーの？
好きなだけバグだらけのもの書いてればいいじゃん
どうせその辺は自分で体験しないと頭で想像できないバカにはいくら言っても伝わらん

**デフォルトの名無しさん** · 2016/05/12(木) 14:03:54.38

きちんと組めれば透明性が有利なんだろうけど
きちんと間違った動作のプログラム組んじゃいそうだよ

**デフォルトの名無しさん** · 2016/05/12(木) 21:17:01.69

馬鹿はOOPやってれば良いだろ・・・と言いたいところだけど、次世代の言語は
Haskell一択になるからね。
馬鹿でも使えないといけない。
使えるようにならなければ廃業するしかない。

**デフォルトの名無しさん** · 2016/05/12(木) 22:52:47.25

純粋な関数型言語でも破壊的操作できるしな
Strefとか

**デフォルトの名無しさん** · 2016/05/12(木) 23:10:15.34

>>614
それは純粋…なのか？

**デフォルトの名無しさん** · 2016/05/13(金) 00:06:04.14

STRefやSTArrayを使ってもIOと同じく純粋なんじゃない？
unafePerformIoは流石に純粋な関数じゃないけど

**デフォルトの名無しさん** · 2016/09/02(金) 11:30:53.61

純粋てそんなに大事か？

**デフォルトの名無しさん** · 2016/09/07(水) 03:49:40.44

関数型に習熟する程、コードが難読暗号化していくんだよね
結局、人間の脳の思考は手続き型なので、相容れない

**デフォルトの名無しさん** · 2016/09/07(水) 08:57:13.44

文系バカは黙ってろよ

**デフォルトの名無しさん** · 2016/09/07(水) 11:54:58.12

バカでもつかえる言語がいい

**デフォルトの名無しさん** · 2016/09/07(水) 13:38:27.31

状態のある関数を避けようとしても結局最後には必要になるんだよな

**デフォルトの名無しさん** · 2016/09/07(水) 14:11:30.18

関数型は状態を扱う箇所を局所化しやすいだけでそりゃ状態はどっかで扱うよ

**デフォルトの名無しさん** · 2016/09/07(水) 16:43:13.31

純粋関数支持者は理想の世界だけで生きててなかなかそこから抜け出さないんだよな
現実のどろどろした世界は一切触れようとせず、最後の最後でどうしても必要に
なると初めて触れるんだよ

**デフォルトの名無しさん** · 2016/09/08(木) 00:39:46.00

4年前のスレか
まだ生きてるのか

**デフォルトの名無しさん** · 2016/09/08(木) 00:40:58.48

>>581や>>583はtanakhか？

**デフォルトの名無しさん** · 2016/09/08(木) 01:09:27.51

>>623
それでアプリ動くならいいんじゃねーの

**デフォルトの名無しさん** · 2016/09/09(金) 21:09:27.70

逃げてるからいざさわると不自然になる

**デフォルトの名無しさん** · 2016/09/10(土) 18:41:34.87

モナドが汚い部分を全部吸ってくれる
空気清浄機のフィルター的な存在

**デフォルトの名無しさん** · 2016/09/10(土) 20:15:01.99

クソが詰まってる感じ？

**デフォルトの名無しさん** · 2016/09/19(月) 10:59:05.14

聳え立つ糞
mtl

**デフォルトの名無しさん** · 2016/11/15(火) 20:14:40.42

たまにコンビニでモナド買って食べたくなるよな。

**デフォルトの名無しさん** · 2016/11/17(木) 02:07:42.46

競技プログラミングの問題だとHaskellでエレガントに書ける場合が多い…気がする
現実の入出力の多いシステムの開発でどこまで役に立つかは知らん

**デフォルトの名無しさん** · 2016/11/17(木) 02:48:09.51

いや、競技プログラミングだと書きにくい。
最初の一問目だと条件緩いから良いんだけど、三問目くらいからかなりキツくなる
Haskellは油断するとオーダー滅茶苦茶嵩むので簡単にTLEするし、非道いときには想定解で実装してもギリギリ時間切れ喰らうこともある。
最悪なのはHaskellで最適化するのはかなりのウルトラCを要求され、超絶技巧コーディングを試験時間内に気づくのは困難を極める点。
競技プログラミングの条件はC言語で解くことを前提に作問されていて時間やメモリ使用制限が厳しい
Haskellでの参加者は大体前半までの正解者はいるが、後半の問題は提出者は僅かにいても正解者はほぼいない惨状
有名Haskellerでも競技プログラミングはC++で参加してるのが普通

**デフォルトの名無しさん** · 2016/11/17(木) 03:09:31.83

>>633
はぇ〜そうなのか
Haskellだと記述は楽なのだがそういう問題があったか
関数型言語は計算機の低レベルのアーキテクチャと大きくかけ離れてるから
同じコンパイラ型言語だと実行速度の最適化は手続き型言語に比べて限界があるのかもしれんな

**デフォルトの名無しさん** · 2016/11/17(木) 07:58:20.07

OCamlならいいんじゃね

**デフォルトの名無しさん** · 2016/11/18(金) 19:51:19.73

前スレの>>1の意見を見ると、商業主義に魂を売ってるのが分かる。
プログラミングの過程における新たな発見みたいな価値を全て
否定しているんだな。
玩具でもよくできた玩具ならそれだけで価値はある。
金になるかならないか考えるならプログラミングする必要はないし、
人を雇えばいい。他人にコードを書かせて一番儲かるプログラミング
方法を強制すればいいし、ほかには金を投資する事と営業する事だけを
考えればいい。
コンピュータ使って自分自身で何か作る必要ないじゃないか。

**デフォルトの名無しさん** · 2016/11/18(金) 20:13:59.76

>>633
>Haskellは油断するとオーダー滅茶苦茶嵩むので簡単にTLEするし、

これはない
定数部分が遅くなってもオーダーが間違ってるのはHaskellのせいじゃない

> 非道いときには想定解で実装してもギリギリ時間切れ喰らうこともある。

これはよくある

**デフォルトの名無しさん** · 2016/11/19(土) 14:19:16.69

Haskellはうっかり！！！プログラマのせい！！！で計算量を読み違えがちなので競技プログラミングには扱いにくい

参考
http://d.hatena.ne.jp/nishiohirokazu/touch/20100622/1277208908

**デフォルトの名無しさん** · 2016/11/19(土) 14:36:49.50

余再帰のコードは必然的に遅延評価絡みなので空間（ときどき時間）のオーダーを読み間違う
遅延評価ならではのコードを書かない限り気にする必要はない
あとは自己責任

**デフォルトの名無しさん** · 2016/11/19(土) 14:37:58.17

つうかそもそも競プロコード書いてるときに余再帰コード書くやつは根本的に色々間違ってるだろ

**デフォルトの名無しさん** · 2017/01/10(火) 22:20:35.26

そもそもHaskellは速いコード書く様な言語じゃないと思う。
reverse関数とかは配列と破壊的代入がある方が関数型の半分で済む。

ただ、手続き型より数学に近い言語だからコンピュータの仕組みが理解出来ない人にもプログラミング教えやすいとは思う。
(実際、変数に値を代入する(コピー)って感覚がわからない人はいた)

あと、参照透明だから、入力に依存しない関数はコンパイル時実行とか導入すれば速くなりそう。
去年知ったけど、いつの間にか普通の再帰が自動で末尾再帰最適化(ループへ変換)されてたから、Haskellもまだ最適化の余地は沢山あると思う。
(元々参照透明の強みは積極的な最適化だと言われてる)

今のHaskellみたいに並列処理に特別な関数や型を使うんじゃ無くて、普通に書いたらまんま並列処理できる様にもなって欲しい。
(参照透明の利点。ただ、効率的な並列がやりにくいとも)

それに、現行コンピュータのアーキテクチャから切り離されてるから、量子コンピュータとかにも使えそうとか、家にPCが無くても紙と鉛筆でプログラミング勉強しやすいってのはある。

**デフォルトの名無しさん** · 2017/01/11(水) 00:22:39.53

え、Haskellの実行速度、十分早いんじゃないの

**デフォルトの名無しさん** · 2017/01/11(水) 00:56:53.12

十分速いの定義が曖昧です

Java程度の速度は出ることが十分速いというのなら十分速いのでしょう
しかしC++/Cにはどうしても及びません

それから、この文脈のはやいは早いでなく速いがより適切です。

**デフォルトの名無しさん** · 2017/01/11(水) 01:30:51.23

とりあえず2chで誤字脱字の指摘はせんでえーよ。
変換間違えてもめんどいからそのまま書き込むし

**デフォルトの名無しさん** · 2017/01/11(水) 04:54:14.36

充分速いけど、手続き型よりコンピュータの特性活かしたコードにならないから。。。
単純に速さ求めるなら手続き型に敵わない。
保守性の高さとか、並列処理の書きやすさとかが関数型の利点。
万能だとは思わない方がいい。
(単純に関数型ならではの最適化を実装出来てないだけかもだけど)

いあ、ある程度の速度低下を許容出来るほど書いてて気持ちいいが。

**デフォルトの名無しさん** · 2017/01/11(水) 08:14:15.91

んー配列上のいくつかを入れ替えるってんならそりゃCの方が速いよね
がもうちょっと高度なロジックとかで遅延評価なども生きた時にともすればCを上回る時ガーって無いのかと。
いやじゃあその遅延評価もCで実装すればとかになっちゃうので結局人間のある程度の最適化＋コンパイラの最適化でこの規模のこういう奴だとHaskellの方が速かったって事例があるかって話になると思うのだけど。
まあそれよりも生産性の高さとかが土俵ってのは認識してる

**デフォルトの名無しさん** · 2017/01/11(水) 11:20:16.02

取り敢えずC#には勝ちたい

**デフォルトの名無しさん** · 2017/01/13(金) 06:50:42.54

>>646
安全性、生産性、速度が欲しいなら、素直にML使えよ

**デフォルトの名無しさん** · 2017/01/13(金) 08:10:23.06

F#でおけー

**デフォルトの名無しさん** · 2017/04/04(火) 12:35:32.05

ここまでC#圧勝

**デフォルトの名無しさん** · 2017/05/22(月) 00:29:15.41

x = x + 1
やっぱりこの式不自然なんだよ
確かに最初は漏れも違和感はあったさ

慣れちゃったけどｗ

**デフォルトの名無しさん** · 2017/05/22(月) 04:32:34.68

n
Σ f(i)
i=1
も不自然か？

**デフォルトの名無しさん** · 2017/05/22(月) 11:59:31.98

Σ f(i)
i ∈ {1,2,..,n}

でないと不自然だと思う派

**デフォルトの名無しさん** · 2017/07/02(日) 08:19:37.90

>>637
だうと。
適切なところで正格にして計算を掃き出してやらんと、途中の計算がデップリと太るぞ。

**デフォルトの名無しさん** · 2017/11/16(木) 18:01:27.10

x := x+ 1

**デフォルトの名無しさん** · 2017/12/01(金) 01:42:33.48

>>651
代数的に見たら左辺右辺は同時に起きてるから不自然だけど
変数一つ一つの手続きとして見たら同時ではないから不自然でもない

**デフォルトの名無しさん** · 2017/12/01(金) 10:32:26.35

そもそもxと書いてあっても左辺と右辺で意味違うから

**デフォルトの名無しさん** · 2017/12/30(土) 11:49:18.87

x.setValue(x.getValue()+1)

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

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