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
これ互換性にあまり影響のない実装の変更だよね
それより互換性が完全になくなった変更を批判する方が建設的