いざ、語ろうぞ。
スレタイ超過のため、一部省略。
Go, Erlang, Kotlin, etcもウェルカム。
Haskellは協議により次世代失格になりました
前スレ
次世代言語議論スレ[Go Rust Haskell Scala]第3世代
http://echo.2ch.net/test/read.cgi/tech/1488608741/
探検
次世代言語議論スレ[Go Rust Kotlin Scala]第4世代 [無断転載禁止]©2ch.net
レス数が950を超えています。1000を超えると書き込みができなくなります。
2017/04/20(木) 04:43:27.12ID:mNwXvrXv
882あ
2017/05/30(火) 18:57:43.16ID:CncaY8jR >>881
読みにくいってまた主観的な意見だな。
何かダメなの?
こないだの、改行を適宜入れろって話のほうがはるかに役に立ってる。
後半。
Haskell自体が八方美人のブスみたいな印象で、実際問題その理念通りの使い物にはならんと言ってるだけで、Haskell使いは叩いてないぞ俺。
読みにくいってまた主観的な意見だな。
何かダメなの?
こないだの、改行を適宜入れろって話のほうがはるかに役に立ってる。
後半。
Haskell自体が八方美人のブスみたいな印象で、実際問題その理念通りの使い物にはならんと言ってるだけで、Haskell使いは叩いてないぞ俺。
883デフォルトの名無しさん
2017/05/30(火) 19:03:05.19ID:ixvaRPT7884デフォルトの名無しさん
2017/05/30(火) 19:15:39.06ID:Eop9uX5M >Haskell自体が八方美人のブスみたいな印象で、実際問題その理念通りの使い物にはならんと言ってるだけで、Haskell使いは叩いてないぞ俺。
これRust叩きの人も同じやん
これRust叩きの人も同じやん
885デフォルトの名無しさん
2017/05/30(火) 19:19:35.04ID:8KwHai5R >>871
Yes!
Yes!
886デフォルトの名無しさん
2017/05/30(火) 19:24:22.10ID:MdPNaTW3 スレタイ読めないの?漏れ↓だと思ってんだけど
ここはアンチC++の巣くつ(わざと「すくつ」って書いたら予測変換出てきたw)
ここはアンチC++の巣くつ(わざと「すくつ」って書いたら予測変換出てきたw)
887デフォルトの名無しさん
2017/05/30(火) 19:50:43.11ID:gVUCJ1iG Rustは使い物にならないと批判してる人は
仮にfirefoxをちゃんとRustで書き直したら実用性はあると認めるの?
それとももっと基準は高い?
仮にfirefoxをちゃんとRustで書き直したら実用性はあると認めるの?
それとももっと基準は高い?
888デフォルトの名無しさん
2017/05/30(火) 20:36:56.72ID:Eop9uX5M 威信にかけてFireFoxは書くだろ
むしろそれ出来上がらなかったら本格的にヤバいじゃん
むしろそれ出来上がらなかったら本格的にヤバいじゃん
889デフォルトの名無しさん
2017/05/30(火) 21:03:27.26ID:5Aqfn1oc とりあえずRustでJavaScriptを作れば後はJavaScriptで自由に書けるじゃん
890デフォルトの名無しさん
2017/05/30(火) 21:42:15.61ID:flnvhYto891デフォルトの名無しさん
2017/05/30(火) 21:44:23.55ID:J0ju3rCP まあ待て待て、ここで挙げられてる言語は全部使ったことある俺が一番ウンコな言語を判定してやるよ
一番ウンコはSmalltalk!これは間違いない
一番ウンコはSmalltalk!これは間違いない
892デフォルトの名無しさん
2017/05/30(火) 22:21:32.00ID:8KwHai5R 最も
醜い言語はJS
美しい言語はScala
簡単な言語はpython
難解な言語はHaskel
柔軟な言語はC++
魅力がない言語はC#
意思を感じる言語はObjC
かっこいい言語はElixer
雑な言語はGo
愛された言語はJava
幸運な言語はRuby
迷走してる言語はPHP
醜い言語はJS
美しい言語はScala
簡単な言語はpython
難解な言語はHaskel
柔軟な言語はC++
魅力がない言語はC#
意思を感じる言語はObjC
かっこいい言語はElixer
雑な言語はGo
愛された言語はJava
幸運な言語はRuby
迷走してる言語はPHP
893デフォルトの名無しさん
2017/05/30(火) 22:22:05.08ID:tbholWW0894デフォルトの名無しさん
2017/05/30(火) 22:23:35.43ID:R+mglHOn 最も
空気な言語はRust
空気な言語はRust
895デフォルトの名無しさん
2017/05/30(火) 22:24:39.69ID:tbholWW0 >>884
Rust使いはステマ部隊かステマ部隊に騙された不幸な人だからな。前者は叩いても後者は叩けんな。
Rust使いはステマ部隊かステマ部隊に騙された不幸な人だからな。前者は叩いても後者は叩けんな。
896デフォルトの名無しさん
2017/05/30(火) 22:30:20.45ID:tbholWW0 >>880
Rust信者というかモジラとかいう世界中のソフトウェア会社の敵が狙ってるのがこれだろうなってことは感じてた。
クソ言語をステマ工作してソフトウェア会社に売り込んで、自分達の給料の確保に使う。クソモジラならやる。
Rust信者というかモジラとかいう世界中のソフトウェア会社の敵が狙ってるのがこれだろうなってことは感じてた。
クソ言語をステマ工作してソフトウェア会社に売り込んで、自分達の給料の確保に使う。クソモジラならやる。
897デフォルトの名無しさん
2017/05/30(火) 23:06:16.05ID:xHXzQ5Z2 >>892
ES6でかなりマシになったから(ガクブル
ES6でかなりマシになったから(ガクブル
900デフォルトの名無しさん
2017/05/30(火) 23:29:41.17ID:ixvaRPT7 全然必要充分ではない。現に二人誤解したし、俺も最初は誤解した
901あ
2017/05/30(火) 23:42:29.76ID:CncaY8jR >>900
誤解した人間が二人、誤解していた人間が一人、発言なく見えないどちらの状態かわからない人間が複数名。
これで有意差を出すなら、何人が母数なの?
自分の観測域で相手を評価するのは良くないと思うけど。
「自分と同じく誤解したが誤解が解けたか、誤解したままである」と周りを推定するのは、俺が相手は馬鹿ではないはずだと推定するのと同じでは無いのかと期待するのと同じレベルかと。
しかしまぁ、少なくとも議論スレならばもう少しマシな話がしたいし、不要な枕詞は使いたくないけど、まぁ通じないなら言い方をもうちょい気をつけるわ。
誤解した人間が二人、誤解していた人間が一人、発言なく見えないどちらの状態かわからない人間が複数名。
これで有意差を出すなら、何人が母数なの?
自分の観測域で相手を評価するのは良くないと思うけど。
「自分と同じく誤解したが誤解が解けたか、誤解したままである」と周りを推定するのは、俺が相手は馬鹿ではないはずだと推定するのと同じでは無いのかと期待するのと同じレベルかと。
しかしまぁ、少なくとも議論スレならばもう少しマシな話がしたいし、不要な枕詞は使いたくないけど、まぁ通じないなら言い方をもうちょい気をつけるわ。
902デフォルトの名無しさん
2017/05/30(火) 23:48:23.58ID:ixvaRPT7 そうしてくれ
903デフォルトの名無しさん
2017/05/30(火) 23:53:22.51ID:8eoxxCqM904デフォルトの名無しさん
2017/05/31(水) 05:55:34.28ID:4rMtQxoJ >>891
SmallTalkが一番ウンコだと思った決め手は何?
SmallTalkが一番ウンコだと思った決め手は何?
905デフォルトの名無しさん
2017/05/31(水) 06:14:00.96ID:wEozaoTa >>879
では、具体的にGHCが実行時型情報を必要とするケースを挙げてみろよ。
言っておくが、パラメトリック多相は全てコンパイル時に解決されるし、
型クラスによるアドホック多相も、あれは関数オーバーロードの形式化だからな。
関数オーバーロードはコンパイル時に解決されるぞ。
さあ、具体的に挙げてみろよ。
では、具体的にGHCが実行時型情報を必要とするケースを挙げてみろよ。
言っておくが、パラメトリック多相は全てコンパイル時に解決されるし、
型クラスによるアドホック多相も、あれは関数オーバーロードの形式化だからな。
関数オーバーロードはコンパイル時に解決されるぞ。
さあ、具体的に挙げてみろよ。
906デフォルトの名無しさん
2017/05/31(水) 07:43:00.95ID:uGw1TdWN 多分、エンジニアガイジの主張は
「rustはコンパイル時に多相を解決する能力がないので、その能力のあるHaskell と違ってデータ構造が作りにくいのは仕方がない」
みたいな感じと思われる。難解だけど
「rustはコンパイル時に多相を解決する能力がないので、その能力のあるHaskell と違ってデータ構造が作りにくいのは仕方がない」
みたいな感じと思われる。難解だけど
907デフォルトの名無しさん
2017/05/31(水) 08:28:06.80ID:uGw1TdWN 逆だ「実行時に多相を解決能力がない」だ
908あ
2017/05/31(水) 09:15:21.09ID:dc+IbjjD909デフォルトの名無しさん
2017/05/31(水) 09:37:51.17ID:uGw1TdWN おお合ってたか。正直自信なかったんだよね
>>906を主張を三行に纏めるお手本にしてくれてもいいぞw
>>906を主張を三行に纏めるお手本にしてくれてもいいぞw
910デフォルトの名無しさん
2017/05/31(水) 10:08:26.32ID:j+YATO3J さすがに読み解けんわ……
エンジニアガイジは本気で伝え方の訓練した方がいい。
ID:uGw1TdWNみたいな有能な読み解き手がいつもおるとは限らんわ。
エンジニアガイジは本気で伝え方の訓練した方がいい。
ID:uGw1TdWNみたいな有能な読み解き手がいつもおるとは限らんわ。
911デフォルトの名無しさん
2017/05/31(水) 10:21:53.06ID:j+YATO3J エンジニアガイジの主張がさっぱり伝わらない理由って何かと見返してみたが、
相手の反論を表面的にしか返さないせいだな。その質問がどういう疑問から出たかわかってない
「Haskellは実行時に型を解決する(からRustより型の表現力がある代わりにオーバーヘッドのトレードオフがある)」 って意見に
「Haskellもほとんどコンパイル時に解決できるわ」って反論が来たときに「ほとんどは全てじゃないだろ」なんてなにも伝わらん腐った返しするから伝わらないんだっての
「そのごく一部のおかげでそれが皆無のRustより型の表現力があるんだろ?」って、元の主張の()の部分を伝えればまだ理解してもらえるだろうに。
つまり疑問に対する反論が下手。
相手の反論を表面的にしか返さないせいだな。その質問がどういう疑問から出たかわかってない
「Haskellは実行時に型を解決する(からRustより型の表現力がある代わりにオーバーヘッドのトレードオフがある)」 って意見に
「Haskellもほとんどコンパイル時に解決できるわ」って反論が来たときに「ほとんどは全てじゃないだろ」なんてなにも伝わらん腐った返しするから伝わらないんだっての
「そのごく一部のおかげでそれが皆無のRustより型の表現力があるんだろ?」って、元の主張の()の部分を伝えればまだ理解してもらえるだろうに。
つまり疑問に対する反論が下手。
912デフォルトの名無しさん
2017/05/31(水) 10:31:33.38ID:j+YATO3J エンジニアガイジは相手が自分の主張に何か返してきたとき、「相手に何が伝わってなかったか」を考えるようにした方がいい。
それが出来てないから今はただ論破することしかできてない。
それが出来てないから今はただ論破することしかできてない。
913デフォルトの名無しさん
2017/05/31(水) 10:49:08.01ID:9eeNyIu8 ハイロンパしたいだけの奴に何言ってもね。。
914デフォルトの名無しさん
2017/05/31(水) 10:55:14.91ID:WMdxYZmu >>913
本当に「はい論破」したいだけなのか、かわいそうに論破スタイルしか議論の方法知らんのか俺には区別つかないからなぁ。
自分の意見の伝わらなさの自覚はありそうだから(現状人のせいにしてるが)後者にかけて長文投下した
本当に「はい論破」したいだけなのか、かわいそうに論破スタイルしか議論の方法知らんのか俺には区別つかないからなぁ。
自分の意見の伝わらなさの自覚はありそうだから(現状人のせいにしてるが)後者にかけて長文投下した
915デフォルトの名無しさん
2017/05/31(水) 10:58:50.65ID:xgELgHJk 彼はアスペルガー症候群でしょう
本人に非があるわけではないが、治ることもない
本人に非があるわけではないが、治ることもない
916デフォルトの名無しさん
2017/05/31(水) 11:03:36.26ID:WMdxYZmu >>915
確かに「相手の反論が何を疑問点として出てきたかを推察できずに表面的な論破をしたがる」っていうのは典型的なアレだが、
それだけで病気認定は俺にはできんな。健常者でも多少の訓練は必要な事柄だからな。
ただ可能なら診察は受けた方がいいかもわからんね。純粋な心配として。
確かに「相手の反論が何を疑問点として出てきたかを推察できずに表面的な論破をしたがる」っていうのは典型的なアレだが、
それだけで病気認定は俺にはできんな。健常者でも多少の訓練は必要な事柄だからな。
ただ可能なら診察は受けた方がいいかもわからんね。純粋な心配として。
917あ
2017/05/31(水) 11:08:50.13ID:dc+IbjjD918あ
2017/05/31(水) 11:10:55.99ID:dc+IbjjD919デフォルトの名無しさん
2017/05/31(水) 11:17:13.85ID:+xjBJZk4 ただのADHDってことか
気持ち良い納得感を得られる良スレだな
気持ち良い納得感を得られる良スレだな
920デフォルトの名無しさん
2017/05/31(水) 11:18:20.52ID:4nPr+Atc ADHD以前に躁鬱でしょ
921デフォルトの名無しさん
2017/05/31(水) 11:20:10.30ID:WMdxYZmu >>917
一から百の全部を要求するやつは蹴り倒していいとは自分も思うが、一から百のうち任意のどこかを要求する人の相手くらいできんと人と議論は進まんぞ。
相手の疑問から一から百のうちどこの説明をするべきか読み取ろうという話
反論がまともに来ないのはこれまでの積み重ねのせいじゃないのか?
別に論破スタイルじゃなくてもストレートに議論はできるだろ。
一から百の全部を要求するやつは蹴り倒していいとは自分も思うが、一から百のうち任意のどこかを要求する人の相手くらいできんと人と議論は進まんぞ。
相手の疑問から一から百のうちどこの説明をするべきか読み取ろうという話
反論がまともに来ないのはこれまでの積み重ねのせいじゃないのか?
別に論破スタイルじゃなくてもストレートに議論はできるだろ。
922デフォルトの名無しさん
2017/05/31(水) 11:21:41.06ID:WMdxYZmu >>918
通院済みか。余計なお世話だったようだ。
通院済みか。余計なお世話だったようだ。
923デフォルトの名無しさん
2017/05/31(水) 12:19:10.63ID:uGw1TdWN 彼にガイジとニックネーム付けた奴の先見性高いと思わない?
924デフォルトの名無しさん
2017/05/31(水) 15:24:55.30ID:jQ0rWyUQ >>908
><T>を持ったenumがOptionかcar(T)とcdr(<T,T>)である時くらいかな。
コンパイル時に解決できないHaskellの多相の例がそれか?
おまえHaskell書いたことあるか?
><T>を持ったenumがOptionかcar(T)とcdr(<T,T>)である時くらいかな。
コンパイル時に解決できないHaskellの多相の例がそれか?
おまえHaskell書いたことあるか?
925デフォルトの名無しさん
2017/05/31(水) 15:27:38.08ID:jQ0rWyUQ 多動のせいで議論ができないんじゃなくて、
シッタカで主張が支離滅裂になっているのを
多動のせいだと思ったおまえらが勝手に辻褄合わせをしてあげて
なんだか最初からそういう主張をしているかのように
本人もおまえらも思い込んでいるだけ。
シッタカで主張が支離滅裂になっているのを
多動のせいだと思ったおまえらが勝手に辻褄合わせをしてあげて
なんだか最初からそういう主張をしているかのように
本人もおまえらも思い込んでいるだけ。
926デフォルトの名無しさん
2017/05/31(水) 15:40:30.39ID:T8V/ATS8 >>925
別に多動のせいじゃないと俺は思うがなあ。多動ってそもそも議論できる出来ないに関係あったっけ?
単に意見の擦り合わせが絶望的に出来ないから知ったかと同じような議論破綻に突っ込む感じで、
ディベートを議論と勘違いしてるよくある感じのやつだと思ってる。
別に多動のせいじゃないと俺は思うがなあ。多動ってそもそも議論できる出来ないに関係あったっけ?
単に意見の擦り合わせが絶望的に出来ないから知ったかと同じような議論破綻に突っ込む感じで、
ディベートを議論と勘違いしてるよくある感じのやつだと思ってる。
927デフォルトの名無しさん
2017/05/31(水) 15:53:44.27ID:T8V/ATS8 俺はHaskellはトーシロ(死語)だから実行時に型チェックするパターンがあるかどうかなんて細かいこと分からんが
エンジニアガイジが「Haskellの型はほとんどコンパイル時解決だ」って言われたときに
やるべきだった反応は
「俺はこのパターンは実行時解決だと思ってたけど違ったか?」であって
「ほとんどは全部じゃねえよはい論破」じゃない。
こういうところが議論向いてないんだよな。
エンジニアガイジが「Haskellの型はほとんどコンパイル時解決だ」って言われたときに
やるべきだった反応は
「俺はこのパターンは実行時解決だと思ってたけど違ったか?」であって
「ほとんどは全部じゃねえよはい論破」じゃない。
こういうところが議論向いてないんだよな。
928デフォルトの名無しさん
2017/05/31(水) 17:26:35.18ID:gpiwU3f+ (TvT)
929デフォルトの名無しさん
2017/05/31(水) 18:22:27.22ID:EynlLbc5930あ
2017/05/31(水) 20:17:12.66ID:dc+IbjjD931デフォルトの名無しさん
2017/05/31(水) 20:44:50.62ID:uGw1TdWN 自分の意見が伝わりにくいことは現象として理解してる癖に、優しい人が理由を考えてあげると反論してしまい受け入れられない
誰かがいってた放置されてきた子って的確な表現だな
どんな優しい人でもこれは放置する
誰かがいってた放置されてきた子って的確な表現だな
どんな優しい人でもこれは放置する
932デフォルトの名無しさん
2017/05/31(水) 20:46:07.28ID:X6jg+zcK 言語についてテキトーな事を書いたらツッコミ入れるような奴が
このスレに集まってるだけだぞ
Haskell関係ない
このスレに集まってるだけだぞ
Haskell関係ない
933デフォルトの名無しさん
2017/05/31(水) 21:11:21.68ID:43iY7lC1 >>930
>相手の意見は汲み取れと言われながら、自分の主張は汲み取る必要が無いように余すことなく全て話せ
それをお互いにやるんだよ。
でもどちらも人間なんだから限界あるだろ?そこを擦り合わせるんだよ。
それが論破合戦じゃない議論なんだよ。
>相手の意見は汲み取れと言われながら、自分の主張は汲み取る必要が無いように余すことなく全て話せ
それをお互いにやるんだよ。
でもどちらも人間なんだから限界あるだろ?そこを擦り合わせるんだよ。
それが論破合戦じゃない議論なんだよ。
934デフォルトの名無しさん
2017/05/31(水) 21:29:09.19ID:43iY7lC1 もしかしてエンジニアガイジは自分の意見に反論や疑問が飛んできたとき、
「こいつは自分を潰しに来たから潰し返さないと」とか思ったりしてる?
「こいつは自分を潰しに来たから潰し返さないと」とか思ったりしてる?
935デフォルトの名無しさん
2017/05/31(水) 22:25:13.36ID:ZWDZ9M4A それできてる奴このスレにいるんですか
大抵潰し合ってないですかね
大抵潰し合ってないですかね
936デフォルトの名無しさん
2017/05/31(水) 22:39:52.28ID:EynlLbc5937デフォルトの名無しさん
2017/05/31(水) 22:43:08.23ID:EynlLbc5 というか、この人Haskell触ったことなくて叩いてるよね
食わず嫌いは勝手だからいいとしても、さも知っていて、かつ理性的かのように振る舞うのはどうなんだ?
素直に理由はないがキモいと言えばいいのに
食わず嫌いは勝手だからいいとしても、さも知っていて、かつ理性的かのように振る舞うのはどうなんだ?
素直に理由はないがキモいと言えばいいのに
938デフォルトの名無しさん
2017/05/31(水) 23:51:50.75ID:meGSNm+f >>851
大規模案件で採用されているゴミ屑PHPさんの悪口はやめろ
大規模案件で採用されているゴミ屑PHPさんの悪口はやめろ
939デフォルトの名無しさん
2017/06/01(木) 00:21:45.04ID:7sVuk+w7 まあルストはダメだってことはわかった。
940デフォルトの名無しさん
2017/06/01(木) 01:21:00.20ID:P48QZU+o >>930
>いや、完全に記憶だよりだからその辺違うなら違うんだと思う。
>optionじゃなくてnilだった気もする。
記憶違いのレベルでなく、それはどこからどう見てもHaskellの型とは似ても似つかない。
記法の問題でもない。
概念レベルから根本的にHaskellとは異なるものをHaskellの欠点と言い張っているだけ。
>いや、完全に記憶だよりだからその辺違うなら違うんだと思う。
>optionじゃなくてnilだった気もする。
記憶違いのレベルでなく、それはどこからどう見てもHaskellの型とは似ても似つかない。
記法の問題でもない。
概念レベルから根本的にHaskellとは異なるものをHaskellの欠点と言い張っているだけ。
941デフォルトの名無しさん
2017/06/01(木) 01:23:44.43ID:EiP2TW+2 carとcdr使う静的言語ってなんだ
942デフォルトの名無しさん
2017/06/01(木) 01:29:53.69ID:P48QZU+o 型推論付きのSchemeか?w
943デフォルトの名無しさん
2017/06/01(木) 02:27:16.60ID:8CaOxlMo まあHaskell触った事ある奴はOptionとMaybe
Nothingとnilは間違えないよな
nullって書いても他言語とは全く異なるし
Nothingとnilは間違えないよな
nullって書いても他言語とは全く異なるし
944デフォルトの名無しさん
2017/06/01(木) 02:30:44.70ID:8CaOxlMo あとBottomType的な意味でnilとか言ってもだめだぞ
ないからなw
ないからなw
945デフォルトの名無しさん
2017/06/01(木) 02:55:42.04ID:wUNQCT/b946デフォルトの名無しさん
2017/06/01(木) 03:12:08.82ID:z55iS7vV どこから見てもおかしいというだけの主張が論理的なのか
947デフォルトの名無しさん
2017/06/01(木) 06:01:07.41ID:8CaOxlMo >>946
何を言ってるかわからないほど破綻してるから、おかしいで合ってるし
そして論理そのものは前提で変わり、妥当性とは関係ないので、お前の主張もおかしい
論理的云々と言うやつほど論理を知らない証左
何を言ってるかわからないほど破綻してるから、おかしいで合ってるし
そして論理そのものは前提で変わり、妥当性とは関係ないので、お前の主張もおかしい
論理的云々と言うやつほど論理を知らない証左
948デフォルトの名無しさん
2017/06/01(木) 06:44:41.63ID:vNOzF29i 関数型の思想を一切使わずアプリケーションをバグ無く作れる者だけが、彼に石を投げなさい
949あ
2017/06/01(木) 07:44:01.52ID:xXOCh96c おお、皆に言われるとHaskellをもう一度学ばないといかん気はしてきたな。
割とありがたいし、せっかくだからちょっとやってみるわ。
>>933
あーなるほど。それはわからんでもないな。
ただ、指導教官に昔言われた「不明点は察するな、現実を話させろ」を実践してて、
言ってしまえばアスペ的思考をしてたから、ちょっと慣れるまでに時間かかるかも。
実際役にもたったしね。その発想。
割とありがたいし、せっかくだからちょっとやってみるわ。
>>933
あーなるほど。それはわからんでもないな。
ただ、指導教官に昔言われた「不明点は察するな、現実を話させろ」を実践してて、
言ってしまえばアスペ的思考をしてたから、ちょっと慣れるまでに時間かかるかも。
実際役にもたったしね。その発想。
950デフォルトの名無しさん
2017/06/01(木) 08:26:56.92ID:fZ4Ynj9f みんなが言ってくれてんのはね
Haskellbヌうのこうのとb「うよりもまず
お前は重度の知ったか自己弁護野郎であり
さすがに付き合いきれないよってこと
たぶん、そういうとこは伝わってないんやろな
Haskellbヌうのこうのとb「うよりもまず
お前は重度の知ったか自己弁護野郎であり
さすがに付き合いきれないよってこと
たぶん、そういうとこは伝わってないんやろな
951デフォルトの名無しさん
2017/06/01(木) 08:29:11.71ID:fZ4Ynj9f 文字化け修正:
Haskellどうのこうのというよりもまず
Haskellどうのこうのというよりもまず
952デフォルトの名無しさん
2017/06/01(木) 10:36:58.41ID:2zjIoc8f >>949
>不明点は察するな、現実を話させろ
大学の研究室や学会では正しいが、2chっつーかネット越しの文字でやるには向いてない手法だな
手法は場によって選ぼうな?
あと自分が間違ってるかもしれないって懸念は常に持っとこうな。
>不明点は察するな、現実を話させろ
大学の研究室や学会では正しいが、2chっつーかネット越しの文字でやるには向いてない手法だな
手法は場によって選ぼうな?
あと自分が間違ってるかもしれないって懸念は常に持っとこうな。
953デフォルトの名無しさん
2017/06/01(木) 10:39:52.18ID:2zjIoc8f954デフォルトの名無しさん
2017/06/01(木) 11:08:27.45ID:Bx3/ibOs 治療法を察するな、症状を話させろ
Haskellを知ったかぶるのは大したことないが、医学を知ったかぶると命に関わる
Haskellを知ったかぶるのは大したことないが、医学を知ったかぶると命に関わる
955デフォルトの名無しさん
2017/06/01(木) 11:26:50.36ID:UQSg1EaA 誤解の生じない自然言語が望まれる
956デフォルトの名無しさん
2017/06/01(木) 11:27:26.76ID:HdFpeWhQ ところで質問なんですが
Haskellの型クラスは裏でメソッド辞書を渡して実行時ディスパッチをするって読んだんですがこの理解で合ってます?
https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf
それともコールする関数の決定も何らかの最適化機構でコンパイル時にすませてしまうのでしょうか
Haskellの型クラスは裏でメソッド辞書を渡して実行時ディスパッチをするって読んだんですがこの理解で合ってます?
https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf
それともコールする関数の決定も何らかの最適化機構でコンパイル時にすませてしまうのでしょうか
957デフォルトの名無しさん
2017/06/01(木) 11:48:38.71ID:Bx3/ibOs958デフォルトの名無しさん
2017/06/01(木) 12:35:37.68ID:bubu+W4z959デフォルトの名無しさん
2017/06/01(木) 12:56:45.70ID:sszEh+oH >>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, ...
等々しつこく書いてあったのでてっきり今もランタイムかと。
その後コンパイル時に完結できるようになっていたんですね。ありがとうございます。
なるほど
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デフォルトの名無しさん
2017/06/01(木) 14:21:39.82ID:JVCP5RQG >>959
念のため言うが、飽くまで一般の話だよ
上での言及のように例外なく、必ずcompile timeになるかどうかはわからない
普通に考えれば、呼出側だけでなく、モジュールに何か細工が必要だろうし
念のため言うが、飽くまで一般の話だよ
上での言及のように例外なく、必ずcompile timeになるかどうかはわからない
普通に考えれば、呼出側だけでなく、モジュールに何か細工が必要だろうし
961デフォルトの名無しさん
2017/06/01(木) 14:30:58.85ID:Ty12p446962デフォルトの名無しさん
2017/06/01(木) 19:59:34.59ID:vNOzF29i 他者と誤解なく分かりあえるようになるための共通言語を開発しよう
もちろん、人と人だけでなく、人とコンピュータも分かりあえる共通言語だ
それこそが次世代言語だ
もちろん、人と人だけでなく、人とコンピュータも分かりあえる共通言語だ
それこそが次世代言語だ
963あ
2017/06/01(木) 20:05:18.45ID:23mplHvr964デフォルトの名無しさん
2017/06/01(木) 20:18:08.98ID:Dnfnpswj >>963
やった結果がお前さんの現状なんだよな。
やった結果がお前さんの現状なんだよな。
965デフォルトの名無しさん
2017/06/01(木) 20:42:26.57ID:sszEh+oH >>961
Haskell 2010 でもまだランタイムに依存しているみたいだけど違う?
https://stackoverflow.com/questions/28169119/is-the-dispatch-of-a-haskell-typeclass-dynamic#comment44713002_28170590
Haskell 2010 でもまだランタイムに依存しているみたいだけど違う?
https://stackoverflow.com/questions/28169119/is-the-dispatch-of-a-haskell-typeclass-dynamic#comment44713002_28170590
966デフォルトの名無しさん
2017/06/01(木) 22:45:39.05ID:14pfKSNM あらゆるモダン言語で見るようになったmapとかflatmapっていうのはどこから生まれたものなの?
967デフォルトの名無しさん
2017/06/01(木) 22:50:28.99ID:W7qZGWEB LISPじゃね
968デフォルトの名無しさん
2017/06/02(金) 00:08:33.62ID:lDZ3L3oh >>965
ちょっと話が見えないんだが、もしかして回答してほしいのは
>https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf
に限定した話ではないのか?
保証については、再帰がない場合の話で、その参照先は>>959とは状況違う
その場合>>958 + >>960という回答になる
ちょっと話が見えないんだが、もしかして回答してほしいのは
>https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf
に限定した話ではないのか?
保証については、再帰がない場合の話で、その参照先は>>959とは状況違う
その場合>>958 + >>960という回答になる
969デフォルトの名無しさん
2017/06/02(金) 02:50:18.61ID:bQ6pitWP 再帰があっても深さを制限すればspecializeできるんじゃね
制限を超えたらエラーにするか、あるいはspecializeをやめたら無限に再帰できるか?
制限を超えたらエラーにするか、あるいはspecializeをやめたら無限に再帰できるか?
970デフォルトの名無しさん
2017/06/02(金) 07:14:02.17ID:vc1fSB5M971デフォルトの名無しさん
2017/06/03(土) 09:45:16.91ID:1Cu2c1ce これ互換性にあまり影響のない実装の変更だよね
それより互換性が完全になくなった変更を批判する方が建設的
それより互換性が完全になくなった変更を批判する方が建設的
972デフォルトの名無しさん
2017/06/12(月) 07:29:42.96ID:nTXT2jNo GOって手続き型言語?
可読性が高いって言われてる理由が知りたい
インスコしようかな
可読性が高いって言われてる理由が知りたい
インスコしようかな
973デフォルトの名無しさん
2017/06/12(月) 08:00:12.68ID:Fk2rI9BR とりあえずインスコしてみたら
何系の言語かは自分で判断すべし
何系の言語かは自分で判断すべし
974デフォルトの名無しさん
2017/06/12(月) 09:42:46.07ID:p/7lEol5 手続き型だよ
文法知らなくてもほぼほぼ読めるぐらい平易だから可読性高いって言われてるのでは
文法知らなくてもほぼほぼ読めるぐらい平易だから可読性高いって言われてるのでは
975デフォルトの名無しさん
2017/06/12(月) 09:54:41.37ID:cGkmUezk 実質は新しいCOBOLなのにGoogleが推してるせいで意識高そうなイメージがあり、
Webの文系エンジニアにバカウケ
Webの文系エンジニアにバカウケ
976デフォルトの名無しさん
2017/06/12(月) 11:13:43.87ID:GJqadCbs >>975
さすがにCOBOLに失礼ちゃう?
さすがにCOBOLに失礼ちゃう?
977デフォルトの名無しさん
2017/06/12(月) 12:21:21.41ID:iBQdyh23 Goが流行ってしまうと今まで必死に体得してきたプログラミングの概念がほとんど無に還すから
プログラミング熟練度と人気が反比例してると聞いたな
プログラミング熟練度と人気が反比例してると聞いたな
978デフォルトの名無しさん
2017/06/12(月) 12:42:10.81ID:m2eFuXIy 意識低い系言語
979デフォルトの名無しさん
2017/06/12(月) 12:49:20.16ID:2H2uEc+e コスパが高い言語
980デフォルトの名無しさん
2017/06/12(月) 13:55:38.04ID:GJqadCbs さすがに今日日昔のJavaのobject地獄を再び見ることにもなれば嫌いにもなるわな。
それ以外は割とよくまとまってる。
それ以外は割とよくまとまってる。
981デフォルトの名無しさん
2017/06/12(月) 14:00:31.39ID:GJqadCbs Goにジェネリクスが入れば割と理想の言語感はある
ノリとしては極限まで肉をそぎ落としたJavaに近いかな。
ノリとしては極限まで肉をそぎ落としたJavaに近いかな。
レス数が950を超えています。1000を超えると書き込みができなくなります。
ニュース
- ミス・ユニバース フィンランド代表の「つり目」写真が波紋… 本人釈明も批判やまず 協会謝罪「徹底的に検証」へ [冬月記者★]
- 自民・麻生太郎副総裁 石破政権の1年は「どよーん」 高市政権発足で「何となく明るくなった」「世の中のことが決まり動いている」★2 [Hitzeschleier★]
- 【おこめ券】鈴木憲和農相 小泉前農相の備蓄米放出を“反省”「備蓄の円滑な運営を図ってまいります」 [Hitzeschleier★]
- 1人3千円の食品高騰対策、何に使える? あいまいなまま衆院通過 [蚤の市★]
- ゆたぼん 二重手術を報告「めちゃくちゃ気に入っています」 [muffin★]
- 【山形】クマ駆除で誤射した猟友会隊員に町が1663万円請求へ...弾当たり男性大けが2023年 小国町 [nita★]
- 【WOWOW】UEFAチャンピオンズリーグ・ヨーロッパリーグ ★18
- とらせん
- 巨専】
- 【WOWOW】UEFAチャンピオンズリーグ・ヨーロッパリーグ ★17
- こいせん 全レス転載禁止
- わしせん ようこそ佐藤直樹くん ありがとう石井さん
- 中国人、ガチ超正論。「日本人がアイヌに対してやったことを『問題ない』とするなら、中国が日本人に同じことをしても文句ないだろう?」 [314039747]
- 【悲報】新米、全く売れなくて倉庫が満杯になってしまうwwwwwwwwwwwwwwwwwwww [802034645]
- 最近レッテル貼りしてドヤ顔してるガチガイジが嫌儲に増えてない? [866936191]
- 木曜日のんなっしょい❗(・o・🍬)仕放題スレ🏡
- 【悲報】日本共産党、ツイッター速報にブチギレ法的措置WWWWWWWWWWWWWWWWWWWWWWWWWWWW [935793931]
- 官僚「台湾有事についての質問か、『政府として逐一答えない』と…(カタカタカタ)」高市「私1人で答弁できるわよ!」 [972432215]
