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

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

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

**デフォルトの名無しさん** · 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
日本語まず勉強しろよ…
元の、そういう意味だと理解できんぞ

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

>>553
何がだ？
プログラミングは知識量が物を言うと言ってるんだよ
経験で培われるのは主に業務知識とその感覚であって
プログラミング能力とは全くの別だ

**宇宙人ミ☆** · 2013/11/02(土) 09:50:03.25

ははは見ろ人がゴミのようだ。

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

いや、業務知識とか関係なく、プログラミングの技術に実践は欠かせないよ。

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

それは不真面目すぎる
お前さんのイメージより皆普段の業務で一生懸命頑張って成長してる

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

ははは見ろλがゴミのようだ。

**デフォルトの名無しさん** · 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++で参加してるのが普通

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

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