次世代言語18 Go Rust Elixir Kotlin TypeScript

次世代言語18 Go Rust Elixir Kotlin TypeScript at TECH

1023:デフォルトの名無しさん
20/04/05 02:30:40.57 k4Q+DqWZ.net
型がいらない/めんどくさいと主張する層は、
大方自分の意図をメソッドのボディによって表現することしか知らないのだろう
HaskellやらOCamlやらある程度の型システムの強度を持っている言語の経験があるプログラマは、
自分の意図の大部分を型で表現することに慣れているから、型がいらないとか正気か？となる

1024:デフォルトの名無しさん
20/04/05 02:48:33 bKlpD2Cq.net
型が無いのはとても良いことです。

1025:デフォルトの名無しさん
20/04/05 02:49:08 c8uove51.net
関数型で型が重用されるのは、高階関数によって型が至るところでアドホックに生み出されるため、
型がないとプログラムを正しく組むことが事実上不可能だからだよ
関数型では型は主にプログラムの形式的な正しさを守るためのテクニカルなツールとして用いられていて、
むしろドメインモデルを型で記述するみたいなのは意外にも関数型では重視されなかったりする

1026:デフォルトの名無しさん
20/04/05 02:49:14 bKlpD2Cq.net
プログラミングが必要なくなればもっと良いです。

1027:デフォルトの名無しさん
20/04/05 02:50:35 bKlpD2Cq.net
でも今はまだ無理です。
素直に型を使いましょう。

1028:デフォルトの名無しさん
20/04/05 03:09:06.75 k4Q+DqWZ.net
>>984
言ってることが何一つ理解できないんだが
ほんとに関数型言語の経験か、型システムを専門に研究した経験のどっちかでもある？

1029:デフォルトの名無しさん
20/04/05 03:27:35 O4a3Y/9V.net
>>980
標準ライブラリなんとかして

1030:
20/04/05 03:31:26.32 1D4UZmeK.net
>>980
haskell と比較した ocaml の利点をぜひ！

1031:デフォルトの名無しさん
20/04/05 06:23:20.59 bKlpD2Cq.net
タイプ数を節約できることでは？

1032:デフォルトの名無しさん
20/04/05 10:17:02 /6aVgV0B.net
ん？OCamlってかなり標準ライブラリ豊富って聞いてたけど違うの？

1033:デフォルトの名無しさん
20/04/05 11:56:52.59 ZlQTcj/v.net
そんなに引数に何が来るかわからないという状況が多いのかなあ
このメソッドは何をするかがはっきりしていれば、そんなに型を気にする
必要はないと思うけどなあ。一つのクラスでたくさんのことをさせているのか?

1034:デフォルトの名無しさん
20/04/05 12:17:46.87 aRq634GN.net
メタプログラミングは動的型の方が楽。思いついたアイデアを簡単に試せる
Haskellのマクロとか使いにくいったら無いし、あんなので試行錯誤したくない
RailsもRubyで産まれて、静的型言語に不完全な形でパクられた
だから、ゼロからフレームワークを作る創造的な人達は動的型を好み、
アイデアをパクって実装したり、フレームワーク使うだけのドカタは静的型を好むわけだよ

1035:デフォルトの名無しさん
20/04/05 12:33:48 N+saKT+1.net
こんなトンデモ論を持ち出さないと、動的型言語を擁護できないのか（笑）

1036:デフォルトの名無しさん
20/04/05 12:35:55.88 aRq634GN.net
>>994
創造性のないドカタっぽいレスですね
知能低そうw

1037:デフォルトの名無しさん
20/04/05 12:42:23 N+saKT+1.net
うわぁ・・・

1038:デフォルトの名無しさん
20/04/05 12:51:43 9ug9dps/.net
メタプログラミングの結果を駆使する立場ならともかく
メタプログラミング自体を行う奴らは試行錯誤とかあんましないﾚｳﾞｪﾙなんじゃね
書いたら動いてバグがほとんど無い（
もちろんテストはする

1039:デフォルトの名無しさん
20/04/05 12:55:49 bKlpD2Cq.net
釣りなら釣りと分かるように書かないと、タダの馬鹿だと思われるのでは。

1040:デフォルトの名無しさん
20/04/05 12:58:04.13 bKlpD2Cq.net
>>993 は普通に考えれば釣りなんだけど、本気で顔真っ赤にしながら主張する人もいるから、
どこかに釣りの痕跡残しておかないと、後で釣りでしたと言っても信じてもらえなくなる。

1041:デフォルトの名無しさん
20/04/05 13:01:44.09 bKlpD2Cq.net
縦読み入れておくのが良いのでは。

1042:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 187日 10時間 3分 41秒

1043:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています