[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 08/13 18:55 / Filesize : 225 KB / Number-of Response : 1044
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]
|
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
次世代言語18 Go Rust Elixir Kotlin TypeScript
- 1 名前:デフォルトの名無しさん [2019/10/01(火) 02:58:03.93 ID:aEwUIB6s.net]
- スレタイ以外の言語もok
前スレ 次世代言語17 Go Rust Kotlin TypeScript Julia https://mevius.5ch.net/test/read.cgi/tech/1567602619/
- 999 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 20:17:41.20 ID:ebeS0Dvl.net]
- やっぱり型無し糞言語池沼ってガイジだなw
- 1000 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 21:08:43.70 ID:g5yerRCZ.net]
- pythonの型とかどうでもいいよ。次世代言語の話をしよう。
- 1001 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 21:13:34.71 ID:xxHp0w1Z.net]
- N88-BASICにも型の概念はあったからなあ…
- 1002 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 21:22:41.67 ID:nlgyx7EU.net]
- classイコール型みたいな言語だと考慮しないといけない事項が多すぎるし記述量は馬鹿みたいに多い
なので、そういう言語しか知らない人が「静的型付けは煩わしい」と思うのは仕方ないことかもしれん、と思う 一度はOCamlを使って欲しい OCamlは正格評価だし、型は強力で作りやすくて使いやすいし、OOPとも丁度いい距離を取ってる smalltalkほど死んじゃいないし、Haskellほどアカデミックじゃない 次世代言語じゃない!と言うなら、ReasonMLでも良い。OCaml -> Javascriptみたいな環境もある
- 1003 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 22:28:52.51 ID:oHbtMe0Y.net]
- >>949
正常系を一発通すだけで十分なのかどうかは仕様次第 ただオープンソースではよくあるのは開発者がテスト軽視してるだけで 動的言語か静的言語か関係ない >>950 >>921の関数に対してどういうテストをすべきかは仕様次第 仕様は不明だけど考えうる限り網羅的にテスト
- 1004 名前:キべきって考え方自体が
テスト設計したことない人の考え方だよ [] - [ここ壊れてます]
- 1005 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 22:57:35.78 ID:f2T6dYaQ.net]
- こいつの人間は間違わないっていう前提にたってる品質管理が草
- 1006 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 23:05:06.65 ID:ebeS0Dvl.net]
- 俺は天才と信じている異常者(低学歴・障害者手帳持ち) = 型無し糞言語ガイジ
- 1007 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 23:05:29.19 ID:wh1EiJLW.net]
- web プログラミングのように外は危険がいっぱいという状況と
機械学習のように入力情報は保証されているという状況では 当然テストの質が異なる 議論がすれ違っているのはその辺の違いかと
- 1008 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 23:09:15.46 ID:oWvr86T9.net]
- それ型の有無関係ない話じゃん
それこそ論点ずれてる
- 1009 名前:デフォルトの名無しさん [2020/04/04(土) 23:12:02.58 ID:H4c+c10U.net]
- そもそもテストと型は無関係なんですかそれは
- 1010 名前:デフォルトの名無しさん [2020/04/04(土) 23:21:54.26 ID:L/BdUORC.net]
- Javaとpythonで争ってたところに
唐突に岡村提案されてて草
- 1011 名前:デフォルトの名無しさん [2020/04/05(日) 00:17:54.25 ID:bKlpD2Cq.net]
- データに型は必要ない。
データの内容によって命令を使い分ければ良いのだ。 ↑ 機械語で十分って事では?
- 1012 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 00:34:46.44 ID:GfhXthds.net]
- >>970
確かに。 ポインタも整数も同じ整数レジスタで行うね、マシン語だと。 整数演算で可能な型ならビット数以外の型情報が無い。
- 1013 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 00:37:30.12 ID:GfhXthds.net]
- >>971
それで、マシン語だと間違った演算でもコンパイル時にエラーがでにくかったが C言語で細かな型が導入されて間違いをコンパイラが発見することに成功した。 ところが最近のスクリプト言語では明確な型宣言がないものが流行り出し、 かつての問題点がまた出てくるようになってしまった。
- 1014 名前:デフォルトの名無しさん [2020/04/05(日) 00:56:47 ID:d7/7NuuZ.net]
- ほう…マシン語でコンパイルを
- 1015 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 01:07:09.53 ID:N+saKT+1.net]
- 普通に静的型+型推論でええやん
型書けない言語はもうありえんわ 一時期PHP使ってたことあるけど、正気の沙汰じゃなかった
- 1016 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 01:15:27.47 ID:O4a3Y/9V.net]
- TypeScriptが一番しっくりくるという悲しい現実
- 1017 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 01:22:54.32 ID:k4Q+DqWZ.net]
- PureScriptに慣れてしまったらTypeScriptの構文はやぼったいわ
- 1018 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 01:23:18.72 ID:GfhXthds.net]
- >>973
当時はアセンブルと言っていたが、若い人にはコンパイルといったほうが通じ易いらしいので。
- 1019 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 01:36:39.25 ID:oP415tbW.net]
- >>962
岡村さん何してはるんですか
- 1020 名前:デフォルトの名無しさん [2020/04/05(日) 02:12:33.78 ID:d7/7NuuZ.net]
- 今の若い人はマシン語はコンパイルするものと習うのですか?
コンパイル言語を知っている人向けにアセンブルを説明するのに「コンパイルみたいなもの」と説明するのではなく?
- 1021 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 02:16:10.20 ID:dvIeqTXE.net]
- 次世代じゃないけどOCamlはええぞ。大体の言語のエッセンスを見直すきっかけになる
ちゃんとした型推論と簡潔な型表記があれば静的型付けでも書くのは面倒じゃないって分かったり クラスってプログラムの必須構成要素なんかじゃないって気づけたり(むしろ用途は凄く限定されるべきもの) 遅延評価って実際にどんだけ便利なの、とか、分かる
- 1022 名前:デフォルトの名無しさん [2020/04/05(日) 02:16:21.31 ID:bKlpD2Cq.net]
- アセンブラと機械語は一対一に対応していないんだよな。
配置が決定しないと使えない機械語が有るので。
- 1023 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 02:30:40.57 ID:k4Q+DqWZ.net]
- 型がいらない/めんどくさいと主張する層は、
大方自分の意図をメソッドのボディによって表現することしか知らないのだろう HaskellやらOCamlやらある程度の型システムの強度を持っている言語の経験があるプログラマは、 自分の意図の大部分を型で表現することに慣れているから、型がいらないとか正気か?となる
- 1024 名前:デフォルトの名無しさん [2020/04/05(日) 02:48:33 ID:bKlpD2Cq.net]
- 型が無いのはとても良いことです。
- 1025 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 02:49:08 ID:c8uove51.net]
- 関数型で型が重用されるのは、高階関数によって型が至るところでアドホックに生み出されるため、
型がないとプログラムを正しく組むことが事実上不可能だからだよ 関数型では型は主にプログラムの形式的な正しさを守るためのテクニカルなツールとして用いられていて、 むしろドメインモデルを型で記述するみたいなのは意外にも関数型では重視されなかったりする
- 1026 名前:デフォルトの名無しさん [2020/04/05(日) 02:49:14 ID:bKlpD2Cq.net]
- プログラミングが必要なくなればもっと良いです。
- 1027 名前:デフォルトの名無しさん [2020/04/05(日) 02:50:35 ID:bKlpD2Cq.net]
- でも今はまだ無理です。
素直に型を使いましょう。
- 1028 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 03:09:06.75 ID:k4Q+DqWZ.net]
- >>984
言ってることが何一つ理解できないんだが ほんとに関数型言語の経験か、型システムを専門に研究した経験のどっちかでもある?
- 1029 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 03:27:35 ID:O4a3Y/9V.net]
- >>980
標準ライブラリなんとかして
- 1030 名前: mailto:sage [2020/04/05(日) 03:31:26.32 ID:1D4UZmeK.net]
- >>980
haskell と比較した ocaml の利点をぜひ!
- 1031 名前:デフォルトの名無しさん [2020/04/05(日) 06:23:20.59 ID:bKlpD2Cq.net]
- タイプ数を節約できることでは?
- 1032 名前:デフォルトの名無しさん [2020/04/05(日) 10:17:02 ID:/6aVgV0B.net]
- ん?OCamlってかなり標準ライブラリ豊富って聞いてたけど違うの?
- 1033 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 11:56:52.59 ID:ZlQTcj/v.net]
- そんなに引数に何が来るかわからないという状況が多いのかなあ
このメソッドは何をするかがはっきりしていれば、そんなに型を気にする 必要はないと思うけどなあ。一つのクラスでたくさんのことをさせているのか?
- 1034 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 12:17:46.87 ID:aRq634GN.net]
- メタプログラミングは動的型の方が楽。思いついたアイデアを簡単に試せる
Haskellのマクロとか使いにくいったら無いし、あんなので試行錯誤したくない RailsもRubyで産まれて、静的型言語に不完全な形でパクられた だから、ゼロからフレームワークを作る創造的な人達は動的型を好み、 アイデアをパクって実装したり、フレームワーク使うだけのドカタは静的型を好むわけだよ
- 1035 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 12:33:48 ID:N+saKT+1.net]
- こんなトンデモ論を持ち出さないと、動的型言語を擁護できないのか(笑)
- 1036 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 12:35:55.88 ID:aRq634GN.net]
- >>994
創造性のないドカタっぽいレスですね 知能低そうw
- 1037 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 12:42:23 ID:N+saKT+1.net]
- うわぁ・・・
- 1038 名前:デフォルトの名無しさん mailto:sage [2020/04/05(日) 12:51:43 ID:9ug9dps/.net]
- メタプログラミングの結果を駆使する立場ならともかく
メタプログラミング自体を行う奴らは試行錯誤とかあんましないレヴェルなんじゃね 書いたら動いてバグがほとんど無い( もちろんテストはする
- 1039 名前:デフォルトの名無しさん [2020/04/05(日) 12:55:49 ID:bKlpD2Cq.net]
- 釣りなら釣りと分かるように書かないと、タダの馬鹿だと思われるのでは。
- 1040 名前:デフォルトの名無しさん [2020/04/05(日) 12:58:04.13 ID:bKlpD2Cq.net]
- >>993 は普通に考えれば釣りなんだけど、本気で顔真っ赤にしながら主張する人もいるから、
どこかに釣りの痕跡残しておかないと、後で釣りでしたと言っても信じてもらえなくなる。
- 1041 名前:デフォルトの名無しさん [2020/04/05(日) 13:01:44.09 ID:bKlpD2Cq.net]
- 縦読み入れておくのが良いのでは。
- 1042 名前:1001 [Over 1000 Thread.net]
- このスレッドは1000を超えました。
新しいスレッドを立ててください。 life time: 187日 10時間 3分 41秒
- 1043 名前:過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
|
[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]
前100
次100
最新50
▲ [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<225KB
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef