次世代言語議論スレ[Go Rust Kotlin Scala]第4世代 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/04/20(木) 04:43:27.12

いざ、語ろうぞ。

スレタイ超過のため、一部省略。
Go, Erlang, Kotlin, etcもウェルカム。
Haskellは協議により次世代失格になりました

前スレ
次世代言語議論スレ[Go Rust Haskell Scala]第3世代
http://echo.2ch.net/test/read.cgi/tech/1488608741/

**デフォルトの名無しさん** · 2017/05/30(火) 15:25:43.73

RustはC++の正当後継だよ。
上位互換。

**デフォルトの名無しさん** · 2017/05/30(火) 15:53:14.47

>>861
出たーステマ部隊の常套句！
そうほざくなら>>734->>735にこたえてからにしなよ工作員

あ · 2017/05/30(火) 16:00:40.31

>>853
おお、グイグイくるな。
最近言ってなきゃいいわけではないでそ。
>>854
知ってるよ。実行時に多相性を「しない」のならその主張もわかるが、「ほとんどの場合しない」は「してる」だよ。
「施錠確認した？」「ほとんどしました」って、要は全く施錠の確認できてないのと変わらんよね。

>>735
答えたような。それ。

**デフォルトの名無しさん** · 2017/05/30(火) 16:36:41.65

>>863
それ例外の一般化っていう立派な詭弁だぞ

**デフォルトの名無しさん** · 2017/05/30(火) 16:40:24.65

Ruby、Haskell、Smalltalkときて今度はRust
そもそも、まともに知りもせず想像でひたすら叩き合ってるだけ
それを建設的かのように振る舞うのがおかしい

**デフォルトの名無しさん** · 2017/05/30(火) 16:45:38.14

RustよりGo外そうぜ
実用的かもしれないけど次世代言語とは呼べない
あれ前世代実用言語だろ

**デフォルトの名無しさん** · 2017/05/30(火) 16:49:34.00

次世代言語は来るに任せるべき。　今はC#で十分。
大事なのは、ビジネスモデルを構築できるかという事。　言語はただのツール

**デフォルトの名無しさん** · 2017/05/30(火) 16:53:10.33

C#とScala(Kotlin)は二大実用次世代言語だと思う

**デフォルトの名無しさん** · 2017/05/30(火) 16:53:38.72

>>865
知ってるから叩いてるんだよなあ。よくしらないとか想像で叩かないでほしい。

ステマに騙されてRustで無駄な時間を過ごす人が出ないようにしてる訳だから俺は建設的な話してる

**デフォルトの名無しさん** · 2017/05/30(火) 16:53:42.98

>>861
C++の後継なんて誰も必要としてなくね

**デフォルトの名無しさん** · 2017/05/30(火) 16:59:32.47

>>870
それはC++が至高だと仰ってる？

**デフォルトの名無しさん** · 2017/05/30(火) 17:00:15.77

>>870
C++が使われてるって事はいるって事だろ

**デフォルトの名無しさん** · 2017/05/30(火) 17:25:07.30

C++の後継はDかC#でいいだろ

**デフォルトの名無しさん** · 2017/05/30(火) 17:26:58.34

>>873
C++の後継はメモリ管理自由に出来てネイティブな事が最低条件だろ

**デフォルトの名無しさん** · 2017/05/30(火) 17:41:56.85

>>863
過去の幻影に囚われていつまでも暴れまわる怪獣みたいなガイジ行為はやめろ

**デフォルトの名無しさん** · 2017/05/30(火) 18:02:22.35

だめだこりゃ。「あ」は自己弁護しかできないバカだ。バイバイ。

**デフォルトの名無しさん** · 2017/05/30(火) 18:23:19.22

自己弁護の神だからしゃーない
>>863二段落目についてはあまりに下手糞な理論展開のせいで真意が伝わっていないだけだと思うけど

あ · 2017/05/30(火) 18:42:50.81

>>864
例外を一般化してるわけではなくて、その例外を許さない事自体が言語仕様、言語設計なんでしょ。
お前が例外を例外と認識しているのに、敢えて混同してるんじゃん。

あ · 2017/05/30(火) 18:46:31.86

自己弁護も何もなぁ。
べつにrust推しでも何でもなく、割とまともになってんじゃんって感想にここまで吠えられてるのに。

詭弁だと言うなら言い負かせば良いのに。
無理そうになったら狂ったり、論理否定のための人格否定で誤魔化すのやめてよ。つまらん。

**デフォルトの名無しさん** · 2017/05/30(火) 18:48:03.47

rust 信者が望んでることって結局こういうことでしょ？

http://www.kh.rim.or.jp/~nagamura/misc/stroustrup-interview.html

**デフォルトの名無しさん** · 2017/05/30(火) 18:49:24.03

自分の文が読みにくいから勘違いされてるのに反省せずそういう書き込みする
あと、その理屈ならHaskell擁護も一部のキチガイ除けばそんなに悪くないと書き込んでるだけなのに噛みつかれて困惑してるよ

あ · 2017/05/30(火) 18:57:43.16

>>881
読みにくいってまた主観的な意見だな。
何かダメなの？
こないだの、改行を適宜入れろって話のほうがはるかに役に立ってる。

後半。
Haskell自体が八方美人のブスみたいな印象で、実際問題その理念通りの使い物にはならんと言ってるだけで、Haskell使いは叩いてないぞ俺。

**デフォルトの名無しさん** · 2017/05/30(火) 19:03:05.19

>>882
その話は知らんが俺は>>705だ。前は具体的に指摘した。毎回具体的に指摘してほしいってか？
俺は超注意深く読んだから今回のはなんとか理解できてるけど、実際今二人ほど勘違いしてるよね？俺も最初彼らと同じ勘違いをしたよ

**デフォルトの名無しさん** · 2017/05/30(火) 19:15:39.06

>Haskell自体が八方美人のブスみたいな印象で、実際問題その理念通りの使い物にはならんと言ってるだけで、Haskell使いは叩いてないぞ俺。
これRust叩きの人も同じやん

**デフォルトの名無しさん** · 2017/05/30(火) 19:19:35.04

>>871
Yes！

**デフォルトの名無しさん** · 2017/05/30(火) 19:24:22.10

スレタイ読めないの？漏れ↓だと思ってんだけど
ここはアンチC++の巣くつ（わざと「すくつ」って書いたら予測変換出てきたｗ）

**デフォルトの名無しさん** · 2017/05/30(火) 19:50:43.11

Rustは使い物にならないと批判してる人は
仮にfirefoxをちゃんとRustで書き直したら実用性はあると認めるの？
それとももっと基準は高い？

**デフォルトの名無しさん** · 2017/05/30(火) 20:36:56.72

威信にかけてFireFoxは書くだろ
むしろそれ出来上がらなかったら本格的にヤバいじゃん

**デフォルトの名無しさん** · 2017/05/30(火) 21:03:27.26

とりあえずRustでJavaScriptを作れば後はJavaScriptで自由に書けるじゃん

**デフォルトの名無しさん** · 2017/05/30(火) 21:42:15.61

>>887
認める。
おれは破綻するんじゃないかと思ってる。

**デフォルトの名無しさん** · 2017/05/30(火) 21:44:23.55

まあ待て待て、ここで挙げられてる言語は全部使ったことある俺が一番ウンコな言語を判定してやるよ

一番ウンコはSmalltalk！これは間違いない

**デフォルトの名無しさん** · 2017/05/30(火) 22:21:32.00

最も
醜い言語はJS
美しい言語はScala
簡単な言語はpython
難解な言語はHaskel
柔軟な言語はC++
魅力がない言語はC#
意思を感じる言語はObjC
かっこいい言語はElixer
雑な言語はGo
愛された言語はJava
幸運な言語はRuby
迷走してる言語はPHP

**デフォルトの名無しさん** · 2017/05/30(火) 22:22:05.08

>>887
本当に書き直して成果を公開したら認めるわ。
うまくいかないにカシオミニ賭けてもいい。

**デフォルトの名無しさん** · 2017/05/30(火) 22:23:35.43

最も
空気な言語はRust

**デフォルトの名無しさん** · 2017/05/30(火) 22:24:39.69

>>884
Rust使いはステマ部隊かステマ部隊に騙された不幸な人だからな。前者は叩いても後者は叩けんな。

**デフォルトの名無しさん** · 2017/05/30(火) 22:30:20.45

>>880
Rust信者というかモジラとかいう世界中のソフトウェア会社の敵が狙ってるのがこれだろうなってことは感じてた。
クソ言語をステマ工作してソフトウェア会社に売り込んで、自分達の給料の確保に使う。クソモジラならやる。

**デフォルトの名無しさん** · 2017/05/30(火) 23:06:16.05

>>892
ES6でかなりマシになったから(ｶﾞｸﾌﾞﾙ

あ · 2017/05/30(火) 23:25:03.18

>>883
なんとか理解できてるなら必要充分だってことでしょ。
まるで>>883以外は低能みたいに言ってはいかん。

あ · 2017/05/30(火) 23:26:34.66

>>884
そうでもないだろ。
半コテでなんでここまで叩かれにゃならんのだ。

**デフォルトの名無しさん** · 2017/05/30(火) 23:29:41.17

全然必要充分ではない。現に二人誤解したし、俺も最初は誤解した

あ · 2017/05/30(火) 23:42:29.76

>>900
誤解した人間が二人、誤解していた人間が一人、発言なく見えないどちらの状態かわからない人間が複数名。
これで有意差を出すなら、何人が母数なの？
自分の観測域で相手を評価するのは良くないと思うけど。
「自分と同じく誤解したが誤解が解けたか、誤解したままである」と周りを推定するのは、俺が相手は馬鹿ではないはずだと推定するのと同じでは無いのかと期待するのと同じレベルかと。

しかしまぁ、少なくとも議論スレならばもう少しマシな話がしたいし、不要な枕詞は使いたくないけど、まぁ通じないなら言い方をもうちょい気をつけるわ。

**デフォルトの名無しさん** · 2017/05/30(火) 23:48:23.58

そうしてくれ

**デフォルトの名無しさん** · 2017/05/30(火) 23:53:22.51

>>878
何の反論にもなっとらん
俺はHaskellに例外はないなんて言ってないしそもそも知らん
難癖もいいとこだな

**デフォルトの名無しさん** · 2017/05/31(水) 05:55:34.28

>>891
SmallTalkが一番ウンコだと思った決め手は何？

**デフォルトの名無しさん** · 2017/05/31(水) 06:14:00.96

>>879
では、具体的にGHCが実行時型情報を必要とするケースを挙げてみろよ。
言っておくが、パラメトリック多相は全てコンパイル時に解決されるし、
型クラスによるアドホック多相も、あれは関数オーバーロードの形式化だからな。
関数オーバーロードはコンパイル時に解決されるぞ。
さあ、具体的に挙げてみろよ。

**デフォルトの名無しさん** · 2017/05/31(水) 07:43:00.95

多分、エンジニアガイジの主張は
「rustはコンパイル時に多相を解決する能力がないので、その能力のあるHaskell と違ってデータ構造が作りにくいのは仕方がない」
みたいな感じと思われる。難解だけど

**デフォルトの名無しさん** · 2017/05/31(水) 08:28:06.80

逆だ「実行時に多相を解決能力がない」だ

あ · 2017/05/31(水) 09:15:21.09

>>903
あ、例外の一般化をしてる、ってのは「Haskellでは実行時にも多相の解決をする」ってのを「『Haskellでは多相の解決を実行時に必ずする』と一般化(というより誤解)してる」という意味ではないのか。なら的はずれな事言ってすまんな。

>>905
具体的に上げろと言われてもなぁ。
<T>を持ったenumがOptionかcar(T)とcdr(<T,T>)である時くらいかな。

>>906
そうそう。能力を敢えて持っていない、に近いけど。
実行時ゼロコストを目指してるから仕方ない。

**デフォルトの名無しさん** · 2017/05/31(水) 09:37:51.17

おお合ってたか。正直自信なかったんだよね
>>906を主張を三行に纏めるお手本にしてくれてもいいぞｗ

**デフォルトの名無しさん** · 2017/05/31(水) 10:08:26.32

さすがに読み解けんわ……
エンジニアガイジは本気で伝え方の訓練した方がいい。
ID:uGw1TdWNみたいな有能な読み解き手がいつもおるとは限らんわ。

**デフォルトの名無しさん** · 2017/05/31(水) 10:21:53.06

エンジニアガイジの主張がさっぱり伝わらない理由って何かと見返してみたが、
相手の反論を表面的にしか返さないせいだな。その質問がどういう疑問から出たかわかってない

「Haskellは実行時に型を解決する（からRustより型の表現力がある代わりにオーバーヘッドのトレードオフがある）」って意見に
「Haskellもほとんどコンパイル時に解決できるわ」って反論が来たときに「ほとんどは全てじゃないだろ」なんてなにも伝わらん腐った返しするから伝わらないんだっての
「そのごく一部のおかげでそれが皆無のRustより型の表現力があるんだろ？」って、元の主張の（）の部分を伝えればまだ理解してもらえるだろうに。

つまり疑問に対する反論が下手。

**デフォルトの名無しさん** · 2017/05/31(水) 10:31:33.38

エンジニアガイジは相手が自分の主張に何か返してきたとき、「相手に何が伝わってなかったか」を考えるようにした方がいい。
それが出来てないから今はただ論破することしかできてない。

**デフォルトの名無しさん** · 2017/05/31(水) 10:49:08.01

ハイロンパしたいだけの奴に何言ってもね。。

**デフォルトの名無しさん** · 2017/05/31(水) 10:55:14.91

>>913
本当に「はい論破」したいだけなのか、かわいそうに論破スタイルしか議論の方法知らんのか俺には区別つかないからなぁ。

自分の意見の伝わらなさの自覚はありそうだから（現状人のせいにしてるが）後者にかけて長文投下した

**デフォルトの名無しさん** · 2017/05/31(水) 10:58:50.65

彼はアスペルガー症候群でしょう
本人に非があるわけではないが、治ることもない

**デフォルトの名無しさん** · 2017/05/31(水) 11:03:36.26

>>915
確かに「相手の反論が何を疑問点として出てきたかを推察できずに表面的な論破をしたがる」っていうのは典型的なアレだが、
それだけで病気認定は俺にはできんな。健常者でも多少の訓練は必要な事柄だからな。

ただ可能なら診察は受けた方がいいかもわからんね。純粋な心配として。

あ · 2017/05/31(水) 11:08:50.13

>>911
一から百指摘しないと理解できません、って取ったらいいの？

>>912-913
全然論破もしてるつもりないけど。
反論はまともにしてほしいだけで。
論破スタイルってか、ストレートに言わないと議論にならんでしょ。
雑談所なら雑談するよ。

あ · 2017/05/31(水) 11:10:55.99

>>916
子供作るときに一通りそういう気質があるか調べてもらったが、幸いながらアスペではなかったぞ。
残念ながら多動はあった。

**デフォルトの名無しさん** · 2017/05/31(水) 11:17:13.85

ただのADHDってことか
気持ち良い納得感を得られる良スレだな

**デフォルトの名無しさん** · 2017/05/31(水) 11:18:20.52

ADHD以前に躁鬱でしょ

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

>>917
一から百の全部を要求するやつは蹴り倒していいとは自分も思うが、一から百のうち任意のどこかを要求する人の相手くらいできんと人と議論は進まんぞ。
相手の疑問から一から百のうちどこの説明をするべきか読み取ろうという話

反論がまともに来ないのはこれまでの積み重ねのせいじゃないのか？
別に論破スタイルじゃなくてもストレートに議論はできるだろ。

**デフォルトの名無しさん** · 2017/05/31(水) 11:21:41.06

>>918
通院済みか。余計なお世話だったようだ。

**デフォルトの名無しさん** · 2017/05/31(水) 12:19:10.63

彼にガイジとニックネーム付けた奴の先見性高いと思わない？

**デフォルトの名無しさん** · 2017/05/31(水) 15:24:55.30

>>908
><T>を持ったenumがOptionかcar(T)とcdr(<T,T>)である時くらいかな。

コンパイル時に解決できないHaskellの多相の例がそれか？
おまえHaskell書いたことあるか？

**デフォルトの名無しさん** · 2017/05/31(水) 15:27:38.08

多動のせいで議論ができないんじゃなくて、
シッタカで主張が支離滅裂になっているのを
多動のせいだと思ったおまえらが勝手に辻褄合わせをしてあげて
なんだか最初からそういう主張をしているかのように
本人もおまえらも思い込んでいるだけ。

**デフォルトの名無しさん** · 2017/05/31(水) 15:40:30.39

>>925
別に多動のせいじゃないと俺は思うがなあ。多動ってそもそも議論できる出来ないに関係あったっけ？
単に意見の擦り合わせが絶望的に出来ないから知ったかと同じような議論破綻に突っ込む感じで、
ディベートを議論と勘違いしてるよくある感じのやつだと思ってる。

**デフォルトの名無しさん** · 2017/05/31(水) 15:53:44.27

俺はHaskellはトーシロ（死語）だから実行時に型チェックするパターンがあるかどうかなんて細かいこと分からんが
エンジニアガイジが「Haskellの型はほとんどコンパイル時解決だ」って言われたときに
やるべきだった反応は
「俺はこのパターンは実行時解決だと思ってたけど違ったか？」であって
「ほとんどは全部じゃねえよはい論破」じゃない。
こういうところが議論向いてないんだよな。

**デフォルトの名無しさん** · 2017/05/31(水) 17:26:35.18

(TvT)

**デフォルトの名無しさん** · 2017/05/31(水) 18:22:27.22

>>908
enum？
もしかしてHaskellとScala間違えてんの？

あ · 2017/05/31(水) 20:17:12.66

>>921
相手の意見は汲み取れと言われながら、自分の主張は汲み取る必要が無いように余すことなく全て話せと言われると、
それは違う思う。

>>929
いや、完全に記憶だよりだからその辺違うなら違うんだと思う。
optionじゃなくてnilだった気もする。

なんと言うか、凄いな。Haskellを否定するだけでここまでヒートアップするのは。
スレタイからも抜けたし、否定し放題だとは思うが。
否定されるのが嫌ならHaskellスレに引きこもってりゃ良いのに。

**デフォルトの名無しさん** · 2017/05/31(水) 20:44:50.62

自分の意見が伝わりにくいことは現象として理解してる癖に、優しい人が理由を考えてあげると反論してしまい受け入れられない
誰かがいってた放置されてきた子って的確な表現だな
どんな優しい人でもこれは放置する

**デフォルトの名無しさん** · 2017/05/31(水) 20:46:07.28

言語についてテキトーな事を書いたらツッコミ入れるような奴が
このスレに集まってるだけだぞ
Haskell関係ない

**デフォルトの名無しさん** · 2017/05/31(水) 21:11:21.68

>>930
＞相手の意見は汲み取れと言われながら、自分の主張は汲み取る必要が無いように余すことなく全て話せ
それをお互いにやるんだよ。
でもどちらも人間なんだから限界あるだろ？そこを擦り合わせるんだよ。
それが論破合戦じゃない議論なんだよ。

**デフォルトの名無しさん** · 2017/05/31(水) 21:29:09.19

もしかしてエンジニアガイジは自分の意見に反論や疑問が飛んできたとき、
「こいつは自分を潰しに来たから潰し返さないと」とか思ったりしてる？

**デフォルトの名無しさん** · 2017/05/31(水) 22:25:13.36

それできてる奴このスレにいるんですか
大抵潰し合ってないですかね

**デフォルトの名無しさん** · 2017/05/31(水) 22:39:52.28

>>930
Haskellを否定というか、
明らかに間違えてるので、知りもしないで突っ込んでるとしか思えないが

**デフォルトの名無しさん** · 2017/05/31(水) 22:43:08.23

というか、この人Haskell触ったことなくて叩いてるよね
食わず嫌いは勝手だからいいとしても、さも知っていて、かつ理性的かのように振る舞うのはどうなんだ？
素直に理由はないがキモいと言えばいいのに

**デフォルトの名無しさん** · 2017/05/31(水) 23:51:50.75

>>851
大規模案件で採用されているゴミ屑PHPさんの悪口はやめろ

**デフォルトの名無しさん** · 2017/06/01(木) 00:21:45.04

まあルストはダメだってことはわかった。

**デフォルトの名無しさん** · 2017/06/01(木) 01:21:00.20

>>930
>いや、完全に記憶だよりだからその辺違うなら違うんだと思う。
>optionじゃなくてnilだった気もする。

記憶違いのレベルでなく、それはどこからどう見てもHaskellの型とは似ても似つかない。
記法の問題でもない。
概念レベルから根本的にHaskellとは異なるものをHaskellの欠点と言い張っているだけ。

**デフォルトの名無しさん** · 2017/06/01(木) 01:23:44.43

carとcdr使う静的言語ってなんだ

**デフォルトの名無しさん** · 2017/06/01(木) 01:29:53.69

型推論付きのSchemeか？w

**デフォルトの名無しさん** · 2017/06/01(木) 02:27:16.60

まあHaskell触った事ある奴はOptionとMaybe
Nothingとnilは間違えないよな
nullって書いても他言語とは全く異なるし

**デフォルトの名無しさん** · 2017/06/01(木) 02:30:44.70

あとBottomType的な意味でnilとか言ってもだめだぞ
ないからなw

**デフォルトの名無しさん** · 2017/06/01(木) 02:55:42.04

>>930
どこから見てもお前の言ってる事がおかしいぞ
論理的におかしい事をさも正しい事のように言ってるから叩かれてるだけ

**デフォルトの名無しさん** · 2017/06/01(木) 03:12:08.82

どこから見てもおかしいというだけの主張が論理的なのか

**デフォルトの名無しさん** · 2017/06/01(木) 06:01:07.41

>>946
何を言ってるかわからないほど破綻してるから、おかしいで合ってるし
そして論理そのものは前提で変わり、妥当性とは関係ないので、お前の主張もおかしい
論理的云々と言うやつほど論理を知らない証左

**デフォルトの名無しさん** · 2017/06/01(木) 06:44:41.63

関数型の思想を一切使わずアプリケーションをバグ無く作れる者だけが、彼に石を投げなさい

あ · 2017/06/01(木) 07:44:01.52

おお、皆に言われるとHaskellをもう一度学ばないといかん気はしてきたな。
割とありがたいし、せっかくだからちょっとやってみるわ。

>>933
あーなるほど。それはわからんでもないな。
ただ、指導教官に昔言われた「不明点は察するな、現実を話させろ」を実践してて、
言ってしまえばアスペ的思考をしてたから、ちょっと慣れるまでに時間かかるかも。
実際役にもたったしね。その発想。

**デフォルトの名無しさん** · 2017/06/01(木) 08:26:56.92

みんなが言ってくれてんのはね
Haskellｂﾇうのこうのとｂ｢うよりもまず
お前は重度の知ったか自己弁護野郎であり
さすがに付き合いきれないよってこと

たぶん、そういうとこは伝わってないんやろな

**デフォルトの名無しさん** · 2017/06/01(木) 08:29:11.71

文字化け修正：
Haskellどうのこうのというよりもまず

**デフォルトの名無しさん** · 2017/06/01(木) 10:36:58.41

>>949
＞不明点は察するな、現実を話させろ
大学の研究室や学会では正しいが、2chっつーかネット越しの文字でやるには向いてない手法だな
手法は場によって選ぼうな？

あと自分が間違ってるかもしれないって懸念は常に持っとこうな。

**デフォルトの名無しさん** · 2017/06/01(木) 10:39:52.18

>>952
下段は今回のHaskellのことに限らず知ったかぶり悪循環に陥ることへのフェイルセーフな。
俺はHaskell詳しくないから知ったかかどうかわからんのだが一応。

**デフォルトの名無しさん** · 2017/06/01(木) 11:08:27.45

治療法を察するな、症状を話させろ
Haskellを知ったかぶるのは大したことないが、医学を知ったかぶると命に関わる

**デフォルトの名無しさん** · 2017/06/01(木) 11:26:50.36

誤解の生じない自然言語が望まれる

**デフォルトの名無しさん** · 2017/06/01(木) 11:27:26.76

ところで質問なんですが
Haskellの型クラスは裏でメソッド辞書を渡して実行時ディスパッチをするって読んだんですがこの理解で合ってます？
https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf

それともコールする関数の決定も何らかの最適化機構でコンパイル時にすませてしまうのでしょうか

**デフォルトの名無しさん** · 2017/06/01(木) 11:48:38.71

>>956
C++のコンパイル時ダックタイピングと同じ
実行時ディスパッチではない

**デフォルトの名無しさん** · 2017/06/01(木) 12:35:37.68

>>956
後者で合ってる
GHCの場合は最適化無しでランタイムにdictionary lookupするコードを生成
最適化でコンパイル時解決になる
指定なしなら通常は最適化される

**デフォルトの名無しさん** · 2017/06/01(木) 12:56:45.70

>>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, ...

等々しつこく書いてあったのでてっきり今もランタイムかと。
その後コンパイル時に完結できるようになっていたんですね。ありがとうございます。

**デフォルトの名無しさん** · 2017/06/01(木) 14:21:39.82

>>959
念のため言うが、飽くまで一般の話だよ
上での言及のように例外なく、必ずcompile timeになるかどうかはわからない
普通に考えれば、呼出側だけでなく、モジュールに何か細工が必要だろうし

**デフォルトの名無しさん** · 2017/06/01(木) 14:30:58.85

>>959
調べてみたが、少なくともHaskell 2010ではCompile timeが保証されているようだ
というか88年の文献は、いくらなんでも古すぎないか？