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
このスレッドは1000を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
life time: 54日 4時間 11分 5秒
1008:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています