17/06/01 02:55:42.04 wUNQCT/b.net
>>930
どこから見てもお前の言ってる事がおかしいぞ
論理的におかしい事をさも正しい事のように言ってるから叩かれてるだけ
951:デフォルトの名無しさん
17/06/01 03:12:08.82 z55iS7vV.net
どこから見てもおかしいというだけの主張が論理的なのか
952:デフォルトの名無しさん
17/06/01 06:01:07.41 8CaOxlMo.net
>>946
何を言ってるかわからないほど破綻してるから、おかしいで合ってるし
そして論理そのものは前提で変わり、妥当性とは関係ないので、お前の主張もおかしい
論理的云々と言うやつほど論理を知らない証左
953:デフォルトの名無しさん
17/06/01 06:44:41.63 vNOzF29i.net
関数型の思想を一切使わずアプリケーションをバグ無く作れる者だけが、彼に石を投げなさい
954:あ
17/06/01 07:44:01.52 xXOCh96c.net
おお、皆に言われるとHaskellをもう一度学ばないといかん気はしてきたな。
割とありがたいし、せっかくだからちょっとやってみるわ。
>>933
あーなるほど。それはわからんでもないな。
ただ、指導教官に昔言われた「不明点は察するな、現実を話させろ」を実践してて、
言ってしまえばアスペ的思考をしてたから、ちょっと慣れるまでに時間かかるかも。
実際役にもたったしね。その発想。
955:デフォルトの名無しさん
17/06/01 08:26:56.92 fZ4Ynj9f.net
みんなが言ってくれてんのはね
Haskellｂﾇうのこうのとｂ｢うよりもまず
お前は重度の知ったか自己弁護野郎であり
さすがに付き合いきれないよってこと
たぶん、そういうとこは伝わってないんやろな
956:デフォルトの名無しさん
17/06/01 08:29:11.71 fZ4Ynj9f.net
文字化け修正：
Haskellどうのこうのというよりもまず
957:デフォルトの名無しさん
17/06/01 10:36:58.41 2zjIoc8f.net
>>949
＞不明点は察するな、現実を話させろ
大学の研究室や学会では正しいが、2chっつーかネット越しの文字でやるには向いてない手法だな
手法は場によって選ぼうな？
あと自分が間違ってるかもしれないって懸念は常に持っとこうな。
958:デフォルトの名無しさん
17/06/01 10:39:52.18 2zjIoc8f.net
>>952
下段は今回のHaskellのことに限らず知ったかぶり悪循環に陥ることへのフェイルセーフな。
俺はHaskell詳しくないから知ったかかどうかわからんのだが一応。
959:デフォルトの名無しさん
17/06/01 11:08:27.45 Bx3/ibOs.net
治療法を察するな、症状を話させろ
Haskellを知ったかぶるのは大したことないが、医学を知ったかぶると命に関わる
960:デフォルトの名無しさん
17/06/01 11:26:50.36 UQSg1EaA.net
誤解の生じない自然言語が望まれる
961:デフォルトの名無しさん
17/06/01 11:27:26.76 HdFpeWhQ.net
ところで質問なんですが
Haskellの型クラスは裏でメソッド辞書を渡して実行時ディスパッチをするって読んだんですがこの理解で合ってます？
URLﾘﾝｸ(people.csail.mit.edu)
それともコールする関数の決定も何らかの最適化機構でコンパイル時にすませてしまうのでしょうか
962:デフォルトの名無しさん
17/06/01 11:48:38.71 Bx3/ibOs.net
>>956
C++のコンパイル時ダックタイピングと同じ
実行時ディスパッチではない
963:デフォルトの名無しさん
17/06/01 12:35:37.68 bubu+W4z.net
>>956
後者で合ってる
GHCの場合は最適化無しでランタイムにdictionary lookupするコードを生成
最適化でコンパイル時解決になる
指定なしなら通常は最適化される
964:デフォルトの名無しさん
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, ...
等々しつこく書いてあったのでてっきり今もランタイムかと。
その後コンパイル時に完結できるようになっていたんですね。ありがとうございます。
965:デフォルトの名無しさん
17/06/01 14:21:39.82 JVCP5RQG.net
>>959
念のため言うが、飽くまで一般の話だよ
上での言及のように例外なく、必ずcompile timeになるかどうかはわからない
普通に考えれば、呼出側だけでなく、モジュールに何か細工が必要だろうし
966:デフォルトの名無しさん
17/06/01 14:30:58.85 Ty12p446.net
>>959
調べてみたが、少なくともHaskell 2010ではCompile timeが保証されているようだ
というか88年の文献は、いくらなんでも古すぎないか？
967:デフォルトの名無しさん
17/06/01 19:59:34.59 vNOzF29i.net
他者と誤解なく分かりあえるようになるための共通言語を開発しよう
もちろん、人と人だけでなく、人とコンピュータも分かりあえる共通言語だ
それこそが次世代言語だ
968:あ
17/06/01 20:05:18.45 23mplHvr.net
>>952
ネット越しだからやるべきかとは。。
>>961
ヨコからだけどありがとう。参考になるわ。見てくる。
>>962
エスペラントを一歩すすめる時代か。
969:デフォルトの名無しさん
17/06/01 20:18:08.98 Dnfnpswj.net
>>963
やった結果がお前さんの現状なんだよな。
970:デフォルトの名無しさん
17/06/01 20:42:26.57 sszEh+oH.net
>>961
Haskell 2010 でもまだランタイムに依存しているみたいだけど違う？
URLﾘﾝｸ(stackoverflow.com)
971:デフォルトの名無しさん
17/06/01 22:45:39.05 14pfKSNM.net
あらゆるモダン言語で見るようになったmapとかflatmapっていうのはどこから生まれたものなの？
972:デフォルトの名無しさん
17/06/01 22:50:28.99 W7qZGWEB.net
LISPじゃね
973:デフォルトの名無しさん
17/06/02 00:08:33.62 lDZ3L3oh.net
>>965
ちょっと話が見えないんだが、もしかして回答してほしいのは
>URLﾘﾝｸ(people.csail.mit.edu)
に限定した話ではないのか？
保証については、再帰がない場合の話で、その参照先は>>959とは状況違う
その場合>>958 + >>960という回答になる
974:デフォルトの名無しさん
17/06/02 02:50:18.61 bQ6pitWP.net
再帰があっても深さを制限すればspecializeできるんじゃね
制限を超えたらエラーにするか、あるいはspecializeをやめたら無限に再帰できるか？
975:デフォルトの名無しさん
17/06/02 07:14:02.17 vc1fSB5M.net
>>968
あ、いえ、すみません
>>958+960 で理解の確認はできています
ありがとうございます
ただ一方で >>905 >>957 >>961 みたいな主張もあるようなので
最新の実装では型クラスを取り巻く状況もかなり違ってきているのかなと
976:デフォルトの名無しさん
17/06/03 09:45:16.91 1Cu2c1ce.net
これ互換性にあまり影響のない実装の変更だよね
それより互換性が完全になくなった変更を批判する方が建設的
977:デフォルトの名無しさん
17/06/12 07:29:42.96 nTXT2jNo.net
GOって手続き型言語？
可読性が高いって言われてる理由が知りたい
インスコしようかな
978:デフォルトの名無しさん
17/06/12 08:00:12.68 Fk2rI9BR.net
とりあえずインスコしてみたら
何系の言語かは自分で判断すべし
979:デフォルトの名無しさん
17/06/12 09:42:46.07 p/7lEol5.net
手続き型だよ
文法知らなくてもほぼほぼ読めるぐらい平易だから可読性高いって言われてるのでは
980:デフォルトの名無しさん
17/06/12 09:54:41.37 cGkmUezk.net
実質は新しいCOBOLなのにGoogleが推してるせいで意識高そうなイメージがあり、
Webの文系エンジニアにバカウケ
981:デフォルトの名無しさん
17/06/12 11:13:43.87 GJqadCbs.net
>>975
さすがにCOBOLに失礼ちゃう？
982:デフォルトの名無しさん
17/06/12 12:21:21.41 iBQdyh23.net
Goが流行ってしまうと今まで必死に体得してきたプログラミングの概念がほとんど無に還すから
プログラミング熟練度と人気が反比例してると聞いたな
983:デフォルトの名無しさん
17/06/12 12:42:10.81 m2eFuXIy.net
意識低い系言語
984:デフォルトの名無しさん
17/06/12 12:49:20.16 2H2uEc+e.net
コスパが高い言語
985:デフォルトの名無しさん
17/06/12 17:29:30.08 u4ZuHngx3
＞Webの文系エンジニアにバカウケ
ああ、確かに
Goは文系のエンジニアとWebの世界で流行ってる印象ある。
986:デフォルトの名無しさん
17/06/12 13:55:38.04 GJqadCbs.net
さすがに今日日昔のJavaのobject地獄を再び見ることにもなれば嫌いにもなるわな。
それ以外は割とよくまとまってる。
987:デフォルトの名無しさん
17/06/12 14:00:31.39 GJqadCbs.net
Goにジェネリクスが入れば割と理想の言語感はある
ノリとしては極限まで肉をそぎ落としたJavaに近いかな。
988:デフォルトの名無しさん
17/06/12 17:23:51.63 uTHinYqc.net
>>982
手続き型言語でオブジェクト指向止めるとなるとグローバル変数が問題になる。
変数宣言時に、その変数へ読み書き出来る関数とかをホワイトリスト的なものを宣言する事で制限したりとか、そう言う仕組みが要るんじゃないかな。
989:デフォルトの名無しさん
17/06/12 18:19:16.46 m2AtO/U0.net
Cにガベコレと並行処理追加した正統後継言語
C++がキメラ化してるしある程度人気出るのも納得できる
990:あ
17/06/12 19:20:57.74 00nbEvZg.net
>>983
ローカル変数こそが、そもそもこいつが何者かわからん存在であるって言語もあるしな。
「僕この名前で変数使いたいから、いったん退けて。ブロック抜けたら要らないから捨てて」
「制御命令？IFとスタック積まないラベルジャンプとスタック積むサブルーチン呼び出しがあれば、それ以外要らないでしょ。仕方ないからブロック構文だけは作ってやったぞ」
という現代の言語から考えたら意味のわからん命令があるM言語みたいな。
ライセンス高いし大手以外ノウハウないし、最近オブジェクト指向しようと歪になってるらしいから、それこそ化石だろうけど。
今どこ使ってるんだろ。
991:デフォルトの名無しさん
17/06/12 19:33:33.80 5L3xq22d.net
%%%MC+7,8%%%
}
000-"M","LES","TUV=0.13325&/0\7&%&",
001-"23","1","0","2","7.14",[\b%7/1444*%812%2.3%7&6111\end\\]{%3%12%\br
992:デフォルトの名無しさん
17/06/12 21:06:32.45 P1PnDOe5.net
>>983
Goだとその辺はパッケージである程度制御はできるな
あとはクソカジュアルにmutexが使えたりcontextでセッションローカル変数簡単に引き回せたり、
Goroutineでの並列を売りにしてるのは伊達じゃねえやって感じ
993:デフォルトの名無しさん
17/06/12 23:39:00.43 DUADhXSj.net
>>977
まあそんへんの糞なプライドを捨てればいい言語だと思うよ。
994:デフォルトの名無しさん
17/06/13 00:16:36.48 1CBB/Bqq.net
>>977
熟練者はそれを逆手に取って嫌いなものを体得する
嫌いなものを無に還すことができるなら必死に体得するのは理にかなっている
995:デフォルトの名無しさん
17/06/13 00:41:45.36 GtIjnADE.net
>>981
>>982
同意
996:デフォルトの名無しさん
17/06/13 01:29:19.80 mcyfs2jY.net
次スレにはTypeScriptかHaskell入れる？
997:デフォルトの名無しさん
17/06/13 04:24:57.99 NKNUODaU.net
Scala外してTypeScript
長さ制限に引っかかったらこのままでいい
998:デフォルトの名無しさん
17/06/13 06:59:24.68 J8kkShcA.net
コトィンに負けてしまったスァァ・・・
999:デフォルトの名無しさん
17/06/13 07:08:11.18 KW2Tb1Ft.net
Rustももういいだろ
OUT: Scala, Rust
IN: TypeScript, Swift に一票
1000:あ
17/06/13 07:09:42.20 MZxut8VL.net
>>989
一からできるなんて楽しすぎるしな。
>>991
Haskellはガイジと呼ばれる俺ですら感じるキチガイを集める事になるから反対。
TypeScriptは微妙。それより、いっそJS側に倒してESnextとかでいいんでないの？
1001:あ
17/06/13 07:11:05.41 MZxut8VL.net
>>994
Scalaが要らんのは同意、Rustはちょっとどっちでもいい。
InのTypeScriptは反対。Swiftはもうちょいガチでマルチプラットフォームに来てほしいけど、くる気配あれば同意
1002:デフォルトの名無しさん
17/06/13 07:21:44.82 Z6lFUzsL.net
TypeScriptは今時の流行りの言語の一つのリファレンスとしては悪くないと思うが、
まあC#系はKotlinが一つあれば十分かな
1003:デフォルトの名無しさん
17/06/13 07:32:00.56 YUMHQx2e.net
ナウでヤングな型システムとかムーブセマンティクスとかモナドが次世代なんじゃないの？
ScalaとRustはずしてSwiftいれるとか正気か？
お手軽言語スレでも立ててそっちでやれと
1004:デフォルトの名無しさん
17/06/13 07:40:02.81 Z6lFUzsL.net
お手軽言語が嫌いならまずはGoを敵視しような
1005:デフォルトの名無しさん
17/06/13 08:43:16.91 L3B1EJOR.net
>>991
Haskellアンチは一人の発達障害だけであることが判明したので入れましょう
1006:デフォルトの名無しさん
17/06/13 08:54:31.06 O1HnBMDk.net
次世代言語議論スレ[Go Rust Scala Haskell]第5世代 [無断転載禁止]©2ch.net
ｽﾚﾘﾝｸ(tech板)
1007:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
life time: 54日 4時間 11分 5秒
1008:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています