[過去ﾛｸﾞ]
次世代言語12 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
次世代言語12 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1530664695/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
632: デフォルトの名無しさん [sage] 2018/08/07(火) 01:39:33.68 ID:UMEYDAwp 関数型言語の定義ってラムダ計算を計算モデルにしてる言語でいいだろ http://mevius.5ch.net/test/read.cgi/tech/1530664695/632
633: デフォルトの名無しさん [sage] 2018/08/07(火) 02:09:48.40 ID:lcDZ2HG8 そのラムダ計算には型があるのかないのか 副作用があるのかないのか なにも定義されていない http://mevius.5ch.net/test/read.cgi/tech/1530664695/633
634: デフォルトの名無しさん [sage] 2018/08/07(火) 03:28:30.29 ID:hhcOlifT 型なしラムダ計算だったとしてもlispだし型付ラムダ計算だったとしてもML/Haskell/etc…だし広義には問題なくない？ 副作用の有無=純粋性は程度で片付けなきゃやってられない(どの汎用言語にもプログラムならどこかしら副作用が存在する)し 定期的に定義に固執しすぎなレス見掛けるけど自分でその問い掛けを考えたか？って感じなのが多い http://mevius.5ch.net/test/read.cgi/tech/1530664695/634
635: デフォルトの名無しさん [sage] 2018/08/07(火) 03:47:47.09 ID:1Z28ZkuF 計算機科学の研究課題としては興味深いが プロダクション用途ではないだろう だから何が悪いというわけではないが http://mevius.5ch.net/test/read.cgi/tech/1530664695/635
636: デフォルトの名無しさん [sage] 2018/08/07(火) 06:13:33.64 ID:o88xwRN/ >>614 がいいこと言った。 見通しが良いコードにするための宣言型言語のはずが むしろ見通しを悪くしている。 http://mevius.5ch.net/test/read.cgi/tech/1530664695/636
637: デフォルトの名無しさん [sage] 2018/08/07(火) 07:56:24.18 ID:c0zbvnlv Scalaという見通しの悪い言語が関数型として世に知られてしまったのも不幸だったよね 意識高い系のオモチャに選ばれたのがScalaではなくF#だったら状況はだいぶ違っていたのではないか http://mevius.5ch.net/test/read.cgi/tech/1530664695/637
638: デフォルトの名無しさん [sage] 2018/08/07(火) 07:59:10.87 ID:6yZcjsMn 状態に依存する部分と純粋な部分を切り分けること自体は純粋関数型言語じゃなくてもできること そもそもHaskell使える開発者が集まってるならHaskellじゃなくてもみんな極力そのように書くし、 強制されないと副作用ごちゃまぜコードを書くような土方はHaskellは使えない 純粋性を強制するメリットが禁止して柔軟性を失うデメリットに釣り合ってない http://mevius.5ch.net/test/read.cgi/tech/1530664695/638
639: デフォルトの名無しさん [sage] 2018/08/07(火) 08:35:30.11 ID:iXXZIPQ5 純粋性を強制するメリット、を考えてみた。 例えばエディタの設定ファイルをHaskell自身で書くことができる。 設定ファイルがSafeHaskellであることを要請して、かつ設定操作に限定された型のみを許すようにする。 これで設定ファイルに、勝手にビットコインを採掘するスクリプトを忍ばせるような悪さができなくなるし、 Haskellそのものの柔軟性を活かして好きなだけ設定を短く表現できる。 安全さと強力さが両立された。 http://mevius.5ch.net/test/read.cgi/tech/1530664695/639
640: デフォルトの名無しさん [sage] 2018/08/07(火) 08:38:42.25 ID:FVK8LmPZ Haskellは状態に依存するコードを書こうとすると途端に 可読性の低い冗長なコードになるのがダメなところだと思う 純粋な部分の構文に比べて手抜きすぎなんだよ http://mevius.5ch.net/test/read.cgi/tech/1530664695/640
641: デフォルトの名無しさん [sage] 2018/08/07(火) 08:54:53.62 ID:UMEYDAwp 手抜きではないだろ、むしろ逆 worldを隠しつつ宣言的に書くという変態技のために モナド用の構文糖衣が多数あるせいで関数型の簡潔さが失われている http://mevius.5ch.net/test/read.cgi/tech/1530664695/641
642: デフォルトの名無しさん [sage] 2018/08/07(火) 09:11:21.06 ID:FVK8LmPZ シンタックスシュガーを幾ら用意しても簡潔に書けるようにする工夫がないから どう書いても冗長って話なんだけど？分かってないなぁ http://mevius.5ch.net/test/read.cgi/tech/1530664695/642
643: デフォルトの名無しさん [sage] 2018/08/07(火) 10:46:00.40 ID:rAZv+q4y それは手抜きと表現すべきではない。わかってないなあ http://mevius.5ch.net/test/read.cgi/tech/1530664695/643
644: デフォルトの名無しさん [sage] 2018/08/07(火) 10:58:16.01 ID:hbLPpe/0 >>642 じゃあ例えばどういう工夫なの？ お前のHaskellの理解力が試されてるから慎重に答えてね 無理なら別に逃げてもいいよ http://mevius.5ch.net/test/read.cgi/tech/1530664695/644
645: デフォルトの名無しさん [sage] 2018/08/07(火) 11:45:14.63 ID:7ewfkb5/ 工夫するたびに言語の差は大きくなって言葉が通じなくなる 逆に言語を一つにしたければチューリングマシンだとかラムダ計算だとか 人が手を加えないまるで手抜きのような方向に行けばいい http://mevius.5ch.net/test/read.cgi/tech/1530664695/645
646: デフォルトの名無しさん [sage] 2018/08/07(火) 11:56:41.38 ID:MwJ3Tuus >>644 そうだなぁ。何でもいいんだけど、たとえば in-place quicksort をHaskellで可読性高く書けるかって話ですよ いままでCにも劣る可読性のコードしか見たことないわ だから、お前が可読性高い in-place quicksort を書いて見せたらこっちの意見は取り下げてもいいけどね 無理なら別に逃げてもいいよw http://mevius.5ch.net/test/read.cgi/tech/1530664695/646
647: デフォルトの名無しさん [sage] 2018/08/07(火) 11:56:53.80 ID:UdLWsfQc 関数型は実行モデルに由来する制約が少なくて言語設計の自由度が高い分、アイランドモンキー族にとって馴染みにくいものになってると思うんだよな 「結論から言え」なカルチャーが色濃く出すぎてる http://mevius.5ch.net/test/read.cgi/tech/1530664695/647
648: デフォルトの名無しさん [sage] 2018/08/07(火) 12:42:49.18 ID:hbLPpe/0 >>646 お前の可読性の基準なんかこっちはしらんがな お前が言う工夫が例えば何かって聞いてんだよ まさかノーアイデアで批判だけしてんの？ http://mevius.5ch.net/test/read.cgi/tech/1530664695/648
649: デフォルトの名無しさん [sage] 2018/08/07(火) 13:44:16.06 ID:iXXZIPQ5 可読性が低く冗長なのが問題だ。簡潔に書ける工夫があればよい。 例えばどういう工夫が？ 例えば in-place quicksort が問題だ。簡潔に書ける工夫はないだろ？ ---- まあ問題意識は判った。確かに可読性と速度の両立は課題だと思う。 http://mevius.5ch.net/test/read.cgi/tech/1530664695/649
650: デフォルトの名無しさん [sage] 2018/08/07(火) 13:56:33.53 ID:7ewfkb5/ CとHaskellの両立ができないやつは二刀流を自粛している これは自粛であって禁止ではない http://mevius.5ch.net/test/read.cgi/tech/1530664695/650
651: デフォルトの名無しさん [sage] 2018/08/07(火) 14:11:05.26 ID:iXXZIPQ5 あれっひょっとして >>642 は 「もっと状態方面を簡潔に書けるよう工夫しろよ」って非難してるのか。 だとしたら誤読だったすまん。 http://mevius.5ch.net/test/read.cgi/tech/1530664695/651
652: デフォルトの名無しさん [sage] 2018/08/07(火) 14:14:10.11 ID:87aOzLJL インプレースに書かなくてもインプレースにしてくれるのが stream fusion http://mevius.5ch.net/test/read.cgi/tech/1530664695/652
653: デフォルトの名無しさん [sage] 2018/08/07(火) 14:20:07.94 ID:7ewfkb5/ 副作用を書かなくても書ける（副作用禁止とは言っていない） http://mevius.5ch.net/test/read.cgi/tech/1530664695/653
654: デフォルトの名無しさん [sage] 2018/08/07(火) 16:25:52.99 ID:1g1T9ybM >>633 > そのラムダ計算には型があるのかないのか > 副作用があるのかないのか 副作用を入れたものは本来はλ計算ではないよ そういう変てこなバリエーションをデッチ上げて「何ちゃらλ-calculus」とか呼んで発表してるのは幾らでもあるがゴミばかり 状態などというものを考えず単純に構文的な置き換えだけで扱えるλ計算の長所を破壊し放棄する拡張をしても何もメリットはない 単にほとんど誰にも論文のカウント数を１増やすだけ まあ御当人の学位取得や助教職のアプリケーションには有効なのかも知れないが http://mevius.5ch.net/test/read.cgi/tech/1530664695/654
655: デフォルトの名無しさん [sage] 2018/08/07(火) 16:27:13.31 ID:1g1T9ybM >>654訂正 誤> 単にほとんど誰にも論文のカウント数を１増やすだけ 正> 単にほとんど誰にも読まれない論文のカウント数を１増やすだけ http://mevius.5ch.net/test/read.cgi/tech/1530664695/655
656: デフォルトの名無しさん [sage] 2018/08/07(火) 16:59:37.73 ID:7ewfkb5/ モナドクラスは副作用を入れたinstanceと入れないinstanceの見た目を同じにする 副作用を禁止しても見た目が美しくなったりしない Haskellには副作用を禁止するモチベーションがない http://mevius.5ch.net/test/read.cgi/tech/1530664695/656
657: デフォルトの名無しさん [sage] 2018/08/07(火) 17:10:14.56 ID:ghIQqx1y 副作用あったら遅延評価できないじゃんｗｗｗｗｗ http://mevius.5ch.net/test/read.cgi/tech/1530664695/657
658: デフォルトの名無しさん [sage] 2018/08/07(火) 17:44:51.87 ID:STmUhm8q >>648 ここはHaskellスレじゃないんですよ？ ゴミ言語にはゴミである理由さえ説明すれば十分ですよ http://mevius.5ch.net/test/read.cgi/tech/1530664695/658
659: デフォルトの名無しさん [sage] 2018/08/07(火) 21:56:56.28 ID:rAZv+q4y Inplaceが必要な時はHaskellを使うべきではない Inplaceが不要な時に力を発揮する言語だし、Inplaceなんて避けておけというメッセージのこもった言語だ http://mevius.5ch.net/test/read.cgi/tech/1530664695/659
660: デフォルトの名無しさん [sage] 2018/08/07(火) 22:38:15.68 ID:ThdtCxHP >>659 それって言い方を変えると HaskellもPythonみたいにクリティカルな部分はCで書いてそれ呼び出せ って解釈できる気がするんだが、そう解釈しておk？飛躍しすぎ？ http://mevius.5ch.net/test/read.cgi/tech/1530664695/660
661: デフォルトの名無しさん [sage] 2018/08/07(火) 23:17:08.03 ID:rAZv+q4y >>660 個人的には正直そうした方が良いと思う http://mevius.5ch.net/test/read.cgi/tech/1530664695/661
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 341 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s