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

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

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

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

**デフォルトの名無しさん** · 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
えーと、純粋なら出来ないんだから記述もクソもないわな？
純粋でないならいくらでも好きにしろ

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

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