17/05/25 14:13:57.90 LLIRcd0g.net
エリクサー→名前が厨二
722:デフォルトの名無しさん
17/05/25 15:16:22.81 VyhgnQr+.net
>>721
RAMメーカーのCFDに喧嘩売ってる？
723:デフォルトの名無しさん
17/05/25 16:07:04.62 s+W1gv2M.net
>>721
ギターの弦のことかと思った
724:デフォルトの名無しさん
17/05/25 16:29:39.75 peiZ2RBQ.net
>>720
完成品はいろいろ実在してるんだけどｗ
チェッカーの壁を乗り越えられなかっただけじゃん
725:デフォルトの名無しさん
17/05/25 16:54:51.44 SU7CE5fr.net
>>711が仕様理解出来なくてイライラしてるの草
726:デフォルトの名無しさん
17/05/25 18:33:25.61 Gj42CiwS.net
>>724
チェッカー内で作れるもの作ってるだけじゃん。
PHPでもまともなものは作れるっていう戯言と何ら情報量変わらん。
727:あ
17/05/25 19:26:06.45 9n8bzUby.net
>>720
小物作る分にはゴールはあるよ。
イライラ棒の棒と同じで、全く何にも触れていない棒がゴールで手に入るだけ。
ホントに触れないことが必要なのかはおいといて。
728:あ
17/05/25 19:30:40.36 9n8bzUby.net
>>726
チェッカー内で作れる物作ってるだけ、ってなんだそりゃw
作ってはいけないものが作れなくなってるだけで、もともとそう言うコードは書くべきでないし、
そんな事言うと誰もがチェッカー内で作れるもの作ってるだけなんじゃねえの？
元からあったしね。推奨ですらハネてビルドかけてもらえないプロジェクトとか。
単に技術か経験どちらか、または両方足りないだけでは？
729:デフォルトの名無しさん
17/05/25 19:44:48.33 qvTBr+rP.net
具体的に他の言語では問題なくてRustの制限には引っ掛かる用法ってどんなの？
730:デフォルトの名無しさん
17/05/25 20:06:43.93 GLCbsyY4.net
次世代言語だから浸透させるんだとかいう一方で
浸透してないようなものは次世代言語じゃないとか言い出すような
一貫性の欠片もない人が紛れ込んでいるとスレの流れが速くなるなw
731:デフォルトの名無しさん
17/05/25 20:11:02.34 qvTBr+rP.net
次世代言語って開発効率は旧世代より高くあるべきだと思うし開発効率が低下するような言語は次世代言語とは言えないんじゃない？
732:デフォルトの名無しさん
17/05/25 20:12:52.69 YLfurTYJ.net
>>730
あの主張読んだらやっぱり普通はそう解釈するよな
733:デフォルトの名無しさん
17/05/25 21:19:02.52 Gj42CiwS.net
>>729
有名どころだとグラフ構造。あと木構造も結構辛い。
書けなくはないがチェッカー通そうと思ったらbox rc rcref祭とか色々あったり、イテレータの肩だけで一行の長さぶっちぎったり、無名関数引き回すとぶっ壊れたり、
とにかく存在が破綻してんの。
734:デフォルトの名無しさん
17/05/25 21:22:58.60 Gj42CiwS.net
>>731
そうそうこれこれ。俺たちは物を作りたいんであってチェッカーと腕相撲したいんじゃないって話。
Rustは生産性と書けるプログラムの幅が既存の言語よりはるかに低いっていう破綻があるわけよ。
735:デフォルトの名無しさん
17/05/25 21:24:57.72 Gj42CiwS.net
C++である程度の規模のプログラム書いてValgrind通したものをRustに移植してみれば俺の言ったことが分かるはずだ
736:デフォルトの名無しさん
17/05/25 21:26:56.04 SU7CE5fr.net
パラダイムの違う言語に移植する事自体間違っている
737:デフォルトの名無しさん
17/05/25 21:32:27.62 3whttm4L.net
まあまあID:Gj42CiwSを叩いている人は実際にコードで証明して黙らせ殺してあげなよ
738:デフォルトの名無しさん
17/05/25 21:33:54.31 qbQ1iVdd.net
>>731
開発効率なんて定義不能じゃ
739:デフォルトの名無しさん
17/05/25 21:38:33.34 ItmeFS2W.net
感覚だよ感覚
740:デフォルトの名無しさん
17/05/25 21:59:52.05 Akq7oqz3.net
>>738
明確に定義できないから比較できないってんなら
アセンブラ使えで話は終わるわ。
741:デフォルトの名無しさん
17/05/25 22:10:56.86 JKNaFgi4.net
でたーw
極論だして論破した気になってる奴wwww
742:デフォルトの名無しさん
17/05/25 22:13:17.59 cq69lVs9.net
開発効率定義不能ってホントに極論だよな
743:デフォルトの名無しさん
17/05/25 22:23:36.26 Fjpm+mem.net
開発が有限時間で終わるか否かの1bitを予言するだけでも難しい
744:あ
17/05/25 22:44:08.26 hnBoF8Hs.net
>>730
説明してもまだ誤解してるのか。
浸透する場が違うじゃん。
745:あ
17/05/25 22:45:54.43 hnBoF8Hs.net
>>734
腕相撲なんかせんと、まともに考えれば良いだけじゃん？
今までいかに、問題を腕力でねじ伏せてたかよくわかる発言だな。
746:デフォルトの名無しさん
17/05/25 23:16:36.34 Fjpm+mem.net
要するに実行時にチェックするプログラムは簡単に作れるのに対して
コンパイル時だと全てのチェックを通り抜ける解が存在するのかという疑問がある
747:デフォルトの名無しさん
17/05/26 00:03:00.80 wwO+KkLH.net
HaskellでqueueをO(1)で実装しろって程度の話＞Rustでグラフ/木を作る
純粋関数型なHaskellで2リストキューを使った素朴な方法だとしんどいし、所有権とメモリ管理が厳格なRustだとADTで書き下すグラフや木はめんどい
どっちもライブラリは既にあるんで、破綻してると声高に連呼するなんて馬鹿じゃないとできないよ
748:デフォルトの名無しさん
17/05/26 00:17:50.32 5gPc0nT0.net
>>733
>>715だけど再帰下降パーサで作ったから普通にグラフ構造でできてるよ
コンパイルエラーが嫌いなのかな？C++でもテンプレートとか嫌いそうな感じがする
749:デフォルトの名無しさん
17/05/26 00:24:47.24 W8U5vxkJ.net
終了直前まで一切メモリ解放しなくていいならできるのは自明
既に解かれた問題だけを選べば破綻しないのも自明
750:デフォルトの名無しさん
17/05/26 03:09:57.04 NvS9muX6.net
グラフでも木でもキューでも何でもいいから、次世代言語のコードで語れよ。
751:デフォルトの名無しさん
17/05/26 06:26:55.41 Xdie43+z.net
とりま>>748には最低限の機能のものでいいので
コンパイルがちゃんと通るグラフ構造の実装をplay.rust-lang.orgに上げてもらって
>>747はそれを他言語と同じくらい簡潔に書けるというライブラリで
書き直したのを見せてくれまいか？
752:デフォルトの名無しさん
17/05/26 10:07:55.16 B9iHieSk.net
>>744
大多数がそう思うような文を書いてしまったという事実をしっかり受け入れて反省するんやで
753:あ
17/05/26 10:45:05.62 uOeVRBLK.net
>>752
反省はするが、こういう、特に意見がない限り発言しない、自分がノイジーマイノリティなのかどうかわからん場で、大多数は使うべきじゃないよ。
754:デフォルトの名無しさん
17/05/26 12:12:59.19 qQ/oDW04.net
一言言い返さないと気が済まないの草
755:デフォルトの名無しさん
17/05/26 12:41:27.23 VfWi0ZR2.net
ぶっちゃけ書籍が豊富かどうかも結構重要じゃない？
756:デフォルトの名無しさん
17/05/26 15:59:13.78 El26kNsy.net
そりゃ最初にソース書いたやつは楽だっただろうけどさ
1/1Mの確率で発生する実行時バグの再現とかうんざりなんだけどｗ
rustってそういう方向で発展した感じはする
757:デフォルトの名無しさん
17/05/26 16:13:44.05 /9nVrKkw.net
数千万人が使うFirefoxの開発のために作られた言語を
一般のソフトウェア開発に適用しようというのが間違いあり
758:あ
17/05/26 16:56:09.15 WBRM/ZCu.net
>>754
とヒトコト言い返されたのか。
759:デフォルトの名無しさん
17/05/26 17:09:15.54 DWpJNS2w.net
ついに外野の煽りまで言い返しに見えるようになったか……
760:デフォルトの名無しさん
17/05/27 08:10:39.25 pn0LTxzc.net
pythonとgoを足して2で割ったような言語がほしい
761:デフォルトの名無しさん
17/05/27 08:28:53.30 /y/DrrO+.net
>>760
grumpy
762:デフォルトの名無しさん
17/05/27 08:54:52.85 L7+QfvMM.net
やっぱscalaってkotlinに駆逐されるのかな
プログラミング言語でさえ悪貨は良貨を駆逐する状態だからな
例えばPHP
それがkotlinくらいまともな言語で、ググールがバックで突き上げてくるとなると・・・・・・・
763:あ
17/05/27 09:42:37.89 sEq8ObI0.net
>>760
単純な興味だけど、どっちの何がほしいんだろ？
764:デフォルトの名無しさん
17/05/27 10:57:46.16 reRwAhMh.net
C#/TypeScript/Kotlinあたりは今やプログラミング言語の一つの大きな派閥をなしてるよな
あとはネイティブにも同様の思想の言語の決定版ができれば完成なんだが
765:デフォルトの名無しさん
17/05/27 11:00:36.94 Eqsuq0s8.net
>>764
Rust使うほどの速度は求めてないけど、Goはリスト操作関数とかジェネリクスとかなくて辛いって時に使える丁度良いネイティブ言語欲しいよね
766:デフォルトの名無しさん
17/05/27 11:04:36.51 qsMDYrRv.net
ネイティブで、リスト操作そこそこできて、結構速い言語、D
767:デフォルトの名無しさん
17/05/27 12:12:38.62 HGPZIoS2.net
リストくらいてきとうにつくれよ。。
768:デフォルトの名無しさん
17/05/27 13:20:29.95 XQaVXkEd.net
安全で性能が高いリストを言語の専門家の側で作ってくれてたら貴重な研究時間をリストのコーディングなんかに割かなくてよくなるからな
新しい言語を触るたびにまず自分専用のリストをコーディングするところから始まるなら既に資産のあるCかFortranでいいわｗ
769:デフォルトの名無しさん
17/05/27 13:29:17.98 Eqsuq0s8.net
>>767
ジェネリクスがないから自作出来ない
770:デフォルトの名無しさん
17/05/27 17:05:37.03 ov4Em3Hs.net
できることと速度を求めるなら、C++/CLI。つこうたことはないが
771:デフォルトの名無しさん
17/05/27 18:41:54.29 iIPWFR2r.net
>>770
最近マルチコアやらHTやらでベンチ結果がC#と逆転することもあるとか聞いたけど
dotnet自体とネイティブでの話だっけ？
772:デフォルトの名無しさん
17/05/28 00:06:36.06 ICysod8P.net
>>771
ネイティブとマネージドでマネージドのほうが早いわけねーやろ
773:デフォルトの名無しさん
17/05/28 00:11:35.08 Sy0/3upe.net
偶にJavaでネイティブより早い場合があった記憶だけど、どんな理由でそうなるんだろう
774:デフォルトの名無しさん
17/05/28 00:23:47.84 ICysod8P.net
>>773
理屈で考えてそんなことあるわけねーだろ…
何もかかってないたこ焼きと、すでにソースとマヨがかかってるたこ焼きに何かを足して
どっちが美味しくなるポテンシャルありますかみたいなことだぞ
なんもかかってないほうがポテンシャルあるに決まってんだろ
775:デフォルトの名無しさん
17/05/28 00:46:17.13 0WfaW7Gk.net
青のりを足したんだろ
ソースとマヨがかかってるたこ焼きが圧倒的差で勝つ
776:デフォルトの名無しさん
17/05/28 00:54:48.38 U0KxOEQh.net
ネイティブとマネージドだと徹底的に最適化した場合は当然ネイティブが速いけど、
C(++)とかよりマルチスレッドを楽に実装出来るC#とかならC++だと面倒でスレッド使う気無くすような所でも使えるから同じ労力なら速くなる(かもしれない)
777:デフォルトの名無しさん
17/05/28 01:15:59.27 4Fx58v3m.net
JITでコンパイルしたネイティブコードだけじゃなく計算した結果も後で使いまわすんじゃねーの
うまくヒットすれば凄く速くなるけど下手すると効率悪い、メモリ喰う、処理も増えるの三重苦
778:デフォルトの名無しさん
17/05/28 01:17:31.30 U0KxOEQh.net
あとGCはメモリ足りなくなってから処理走らせるからC++で使い終わるたびにdeleteするより速い場合も極まれにあるって誰かが言ってた希ガス
779:デフォルトの名無しさん
17/05/28 01:32:06.42 0WfaW7Gk.net
まさにこのスレのために産まれたような言語が出てきたな
その名もP
780:デフォルトの名無しさん
17/05/28 03:57:38.43 EaAE0rQy.net
（ ´,_ゝ｀）ﾌﾟｯ
781:デフォルトの名無しさん
17/05/28 07:19:31.82 eakmpy+6.net
>>774
JIT+実行時最適化でJIT VMのほうが速くなることはある。
782:デフォルトの名無しさん
17/05/28 08:00:52.56 LGEAgh6i.net
>>774
でも、ソースとマヨネーズかけたほうが旨いよ。
783:あ
17/05/28 08:13:50.68 69h6ECeI.net
JITと何も考えてないネイティブなら、JITのほうが速いこともそこそこあるだろ。
有るか無いかわからないからベクトル演算命令使わないバイナリと、JITが使うように、使えないように、どちらでもなく展開できるように書いてある中間バイナリなら中間バイナリのほうがいいと思う。
784:デフォルトの名無しさん
17/05/28 08:55:10.15 7vnd2VbN.net
自分だけしか使わない常時起動の鯖に置くシステムで
長期間使うから次世代言語で作ろうと思ったけど
このスレ読んでたらどの言語選んだらいいのか判らなくなったから
RabbitMQ建ててとりあえずpythonで実装して連携させてみた
少しずつ次世代言語に置き換えていこうと思ったけと
常用するシステムって一度動いちゃうと
他の言語で再実装する気が無くなってくるね・・・
まずはerlang勉強してみる
785:デフォルトの名無しさん
17/05/28 09:23:33.91 WC/bP4dR.net
そこはElixirだろ
あえて遠回りしたいなら止めないけど
786:デフォルトの名無しさん
17/05/28 09:48:01.98 3JFLUc/w.net
erlangとかElixirとか、そんな流行ってもない古いオワプロ（終わったプログラミング言語）使っても
ええことないで
787:デフォルトの名無しさん
17/05/28 10:12:17.25 rsSu7Dn/.net
キラーコンテンツ1本でひっくり返るような評価なんだから
好きなの作ればいい
世間の技術者はもっと柔軟だよ
788:デフォルトの名無しさん
17/05/28 10:18:08.52 WC/bP4dR.net
>>786
確かにそれは正しい
勉強自体が目的ならElixirをやらずにErlangをやるのもありかも
789:デフォルトの名無しさん
17/05/28 12:23:35.72 2YTf35Kg.net
>>765
C++
790:デフォルトの名無しさん
17/05/28 12:59:24.25 U0KxOEQh.net
>>789
>Rust使うほどの速度は求めてないけど
つまりGCがあってメモリ安全って事な
791:デフォルトの名無しさん
17/05/28 13:17:26.36 RSwot+pt.net
次世代言語とやらは現世代に比べて何が優れてんの？
792:デフォルトの名無しさん
17/05/28 13:20:41.87 ermVQ6O8.net
>>791
高機能なライブラリ群
793:デフォルトの名無しさん
17/05/28 13:23:21.04 oECcZCdB.net
>>792
ん？
794:デフォルトの名無しさん
17/05/28 14:22:45.54 ombgcLsI.net
>>790
OCamlでいいんじゃない
795:デフォルトの名無しさん
17/05/28 14:30:05.38 ew7wH7J4.net
>>765
node.js+typescript
796:デフォルトの名無しさん
17/05/28 14:32:16.25 ew7wH7J4.net
>>786
エリクサーが古いオワコンはねーわ
797:デフォルトの名無しさん
17/05/28 14:43:12.15 Qisigybt.net
>>796
エリ草ｗなんてそもそも話題にすらならん
始まる前から終わってたレベル
798:デフォルトの名無しさん
17/05/28 14:48:56.57 f3EcrVh7.net
おれ仕事でエリクサー使ってるんだー
と一度はいってみたい
なんかすごそうだろ
799:デフォルトの名無しさん
17/05/28 14:54:43.46 f+PScB+/.net
不老不死の薬の名前を冠す言語がそう簡単に終わるはずはない
仮に終わっても魔術によって復活する
800:デフォルトの名無しさん
17/05/28 15:04:58.72 Q4IaIxAm.net
でも、襟がくさい
801:デフォルトの名無しさん
17/05/28 15:19:37.92 9pcvjMzo.net
つい使わずに最後まで温存しちゃう
802:デフォルトの名無しさん
17/05/28 15:20:40.57 ew7wH7J4.net
>>801
誰がうまいこと言えと
803:デフォルトの名無しさん
17/05/28 17:55:49.04 vGG8JLoS.net
>>802
えっ どの辺がうまいの？
804:デフォルトの名無しさん
17/05/28 19:33:51.17 kC4qoZB1.net
FFのプレイスタイルの話かと
805:デフォルトの名無しさん
17/05/28 21:04:54.47 qP/iot/5.net
すみません
GoとRustはC10Kにはどういうアプローチで解決してるんでしょうか
806:デフォルトの名無しさん
17/05/28 21:05:35.06 ermVQ6O8.net
エリ草ｗすこ��
807:デフォルトの名無しさん
17/05/28 22:18:28.95 Sy0/3upe.net
Rust知らないけどGoは処理の都度軽量スレッド作成して実行するだけじゃないん？
haskellで軽量スレッドの便利さ知ったわ、有名なのはErlangだろうけど
808:デフォルトの名無しさん
17/05/29 06:24:01.86 KA+g5PFR.net
$$$4.3$$$
"V"="1.3335412","0","1","3Q",
809:デフォルトの名無しさん
17/05/29 09:14:05.07 GJ83UXew.net
マルチスレッドの分散処理とかネイティブなら意図的に書かないと分散されないとかあるんじゃない？
810:デフォルトの名無しさん
17/05/29 10:31:24.03 QfBUHXY+.net
ところで次世代言語スレとしては「書けるけど面倒」は「書けない」と同義と扱ってもいいよな？
チューリング完全を扱うスレじゃないんだし
811:デフォルトの名無しさん
17/05/29 11:14:43.44 iVofvGGy.net
はああ～～ 息をするのも面倒でいやだ
812:あ
17/05/29 13:01:56.82 GBTOKQdE.net
>>810
かけるけど面倒だけど、他には無いメリットがある、ならアリだと思うが。
Rustはもちろん面倒だが、チェッカが正しいから面倒だし、
Goの if err != nilも、何回書くんだこれってなりがちだけど、シンプルさといろんな意味での長距離のジャンプをさせないがために面倒だし。
ただただひたすら面倒な物とは多少違うかと。
世の中にはチューリング完全でない、と言うことに意味のあるものもあるしね。
DSLだけど帳票出力言語とか書いたことあって、敢えてチューリング完全にならない様に書いた事ある。
事実それ以前の帳票出力言語で闇ばっかり生まれてたのが綺麗に抹殺されて、
見かけの工数は2割くらい増えてるけどトータルの工数で統計取ったら8割減という驚きの結果が出た。
813:デフォルトの名無しさん
17/05/29 13:56:23.00 acCBGFJL.net
>>810
それを言ったらアセンブラで何でも書けるよ。
814:デフォルトの名無しさん
17/05/29 14:12:49.13 QfBUHXY+.net
>>812
安全さのために面倒になってしまう進化もありということね？ 確かにCは面倒な上に危険だもんね
後半の話はよくわからん。それ関係なくない？
>>813
賛成ということね？
815:デフォルトの名無しさん
17/05/29 14:23:05.93 MJszAqXA.net
次世代には開発での見かけの生産性だけ高くても意味ないじゃん
って問題意識があるような
rustはチェッカーでエラー出してはねとばし（だから警告じゃダメ）
Goは言語仕様小さくしまくって
でも目的は同じみたいな
816:デフォルトの名無しさん
17/05/29 14:30:20.43 KWmGTlOy.net
いくら優れてても流行らなければ何の意味もない
言語自体の優劣をどうやって決めるのか
次世代って言うのは単に次に流行る言語って意味だ
多くの人が使い次の世代を担っていく言語だ
なになにの機能がないから次世代じゃないとか本末転倒
見かけだけの生産性が高い言語が流行ったとしてそれが社会の求めるものだったら
そういうことだ
それが理解できないようでは次世代もくそもない
817:あ
17/05/29 14:44:37.26 GBTOKQdE.net
>>814
Kotlinなんかで、この中にDSLを内包しよう、という動きもあるが、あれには完全に賛成とは言わんと言う意味と、
○○の○○を書くときにめんどくさい、と言う反論への、○○を書くべく好きに言語選んだり作れと言う予め言っときたい反論。
818:デフォルトの名無しさん
17/05/29 16:10:34.95 QfBUHXY+.net
このスレに来てる人で「安全だけど面倒」系の言語を推してる人ってどういう人なんだろう？
そういう言語ってプロトタイピングに使える訳じゃないから本番用だろうし、本番の言語を決定出来る立場の人なんだろうか？
819:デフォルトの名無しさん
17/05/29 16:20:37.06 godqZJ2E.net
x 安全だけど面倒
o 安全を犠牲に横着が許されない
820:デフォルトの名無しさん
17/05/29 16:25:30.41 godqZJ2E.net
IDが神だ
崇めろ
821:デフォルトの名無しさん
17/05/29 16:45:39.75 QfBUHXY+.net
>>819
ねえ神様その訂正って本当に正しいのですか？
横着が許されるような言語とはPHP以外にどのような言語があるのでしょう？
822:デフォルトの名無しさん
17/05/29 18:26:51.14 acCBGFJL.net
>>820
J2EE や J2SE だったら良かったのにね～
823:デフォルトの名無しさん
17/05/29 19:22:07.37 0Gkejxu2.net
>>821
> 横着が許されるような言語とはPHP以外にどのような言語があるのでしょう？
C++とか
824:デフォルトの名無しさん
17/05/29 19:42:32.87 ZANWFrCy.net
>>812
可変な再帰的データ構造が書けないチェッカーの何が正しいって？
825:デフォルトの名無しさん
17/05/29 19:49:03.78 QfBUHXY+.net
>>823
ああ、そういうのを指して横着と言うのか。なるほどありがとう
826:デフォルトの名無しさん
17/05/29 20:11:17.48 VknhjnwZ.net
つーかここの人が求めてるものってなんだ？趣味で扱う言語？それとも仕事で扱う言語？
仕事なら商品として売りものを作る用？それともプロトタイピング用？
俺はプロトタイピング+趣味なんだけど
827:デフォルトの名無しさん
17/05/29 20:14:50.03 TtK3Weat.net
次世代＝仕事も含めメジャーになる言語
828:デフォルトの名無しさん
17/05/29 20:46:24.41 ZANWFrCy.net
プロトタイピング目的なら型がだるいRustとかScalaとかHaskellとか選外だと思うんだが？
829:デフォルトの名無しさん
17/05/29 20:53:06.38 IJYAREKV.net
ろくにアセンブラ使ったことないヤツに限ってアセンブラ万能説唱えるよな
理論上可能だとしても現実的には大体無理
830:デフォルトの名無しさん
17/05/29 20:54:05.50 HfKGNWZk.net
>>828
お前は動的言語なら型を全く気にしないのか？
Rustはともかくただの静的言語でScalaの型ダルイっていうのはおかしいと思う
Haskellは触った事ないから知らん
831:デフォルトの名無しさん
17/05/29 21:00:14.21 ZANWFrCy.net
>>830
プロトタイプならって言ってるだろ……
プロダクションならScalaは良い候補。Haskellは性能で選外。Rustは欠陥なので選外
832:デフォルトの名無しさん
17/05/29 21:02:13.17 HfKGNWZk.net
>>831
プロトタイプでも動的は駄目だわ
書かないだけで型を意識するのは変わらないし
833:デフォルトの名無しさん
17/05/29 21:03:35.01 HfKGNWZk.net
理由が「型がだるい」じゃなくて「IDE起動がだるい」とか「コンパイルがだるい」ならまだ分かるけど
834:デフォルトの名無しさん
17/05/29 21:10:58.51 VknhjnwZ.net
>>828
プロトタイピングとか自分用の道具でもある程度規模が大きくなって来ると型のサポートが欲しくなって来てな
835:デフォルトの名無しさん
17/05/29 21:40:27.19 1GyH5Yoq.net
おまいらがアーアンがいいとかルーストがいいとかワガママ言っても、
コトィンがランゲージオブネクストザジェネレーションの地位を確立したのは疑いようのないトゥルス
0 == "0"がtrueかfalseかなんて疑問が毎秒1000ビリオンダラーの損失を叩き出すPHPが
なぜか世界最大級の地位を確立したように
おまいらは低きに、そして大流に流されるだけの哀れな落ち葉でしかないんだよ
いつか腐葉土になる日もくるかもしれないが、まぁね
836:デフォルトの名無しさん
17/05/29 21:41:32.11 TtK3Weat.net
www
コピペして使わせてもらうわ
837:デフォルトの名無しさん
17/05/29 21:56:59.55 nr29QT3e.net
こいつ久しぶりに見たな
838:デフォルトの名無しさん
17/05/29 22:00:04.18 1GyH5Yoq.net
？
俺はいつも君のそばに。
839:デフォルトの名無しさん
17/05/29 23:26:26.04 wVYYUW+P.net
>>835
これが次世代言語を操るプログラマか…
840:デフォルトの名無しさん
17/05/29 23:31:27.27 HMZ0UBYT.net
>>835
おまえのその才能はプログラムでは活かせない
841:デフォルトの名無しさん
17/05/30 05:38:55.18 LPiGbjps.net
10年前ならわかるが、今のHaskellの性能では論外になるような案件って、そう多くないんだがなあ。
まあ、言ってみたかっただけなんだろうけど。
842:デフォルトの名無しさん
17/05/30 07:33:30.59 v66/o58F.net
Haskellで書いたコードは見た目がキモくてジンマシンが出ちゃう人続出なのでダメです
843:デフォルトの名無しさん
17/05/30 08:43:27.37 83Cyphvh.net
性能で選外はどうかと思うなぁ
そんなもん使う人増えれば最適化進むんだし
844:デフォルトの名無しさん
17/05/30 09:15:29.92 RK9zQtkX.net
スレタイの言語でRustだけマイナー言語すぎやしないかい
845:デフォルトの名無しさん
17/05/30 09:35:09.42 qy3qSG7Q.net
>>838
次回を期待して待っている
846:デフォルトの名無しさん
17/05/30 10:57:41.88 cUShYlMs.net
>>844
マイナーなだけでなく実体もクソオブザクソなのでHaskellより先にスレタイから外すべきだった。
847:デフォルトの名無しさん
17/05/30 11:11:01.01 cUShYlMs.net
Rustと比べたらHaskellだって実用言語。次スレからはHaskellの復活はいいとしてもRustをスレタイから外すことを提案
848:デフォルトの名無しさん
17/05/30 11:53:37.01 ixvaRPT7.net
Rust擁護勢はキチガイみたいなのしかいないことが判明したので許可ｗ
849:デフォルトの名無しさん
17/05/30 12:42:11.61 8eoxxCqM.net
まーた特定言語叩きが始まった
ネットの情報だけを元に叩く事しかしない引きこもりばかり
850:デフォルトの名無しさん
17/05/30 12:49:20.67 8KwHai5R.net
とはいえ現代の最高の言語はscalaだし
851:あ
17/05/30 12:52:24.90 CncaY8jR.net
>>818
横着にもかける言語で、横着が許されない類のプロジェクトに関わった事がある人では？俺もそうだし。
次世代という意味で期待してるってのもいろんな面があって、
とにかく楽な言語、とにかく早い言語、とにかくメモリー使わない言語、とにかく安全な言語と求めるものが違うところに、
これこそ至高！と全部中途半端なRubyとHaskell出てくるからめっちゃくちゃウザい。
>>824
再帰的な構造はかけるでしょ。
再帰的なデータ型も書ける。
だめなのは、多相の組み合わせが爆発するか循環してしまうもので、当たり前だがHaskellみたいに実行時に多相性を解決してるんじゃなくて、コンパイル時に解決されるからで、そのコンパイル時の解決を行うときに死ぬから。
コンパイル時解決は、というモットーというかテーゼなので、仕方ない。
し、そもそも、そんなものを作るべきではないというのが公式の見解かと。
コンパイル時に多相を解決する言語ならだいたい同じ。
852:あ
17/05/30 12:55:16.76 CncaY8jR.net
そもそも、そこまでプッシュしてないRustに、異常にアンチしてる奴がわからんなと思ってたら、
色んなスレに「僕には理解できなかったし、すごいプロダクトも見つからなかったからこれはゴミ！」って書いてる奴なんだな。
853:デフォルトの名無しさん
17/05/30 13:12:50.81 ixvaRPT7.net
>>851
Ruby、Haskellが至高！って言ってるレスどれ？
最近ないと思うけど
854:デフォルトの名無しさん
17/05/30 13:17:09.64 ynDKwlR5.net
>>851
>当たり前だがHaskellみたいに実行時に多相性を解決してる
おいおい、Haskellの実装知ってんのか？
Haskellで実行時に型情報が必要な多相性はほんの一部だ。
ほとんどの場合、コンパイル時に解決される。
855:デフォルトの名無しさん
17/05/30 13:41:55.27 cUShYlMs.net
>>852
モジラのステマ部隊が色んなところでRustの押し売りしてるから訂正して回ってるだけ
856:デフォルトの名無しさん
17/05/30 13:59:47.73 jNMa8OnS.net
特定の言語アンチになると
こんな気持ち悪い行動をする様になるんだな
857:デフォルトの名無しさん
17/05/30 14:00:38.72 94LBzFAW.net
アンチの異常者が複数のスレで暴れてたのか
頭おかしい
858:デフォルトの名無しさん
17/05/30 14:25:11.74 3SkGkDqj.net
HaskellアンチとRustアンチ至高のガイジバトル
859:デフォルトの名無しさん
17/05/30 14:34:50.93 cUShYlMs.net
別にRustのステマ部隊にガイジって言われようと本望だしなぁ……
まともに書けたっていうRustアプリのソースでもって出してくれりゃ退散するのにね。
860:デフォルトの名無しさん
17/05/30 14:54:59.04 3SkGkDqj.net
たしかにこの後に及んで一切ソースが出ないRustははっきり言って異常だ
Rust擁護勢の方がガイジレベル高いな
861:デフォルトの名無しさん
17/05/30 15:25:43.73 gCyMQJVM.net
RustはC++の正当後継だよ。
上位互換。
862:デフォルトの名無しさん
17/05/30 15:53:14.47 cUShYlMs.net
>>861
出たーステマ部隊の常套句！
そうほざくなら>>734->>735にこたえてからにしなよ工作員
863:あ
17/05/30 16:00:40.31 CncaY8jR.net
>>853
おお、グイグイくるな。
最近言ってなきゃいいわけではないでそ。
>>854
知ってるよ。実行時に多相性を「しない」のならその主張もわかるが、「ほとんどの場合しない」は「してる」だよ。
「施錠確認した？」「ほとんどしました」って、要は全く施錠の確認できてないのと変わらんよね。
>>735
答えたような。それ。
864:デフォルトの名無しさん
17/05/30 16:36:41.65 8eoxxCqM.net
>>863
それ例外の一般化っていう立派な詭弁だぞ
865:デフォルトの名無しさん
17/05/30 16:40:24.65 8eoxxCqM.net
Ruby、Haskell、Smalltalkときて今度はRust
そもそも、まともに知りもせず想像でひたすら叩き合ってるだけ
それを建設的かのように振る舞うのがおかしい
866:デフォルトの名無しさん
17/05/30 16:45:38.14 xHXzQ5Z2.net
RustよりGo外そうぜ
実用的かもしれないけど次世代言語とは呼べない
あれ前世代実用言語だろ
867:デフォルトの名無しさん
17/05/30 16:49:34.00 2BqlBcyR.net
次世代言語は来るに任せるべき。 今はC#で十分。
大事なのは、ビジネスモデルを構築できるかという事。 言語はただのツール
868:デフォルトの名無しさん
17/05/30 16:53:10.33 xHXzQ5Z2.net
C#とScala(Kotlin)は二大実用次世代言語だと思う
869:デフォルトの名無しさん
17/05/30 16:53:38.72 cUShYlMs.net
>>865
知ってるから叩いてるんだよなあ。よくしらないとか想像で叩かないでほしい。
ステマに騙されてRustで無駄な時間を過ごす人が出ないようにしてる訳だから俺は建設的な話してる
870:デフォルトの名無しさん
17/05/30 16:53:42.98 8KwHai5R.net
>>861
C++の後継なんて誰も必要としてなくね
871:デフォルトの名無しさん
17/05/30 16:59:32.47 rSfKoxDq.net
>>870
それはC++が至高だと仰ってる？
872:デフォルトの名無しさん
17/05/30 17:00:15.77 xHXzQ5Z2.net
>>870
C++が使われてるって事はいるって事だろ
873:デフォルトの名無しさん
17/05/30 17:25:07.30 ibpptRxp.net
C++の後継はDかC#でいいだろ
874:デフォルトの名無しさん
17/05/30 17:26:58.34 xHXzQ5Z2.net
>>873
C++の後継はメモリ管理自由に出来てネイティブな事が最低条件だろ
875:デフォルトの名無しさん
17/05/30 17:41:56.85 ixvaRPT7.net
>>863
過去の幻影に囚われていつまでも暴れまわる怪獣みたいなガイジ行為はやめろ
876:デフォルトの名無しさん
17/05/30 18:02:22.35 LPiGbjps.net
だめだこりゃ。「あ」は自己弁護しかできないバカだ。バイバイ。
877:デフォルトの名無しさん
17/05/30 18:23:19.22 ixvaRPT7.net
自己弁護の神だからしゃーない
>>863二段落目についてはあまりに下手糞な理論展開のせいで真意が伝わっていないだけだと思うけど
878:あ
17/05/30 18:42:50.81 CncaY8jR.net
>>864
例外を一般化してるわけではなくて、その例外を許さない事自体が言語仕様、言語設計なんでしょ。
お前が例外を例外と認識しているのに、敢えて混同してるんじゃん。
879:あ
17/05/30 18:46:31.86 CncaY8jR.net
自己弁護も何もなぁ。
べつにrust推しでも何でもなく、割とまともになってんじゃんって感想にここまで吠えられてるのに。
詭弁だと言うなら言い負かせば良いのに。
無理そうになったら狂ったり、論理否定のための人格否定で誤魔化すのやめてよ。つまらん。
880:デフォルトの名無しさん
17/05/30 18:48:03.47 flnvhYto.net
rust 信者が望んでることって結局こういうことでしょ？
URLﾘﾝｸ(www.kh.rim.or.jp)
881:デフォルトの名無しさん
17/05/30 18:49:24.03 ixvaRPT7.net
自分の文が読みにくいから勘違いされてるのに反省せずそういう書き込みする
あと、その理屈ならHaskell擁護も一部のキチガイ除けばそんなに悪くないと書き込んでるだけなのに噛みつかれて困惑してるよ
882:あ
17/05/30 18:57:43.16 CncaY8jR.net
>>881
読みにくいってまた主観的な意見だな。
何かダメなの？
こないだの、改行を適宜入れろって話のほうがはるかに役に立ってる。
後半。
Haskell自体が八方美人のブスみたいな印象で、実際問題その理念通りの使い物にはならんと言ってるだけで、Haskell使いは叩いてないぞ俺。
883:デフォルトの名無しさん
17/05/30 19:03:05.19 ixvaRPT7.net
>>882
その話は知らんが俺は>>705だ。前は具体的に指摘した。毎回具体的に指摘してほしいってか？
俺は超注意深く読んだから今回のはなんとか理解できてるけど、実際今二人ほど勘違いしてるよね？俺も最初彼らと同じ勘違いをしたよ
884:デフォルトの名無しさん
17/05/30 19:15:39.06 Eop9uX5M.net
>Haskell自体が八方美人のブスみたいな印象で、実際問題その理念通りの使い物にはならんと言ってるだけで、Haskell使いは叩いてないぞ俺。
これRust叩きの人も同じやん
885:デフォルトの名無しさん
17/05/30 19:19:35.04 8KwHai5R.net
>>871
Yes！
886:デフォルトの名無しさん
17/05/30 19:24:22.10 MdPNaTW3.net
スレタイ読めないの？漏れ↓だと思ってんだけど
ここはアンチC++の巣くつ（わざと「すくつ」って書いたら予測変換出てきたｗ）
887:デフォルトの名無しさん
17/05/30 19:50:43.11 gVUCJ1iG.net
Rustは使い物にならないと批判してる人は
仮にfirefoxをちゃんとRustで書き直したら実用性はあると認めるの？
それとももっと基準は高い？
888:デフォルトの名無しさん
17/05/30 20:36:56.72 Eop9uX5M.net
威信にかけてFireFoxは書くだろ
むしろそれ出来上がらなかったら本格的にヤバいじゃん
889:デフォルトの名無しさん
17/05/30 21:03:27.26 5Aqfn1oc.net
とりあえずRustでJavaScriptを作れば後はJavaScriptで自由に書けるじゃん
890:デフォルトの名無しさん
17/05/30 21:42:15.61 flnvhYto.net
>>887
認める。
おれは破綻するんじゃないかと思ってる。
891:デフォルトの名無しさん
17/05/30 21:44:23.55 J0ju3rCP.net
まあ待て待て、ここで挙げられてる言語は全部使ったことある俺が一番ウンコな言語を判定してやるよ
一番ウンコはSmalltalk！これは間違いない
892:デフォルトの名無しさん
17/05/30 22:21:32.00 8KwHai5R.net
最も
醜い言語はJS
美しい言語はScala
簡単な言語はpython
難解な言語はHaskel
柔軟な言語はC++
魅力がない言語はC#
意思を感じる言語はObjC
かっこいい言語はElixer
雑な言語はGo
愛された言語はJava
幸運な言語はRuby
迷走してる言語はPHP
893:デフォルトの名無しさん
17/05/30 22:22:05.08 tbholWW0.net
>>887
本当に書き直して成果を公開したら認めるわ。
うまくいかないにカシオミニ賭けてもいい。
894:デフォルトの名無しさん
17/05/30 22:23:35.43 R+mglHOn.net
最も
空気な言語はRust
895:デフォルトの名無しさん
17/05/30 22:24:39.69 tbholWW0.net
>>884
Rust使いはステマ部隊かステマ部隊に騙された不幸な人だからな。前者は叩いても後者は叩けんな。
896:デフォルトの名無しさん
17/05/30 22:30:20.45 tbholWW0.net
>>880
Rust信者というかモジラとかいう世界中のソフトウェア会社の敵が狙ってるのがこれだろうなってことは感じてた。
クソ言語をステマ工作してソフトウェア会社に売り込んで、自分達の給料の確保に使う。クソモジラならやる。
897:デフォルトの名無しさん
17/05/30 23:06:16.05 xHXzQ5Z2.net
>>892
ES6でかなりマシになったから(ｶﾞｸﾌﾞﾙ
898:あ
17/05/30 23:25:03.18 CncaY8jR.net
>>883
なんとか理解できてるなら必要充分だってことでしょ。
まるで>>883以外は低能みたいに言ってはいかん。
899:あ
17/05/30 23:26:34.66 CncaY8jR.net
>>884
そうでもないだろ。
半コテでなんでここまで叩かれにゃならんのだ。
900:デフォルトの名無しさん
17/05/30 23:29:41.17 ixvaRPT7.net
全然必要充分ではない。現に二人誤解したし、俺も最初は誤解した
901:あ
17/05/30 23:42:29.76 CncaY8jR.net
>>900
誤解した人間が二人、誤解していた人間が一人、発言なく見えないどちらの状態かわからない人間が複数名。
これで有意差を出すなら、何人が母数なの？
自分の観測域で相手を評価するのは良くないと思うけど。
「自分と同じく誤解したが誤解が解けたか、誤解したままである」と周りを推定するのは、俺が相手は馬鹿ではないはずだと推定するのと同じでは無いのかと期待するのと同じレベルかと。
しかしまぁ、少なくとも議論スレならばもう少しマシな話がしたいし、不要な枕詞は使いたくないけど、まぁ通じないなら言い方をもうちょい気をつけるわ。
902:デフォルトの名無しさん
17/05/30 23:48:23.58 ixvaRPT7.net
そうしてくれ
903:デフォルトの名無しさん
17/05/30 23:53:22.51 8eoxxCqM.net
>>878
何の反論にもなっとらん
俺はHaskellに例外はないなんて言ってないしそもそも知らん
難癖もいいとこだな
904:デフォルトの名無しさん
17/05/31 05:55:34.28 4rMtQxoJ.net
>>891
SmallTalkが一番ウンコだと思った決め手は何？
905:デフォルトの名無しさん
17/05/31 06:14:00.96 wEozaoTa.net
>>879
では、具体的にGHCが実行時型情報を必要とするケースを挙げてみろよ。
言っておくが、パラメトリック多相は全てコンパイル時に解決されるし、
型クラスによるアドホック多相も、あれは関数オーバーロードの形式化だからな。
関数オーバーロードはコンパイル時に解決されるぞ。
さあ、具体的に挙げてみろよ。
906:デフォルトの名無しさん
17/05/31 07:43:00.95 uGw1TdWN.net
多分、エンジニアガイジの主張は
「rustはコンパイル時に多相を解決する能力がないので、その能力のあるHaskell と違ってデータ構造が作りにくいのは仕方がない」
みたいな感じと思われる。難解だけど
907:デフォルトの名無しさん
17/05/31 08:28:06.80 uGw1TdWN.net
逆だ「実行時に多相を解決能力がない」だ
908:あ
17/05/31 09:15:21.09 dc+IbjjD.net
>>903
あ、例外の一般化をしてる、ってのは「Haskellでは実行時にも多相の解決をする」ってのを「『Haskellでは多相の解決を実行時に必ずする』と一般化(というより誤解)してる」という意味ではないのか。なら的はずれな事言ってすまんな。
>>905
具体的に上げろと言われてもなぁ。
<T>を持ったenumがOptionかcar(T)とcdr(<T,T>)である時くらいかな。
>>906
そうそう。能力を敢えて持っていない、に近いけど。
実行時ゼロコストを目指してるから仕方ない。
909:デフォルトの名無しさん
17/05/31 09:37:51.17 uGw1TdWN.net
おお合ってたか。正直自信なかったんだよね
>>906を主張を三行に纏めるお手本にしてくれてもいいぞｗ
910:デフォルトの名無しさん
17/05/31 10:08:26.32 j+YATO3J.net
さすがに読み解けんわ……
エンジニアガイジは本気で伝え方の訓練した方がいい。
ID:uGw1TdWNみたいな有能な読み解き手がいつもおるとは限らんわ。
911:デフォルトの名無しさん
17/05/31 10:21:53.06 j+YATO3J.net
エンジニアガイジの主張がさっぱり伝わらない理由って何かと見返してみたが、
相手の反論を表面的にしか返さないせいだな。その質問がどういう疑問から出たかわかってない
「Haskellは実行時に型を解決する（からRustより型の表現力がある代わりにオーバーヘッドのトレードオフがある）」 って意見に
「Haskellもほとんどコンパイル時に解決できるわ」って反論が来たときに「ほとんどは全てじゃないだろ」なんてなにも伝わらん腐った返しするから伝わらないんだっての
「そのごく一部のおかげでそれが皆無のRustより型の表現力があるんだろ？」って、元の主張の（）の部分を伝えればまだ理解してもらえるだろうに。
つまり疑問に対する反論が下手。
912:デフォルトの名無しさん
17/05/31 10:31:33.38 j+YATO3J.net
エンジニアガイジは相手が自分の主張に何か返してきたとき、「相手に何が伝わってなかったか」を考えるようにした方がいい。
それが出来てないから今はただ論破することしかできてない。
913:デフォルトの名無しさん
17/05/31 10:49:08.01 9eeNyIu8.net
ハイロンパしたいだけの奴に何言ってもね。。
914:デフォルトの名無しさん
17/05/31 10:55:14.91 WMdxYZmu.net
>>913
本当に「はい論破」したいだけなのか、かわいそうに論破スタイルしか議論の方法知らんのか俺には区別つかないからなぁ。
自分の意見の伝わらなさの自覚はありそうだから（現状人のせいにしてるが）後者にかけて長文投下した
915:デフォルトの名無しさん
17/05/31 10:58:50.65 xgELgHJk.net
彼はアスペルガー症候群でしょう
本人に非があるわけではないが、治ることもない
916:デフォルトの名無しさん
17/05/31 11:03:36.26 WMdxYZmu.net
>>915
確かに「相手の反論が何を疑問点として出てきたかを推察できずに表面的な論破をしたがる」っていうのは典型的なアレだが、
それだけで病気認定は俺にはできんな。健常者でも多少の訓練は必要な事柄だからな。
ただ可能なら診察は受けた方がいいかもわからんね。純粋な心配として。
917:あ
17/05/31 11:08:50.13 dc+IbjjD.net
>>911
一から百指摘しないと理解できません、って取ったらいいの？
>>912-913
全然論破もしてるつもりないけど。
反論はまともにしてほしいだけで。
論破スタイルってか、ストレートに言わないと議論にならんでしょ。
雑談所なら雑談するよ。
918:あ
17/05/31 11:10:55.99 dc+IbjjD.net
>>916
子供作るときに一通りそういう気質があるか調べてもらったが、幸いながらアスペではなかったぞ。
残念ながら多動はあった。
919:デフォルトの名無しさん
17/05/31 11:17:13.85 +xjBJZk4.net
ただのADHDってことか
気持ち良い納得感を得られる良スレだな
920:デフォルトの名無しさん
17/05/31 11:18:20.52 4nPr+Atc.net
ADHD以前に躁鬱でしょ
921:デフォルトの名無しさん
17/05/31 11:20:10.30 WMdxYZmu.net
>>917
一から百の全部を要求するやつは蹴り倒していいとは自分も思うが、一から百のうち任意のどこかを要求する人の相手くらいできんと人と議論は進まんぞ。
相手の疑問から一から百のうちどこの説明をするべきか読み取ろうという話
反論がまともに来ないのはこれまでの積み重ねのせいじゃないのか？
別に論破スタイルじゃなくてもストレートに議論はできるだろ。
922:デフォルトの名無しさん
17/05/31 11:21:41.06 WMdxYZmu.net
>>918
通院済みか。余計なお世話だったようだ。
923:デフォルトの名無しさん
17/05/31 12:19:10.63 uGw1TdWN.net
彼にガイジとニックネーム付けた奴の先見性高いと思わない？
924:デフォルトの名無しさん
17/05/31 15:24:55.30 jQ0rWyUQ.net
>>908
><T>を持ったenumがOptionかcar(T)とcdr(<T,T>)である時くらいかな。
コンパイル時に解決できないHaskellの多相の例がそれか？
おまえHaskell書いたことあるか？
925:デフォルトの名無しさん
17/05/31 15:27:38.08 jQ0rWyUQ.net
多動のせいで議論ができないんじゃなくて、
シッタカで主張が支離滅裂になっているのを
多動のせいだと思ったおまえらが勝手に辻褄合わせをしてあげて
なんだか最初からそういう主張をしているかのように
本人もおまえらも思い込んでいるだけ。
926:デフォルトの名無しさん
17/05/31 15:40:30.39 T8V/ATS8.net
>>925
別に多動のせいじゃないと俺は思うがなあ。多動ってそもそも議論できる出来ないに関係あったっけ？
単に意見の擦り合わせが絶望的に出来ないから知ったかと同じような議論破綻に突っ込む感じで、
ディベートを議論と勘違いしてるよくある感じのやつだと思ってる。
927:デフォルトの名無しさん
17/05/31 15:53:44.27 T8V/ATS8.net
俺はHaskellはトーシロ（死語）だから実行時に型チェックするパターンがあるかどうかなんて細かいこと分からんが
エンジニアガイジが「Haskellの型はほとんどコンパイル時解決だ」って言われたときに
やるべきだった反応は
「俺はこのパターンは実行時解決だと思ってたけど違ったか？」であって
「ほとんどは全部じゃねえよはい論破」じゃない。
こういうところが議論向いてないんだよな。
928:デフォルトの名無しさん
17/05/31 17:26:35.18 gpiwU3f+.net
(TvT)
929:デフォルトの名無しさん
17/05/31 18:22:27.22 EynlLbc5.net
>>908
enum？
もしかしてHaskellとScala間違えてんの？
930:あ
17/05/31 20:17:12.66 dc+IbjjD.net
>>921
相手の意見は汲み取れと言われながら、自分の主張は汲み取る必要が無いように余すことなく全て話せと言われると、
それは違う思う。
>>929
いや、完全に記憶だよりだからその辺違うなら違うんだと思う。
optionじゃなくてnilだった気もする。
なんと言うか、凄いな。Haskellを否定するだけでここまでヒートアップするのは。
スレタイからも抜けたし、否定し放題だとは思うが。
否定されるのが嫌ならHaskellスレに引きこもってりゃ良いのに。
931:デフォルトの名無しさん
17/05/31 20:44:50.62 uGw1TdWN.net
自分の意見が伝わりにくいことは現象として理解してる癖に、優しい人が理由を考えてあげると反論してしまい受け入れられない
誰かがいってた放置されてきた子って的確な表現だな
どんな優しい人でもこれは放置する
932:デフォルトの名無しさん
17/05/31 20:46:07.28 X6jg+zcK.net
言語についてテキトーな事を書いたらツッコミ入れるような奴が
このスレに集まってるだけだぞ
Haskell関係ない
933:デフォルトの名無しさん
17/05/31 21:11:21.68 43iY7lC1.net
>>930
＞相手の意見は汲み取れと言われながら、自分の主張は汲み取る必要が無いように余すことなく全て話せ
それをお互いにやるんだよ。
でもどちらも人間なんだから限界あるだろ？そこを擦り合わせるんだよ。
それが論破合戦じゃない議論なんだよ。
934:デフォルトの名無しさん
17/05/31 21:29:09.19 43iY7lC1.net
もしかしてエンジニアガイジは自分の意見に反論や疑問が飛んできたとき、
「こいつは自分を潰しに来たから潰し返さないと」とか思ったりしてる？
935:デフォルトの名無しさん
17/05/31 22:25:13.36 ZWDZ9M4A.net
それできてる奴このスレにいるんですか
大抵潰し合ってないですかね
936:デフォルトの名無しさん
17/05/31 22:39:52.28 EynlLbc5.net
>>930
Haskellを否定というか、
明らかに間違えてるので、知りもしないで突っ込んでるとしか思えないが
937:デフォルトの名無しさん
17/05/31 22:43:08.23 EynlLbc5.net
というか、この人Haskell触ったことなくて叩いてるよね
食わず嫌いは勝手だからいいとしても、さも知っていて、かつ理性的かのように振る舞うのはどうなんだ？
素直に理由はないがキモいと言えばいいのに
938:デフォルトの名無しさん
17/05/31 23:51:50.75 meGSNm+f.net
>>851
大規模案件で採用されているゴミ屑PHPさんの悪口はやめろ
939:デフォルトの名無しさん
17/06/01 00:21:45.04 7sVuk+w7.net
まあルストはダメだってことはわかった。
940:デフォルトの名無しさん
17/06/01 01:21:00.20 P48QZU+o.net
>>930
>いや、完全に記憶だよりだからその辺違うなら違うんだと思う。
>optionじゃなくてnilだった気もする。
記憶違いのレベルでなく、それはどこからどう見てもHaskellの型とは似ても似つかない。
記法の問題でもない。
概念レベルから根本的にHaskellとは異なるものをHaskellの欠点と言い張っているだけ。
941:デフォルトの名無しさん
17/06/01 01:23:44.43 EiP2TW+2.net
carとcdr使う静的言語ってなんだ
942:デフォルトの名無しさん
17/06/01 01:29:53.69 P48QZU+o.net
型推論付きのSchemeか？w
943:デフォルトの名無しさん
17/06/01 02:27:16.60 8CaOxlMo.net
まあHaskell触った事ある奴はOptionとMaybe
Nothingとnilは間違えないよな
nullって書いても他言語とは全く異なるし
944:デフォルトの名無しさん
17/06/01 02:30:44.70 8CaOxlMo.net
あとBottomType的な意味でnilとか言ってもだめだぞ
ないからなw
945:デフォルトの名無しさん
17/06/01 02:55:42.04 wUNQCT/b.net
>>930
どこから見てもお前の言ってる事がおかしいぞ
論理的におかしい事をさも正しい事のように言ってるから叩かれてるだけ
946:デフォルトの名無しさん
17/06/01 03:12:08.82 z55iS7vV.net
どこから見てもおかしいというだけの主張が論理的なのか
947:デフォルトの名無しさん
17/06/01 06:01:07.41 8CaOxlMo.net
>>946
何を言ってるかわからないほど破綻してるから、おかしいで合ってるし
そして論理そのものは前提で変わり、妥当性とは関係ないので、お前の主張もおかしい
論理的云々と言うやつほど論理を知らない証左
948:デフォルトの名無しさん
17/06/01 06:44:41.63 vNOzF29i.net
関数型の思想を一切使わずアプリケーションをバグ無く作れる者だけが、彼に石を投げなさい
949:あ
17/06/01 07:44:01.52 xXOCh96c.net
おお、皆に言われるとHaskellをもう一度学ばないといかん気はしてきたな。
割とありがたいし、せっかくだからちょっとやってみるわ。
>>933
あーなるほど。それはわからんでもないな。
ただ、指導教官に昔言われた「不明点は察するな、現実を話させろ」を実践してて、
言ってしまえばアスペ的思考をしてたから、ちょっと慣れるまでに時間かかるかも。
実際役にもたったしね。その発想。
950:デフォルトの名無しさん
17/06/01 08:26:56.92 fZ4Ynj9f.net
みんなが言ってくれてんのはね
Haskellｂﾇうのこうのとｂ｢うよりもまず
お前は重度の知ったか自己弁護野郎であり
さすがに付き合いきれないよってこと
たぶん、そういうとこは伝わってないんやろな
951:デフォルトの名無しさん
17/06/01 08:29:11.71 fZ4Ynj9f.net
文字化け修正：
Haskellどうのこうのというよりもまず
952:デフォルトの名無しさん
17/06/01 10:36:58.41 2zjIoc8f.net
>>949
＞不明点は察するな、現実を話させろ
大学の研究室や学会では正しいが、2chっつーかネット越しの文字でやるには向いてない手法だな
手法は場によって選ぼうな？
あと自分が間違ってるかもしれないって懸念は常に持っとこうな。
953:デフォルトの名無しさん
17/06/01 10:39:52.18 2zjIoc8f.net
>>952
下段は今回のHaskellのことに限らず知ったかぶり悪循環に陥ることへのフェイルセーフな。
俺はHaskell詳しくないから知ったかかどうかわからんのだが一応。
954:デフォルトの名無しさん
17/06/01 11:08:27.45 Bx3/ibOs.net
治療法を察するな、症状を話させろ
Haskellを知ったかぶるのは大したことないが、医学を知ったかぶると命に関わる
955:デフォルトの名無しさん
17/06/01 11:26:50.36 UQSg1EaA.net
誤解の生じない自然言語が望まれる
956:デフォルトの名無しさん
17/06/01 11:27:26.76 HdFpeWhQ.net
ところで質問なんですが
Haskellの型クラスは裏でメソッド辞書を渡して実行時ディスパッチをするって読んだんですがこの理解で合ってます？
URLﾘﾝｸ(people.csail.mit.edu)
それともコールする関数の決定も何らかの最適化機構でコンパイル時にすませてしまうのでしょうか
957:デフォルトの名無しさん
17/06/01 11:48:38.71 Bx3/ibOs.net
>>956
C++のコンパイル時ダックタイピングと同じ
実行時ディスパッチではない
958:デフォルトの名無しさん
17/06/01 12:35:37.68 bubu+W4z.net
>>956
後者で合ってる
GHCの場合は最適化無しでランタイムにdictionary lookupするコードを生成
最適化でコンパイル時解決になる
指定なしなら通常は最適化される
959:デフォルトの名無しさん
17/06/01 12:56:45.70 sszEh+oH.net
>>958
なるほど
If the type of a function contains a class, then this
is translated into a dictionary that is passed at runtime.
The translation simply assures that the appropriate dictionaries
passed at run-time; ...
One drawback of our translation method is that it introduces
new parameters to be passed at runtime, ...
等々しつこく書いてあったのでてっきり今もランタイムかと。
その後コンパイル時に完結できるようになっていたんですね。ありがとうございます。
960:デフォルトの名無しさん
17/06/01 14:21:39.82 JVCP5RQG.net
>>959
念のため言うが、飽くまで一般の話だよ
上での言及のように例外なく、必ずcompile timeになるかどうかはわからない
普通に考えれば、呼出側だけでなく、モジュールに何か細工が必要だろうし
961:デフォルトの名無しさん
17/06/01 14:30:58.85 Ty12p446.net
>>959
調べてみたが、少なくともHaskell 2010ではCompile timeが保証されているようだ
というか88年の文献は、いくらなんでも古すぎないか？
962:デフォルトの名無しさん
17/06/01 19:59:34.59 vNOzF29i.net
他者と誤解なく分かりあえるようになるための共通言語を開発しよう
もちろん、人と人だけでなく、人とコンピュータも分かりあえる共通言語だ
それこそが次世代言語だ
963:あ
17/06/01 20:05:18.45 23mplHvr.net
>>952
ネット越しだからやるべきかとは。。
>>961
ヨコからだけどありがとう。参考になるわ。見てくる。
>>962
エスペラントを一歩すすめる時代か。
964:デフォルトの名無しさん
17/06/01 20:18:08.98 Dnfnpswj.net
>>963
やった結果がお前さんの現状なんだよな。
965:デフォルトの名無しさん
17/06/01 20:42:26.57 sszEh+oH.net
>>961
Haskell 2010 でもまだランタイムに依存しているみたいだけど違う？
URLﾘﾝｸ(stackoverflow.com)
966:デフォルトの名無しさん
17/06/01 22:45:39.05 14pfKSNM.net
あらゆるモダン言語で見るようになったmapとかflatmapっていうのはどこから生まれたものなの？
967:デフォルトの名無しさん
17/06/01 22:50:28.99 W7qZGWEB.net
LISPじゃね
968:デフォルトの名無しさん
17/06/02 00:08:33.62 lDZ3L3oh.net
>>965
ちょっと話が見えないんだが、もしかして回答してほしいのは
>URLﾘﾝｸ(people.csail.mit.edu)
に限定した話ではないのか？
保証については、再帰がない場合の話で、その参照先は>>959とは状況違う
その場合>>958 + >>960という回答になる
969:デフォルトの名無しさん
17/06/02 02:50:18.61 bQ6pitWP.net
再帰があっても深さを制限すればspecializeできるんじゃね
制限を超えたらエラーにするか、あるいはspecializeをやめたら無限に再帰できるか？
970:デフォルトの名無しさん
17/06/02 07:14:02.17 vc1fSB5M.net
>>968
あ、いえ、すみません
>>958+960 で理解の確認はできています
ありがとうございます
ただ一方で >>905 >>957 >>961 みたいな主張もあるようなので
最新の実装では型クラスを取り巻く状況もかなり違ってきているのかなと
971:デフォルトの名無しさん
17/06/03 09:45:16.91 1Cu2c1ce.net
これ互換性にあまり影響のない実装の変更だよね
それより互換性が完全になくなった変更を批判する方が建設的