- 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/
- 934 名前:jVGlaM.net mailto: >>896
グロ [] - [ここ壊れてます]
- 935 名前:デフォルトの名無しさん [2020/04/02(木) 20:08:57.64 ID:SaXsz2/b.net]
- 標準ライブラリが豊富な言語ってC++, Javaとかになるの?
- 936 名前:デフォルトの名無しさん [2020/04/02(Thu) 22:35:51 ID:0tSRYO67.net]
- C++は豊富とは言えない。
- 937 名前:デフォルトの名無しさん mailto:sage [2020/04/02(Thu) 22:39:04 ID:D0Dsg/MO.net]
- Cの非標準ライブラリまとめ言語
と言われたくない人達
- 938 名前:デフォルトの名無しさん [2020/04/02(木) 23:17:47.62 ID:iuGcEdKM.net]
- プログラム板でこのスレしか人いないのほんと草
- 939 名前:デフォルトの名無しさん mailto:sage [2020/04/02(木) 23:53:07.21 ID:tEUzHDBS.net]
- Javaと並ぶのはないんじゃないの?
- 940 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 00:01:45.98 ID:0E621fjE.net]
- .NETも標準ライブラリ豊富だろ
つか、今時スレが言語スレだが言語だけで語る滑稽さ 次世代言語というより、標準ライブラリも含めた次世代環境がほしい
- 941 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 00:21:31.40 ID:v6FKoEXq.net]
- 最近の言語はどれも環境そろってるだろ。
適当なインストーラーとライブラリ管理はあるし。 ビルド通らねー糞が!とかもだいぶ減った。
- 942 名前:デフォルトの名無しさん [2020/04/03(金) 00:44:59.65 ID:WSo5wZTZ.net]
- rustはpythonがらみでエラー出てビルド通らなかった。
本気だして調べる気力もなく、関連ファイル削除して男友達と焼肉食いに行った。 わざわざ男友達と書いたのは、女友達なんかいないからだ。
- 943 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 01:46:29 ID:y4LIlYUL.net]
- >>905
わざわざどうでもいいつまらないことを書き込むところが女友達のいない原因だろう
- 944 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 01:54:07 ID:b0rZIsH6.net]
- >>905
1行目からイミフ
- 945 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 07:20:23.73 ID:x2AIwLRG.net]
- >>907
rust自身のビルドが、Pythonに依存しているって話じゃない?
- 946 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 10:41:31.87 ID:TFqtSApO.net]
- Pythonはいいぞ
Makefileより読みやすく Python自身のビルドはLLVMのビルドより10倍か100倍速い
- 947 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 10:53:44.07 ID:b0rZIsH6.net]
- 型無しの時点でゴミという現実
- 948 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 14:42:39 ID:Tc814Ws0.net]
- 型が無いんじゃなくて型を差別してないのさ
どんな型が来ても受け入れるおおらかさがある
- 949 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 15:11:10.65 ID:v6FKoEXq.net]
- 動的な型なだけだな。
ネストした構造をループ処理するときなんかは確かに楽なことも多い。
- 950 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 15:32:53.86 ID:b0rZIsH6.net]
- それを世間一般では型無し糞言語と言うんだよ
- 951 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 15:51:03.27 ID:MTkh8ajj.net]
- 強い動的型付けだし型アノテーションだいぶ充実してきたしでだいぶマシだと思うけどなぁ
弱い動的型付けと同一視するのは誤りの元だし、漸進的型付けの存在を無視するのもまた評価を誤りかねないですよ
- 952 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 16:37:43.22 ID:UYNPUerC.net]
- Pythonの型アノテーションは実際には全くと言っても差し支えないほど使われていないから無視して問題ない
そろそろ後付け静的型の代表的成功例であるTypeScriptと何が違ったのかを真剣に議論すべき時期にきてる
- 953 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 16:50:18.12 ID:v6FKoEXq.net]
- したけりゃすりゃいいじゃん。
- 954 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 17:36:01 ID:qlrRurvi.net]
- TypeScriptの方が使いやすい型システムしてるのわかる
- 955 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 17:42:02 ID:HJoja6bN.net]
- 型無しは苦手だけどbashは認める
- 956 名前:デフォルトの名無しさん [2020/04/03(金) 18:10:28.37 ID:VVxcL9Mv.net]
- >>902
C#は多いけど標準かって言われるとな・・・ C/C++も「標準」に拘ると何もできないω
- 957 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 22:01:00.40 ID:9+J0Mjhv.net]
- 型なし言語でも宣言時に初期化と代入を済ませれば問題がない
- 958 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 22:20:48.78 ID:bCeKFD21.net]
- 動的だと、神関数が、作れるからオススメ。
func add_god(a,b){
- 959 名前:return a + b
} add_god(1,2) add_god("a","b") add_god(1,"a") 神関数、があれば、コードの削減が可能!!!!!!!!! ノーコード時代には動的型付け言語一択!!!!!!!! [] - [ここ壊れてます]
- 960 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 23:12:24 ID:IuiLyZOy.net]
- 型無しのデバッグ作業に駆り出された事有るけど、マジで地獄やぞ。絶滅はよ
- 961 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 23:39:58.52 ID:b0rZIsH6.net]
- ガチのマジで型無し糞言語の良さがわからん
死ねとまでは言わないが生まれてこなければよかったのに
- 962 名前:デフォルトの名無しさん mailto:sage [2020/04/03(金) 23:46:38.92 ID:y4LIlYUL.net]
- 型無し言語より>>921に絶滅してほしい
- 963 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 01:01:37.87 ID:ImIgGAA9.net]
- 何回言われても直す気がないからもう悪意だと認識してるけど、動的型付けと型なしは全く別のものとしてそもそも存在してるので、動的型付けを型なしと呼びまた強い型付けと弱い型付けの区別を無視する限りこの議論が有意義に進むことはないよ
- 964 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 01:03:28.27 ID:9qrNMGHe.net]
- このへんでも読めば?
https://myuon.github.io/posts/type-system-poem/
- 965 名前:デフォルトの名無しさん [2020/04/04(土) 01:04:40.59 ID:PddOPzm8.net]
- 型があれば静的解析に有効というのは間違い無いのだが
静的解析すれば全てのバグを取り除けるというのは間違い
- 966 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 01:34:09 ID:ezNPGdHf.net]
- > 静的解析すれば全てのバグを取り除けるというのは間違い
そもそもそんな主張誰もしていない
- 967 名前:デフォルトの名無しさん [2020/04/04(土) 02:58:03 ID:bmDmb45p.net]
- スクリプト界隈もlintから始まってflowだTypeScriptだ型定義は素晴らしい!静的型付けバンザイ!
とかあれだけ動的型付け素晴らしいからの静的型付け面倒臭いとかディスッといてこの状況は大草原ですわ まぁ何事もトレードオフだからケースバイケースで使い分ければいいんだが 今頃ブレイクスルーだなんだと大騒ぎなのは滑稽ですな js界隈も結局サーバサイドレンダリングに回帰してるしファッションや音楽と同じで10〜20年スパンでサイクルすんのかね
- 968 名前:デフォルトの名無しさん [2020/04/04(土) 04:34:22.45 ID:aJleCvsu.net]
- JSを本業にしてる層って最近の若者で学生時代にちょっと触り始めた生意気なガキが多いから気にしない方が健全
- 969 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 07:59:21.83 ID:ImIgGAA9.net]
- CのunionとかC++のオブジェクトスライシングの話を見てたら型が無いからクソみたいな言説は発生しないはずなんだがな……
型があっても言語としての使い方がクソならクソだし、静的解析のないLLだからってランタイムにきちんと型エラー吐いてくれるものが比較的マシという評価になるのは間違いないでしょ デジタルな分野扱ってるからって判断までI/Oにするもんじゃない
- 970 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 08:04:15.02 ID:7gXG4pCc.net]
- 静的解析マンセーな輩はただテストコード書く技量がないだけ。
- 971 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 09:42:25 ID:BgK/PXFy.net]
- >>932
君は >>921 の関数に、整数、小数、文字列、オブジェクト、真偽値、日付型・・・ たくさんの引数を与えて 一生懸命テストを書くのだろうな それは素晴らしいことだと思うよ 感動で涙がで、でますよ
- 972 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 09:47:00 ID:7gXG4pCc.net]
- またそう言う極論をほざくところが静的解析マンセー厨らしいよ。
- 973 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 09:48:28 ID:BgK/PXFy.net]
- >>934
おやおや・・・君もテストコード書く技量がないだけ??
- 974 名前:デフォルトの名無しさん mailto:sage [2020/0
]
- [ここ壊れてます]
- 975 名前:4/04(土) 09:50:52 ID:BgK/PXFy.net mailto: それともコメントに、
この引数は整数でございます。小数、文字列、オブジェクト、真偽値、日付型・・・は教育によろしくないので与えないでいただけますと幸い至極でございます。 とでも一生懸命書くのかな?? それでIDEの静的解析に警告を受けたら 「やっぱり型無し糞言語でも安全!!型はいらない!!!」 とか言うのかな あれっw [] - [ここ壊れてます]
- 976 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 10:24:55 ID:4+4qlucB.net]
- Pythonは現実的
言語名が不明な「静的型」は現実みが浅い
- 977 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 10:34:48.74 ID:LqQwLSmR.net]
- Pythonは有名ライブラリにことごとく型がついてないので
やっぱりクソ
- 978 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 10:48:28.81 ID:g5yerRCZ.net]
- >>937
現実みが浅い、って日本語として気持ち悪い
- 979 名前:デフォルトの名無しさん [2020/04/04(土) 11:05:52.17 ID:L/BdUORC.net]
- 逆に静的型付けの何がいいのか知りたい
JavaScriptやpyなんか連想配列や辞書 定義するのもコンソール出力もめっちゃ便利やぞ コンパイルエラーの手間もないしめっちゃデバッグが楽
- 980 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 11:12:33.09 ID:oHbtMe0Y.net]
- >>932
それな 全員がそうだとは言わないけどテスト設計できないやつが大半
- 981 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 11:46:08.97 ID:nZpdiFMX.net]
- // この関数を使えばなんでもできます
func god(args...){} これだけで基幹システム作ったわ 1年掛かる工数を3日に短縮できる動的言語ってやっぱ神だわ
- 982 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 11:54:03.53 ID:BgK/PXFy.net]
- >>942
うーんこの神 みずほ案件も型無し糞言語を使っていれば3人日で完成していた
- 983 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 12:50:45.86 ID:7gXG4pCc.net]
- >>940
メソッドの実装探すのに苦労する。
- 984 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 13:09:18.66 ID:XKUUvXNa.net]
- public class HelloWorld {
public static void main(String[] args) { System.out.println("hello, world"); } } やっぱJavaだわ 記述量が多いから努力した気になれるし成長した気にもなれる 静的型付けだから動的野郎にもマウント取れるし 昔ながらの大企業でよく使われてるから日本の伝統も感じられるし 今後50年は食いっぱぐれないし Oracleに転職できるかもしれない
- 985 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 13:11:54.28 ID:ebeS0Dvl.net]
- またそう言う極論をほざくところが型無し糞言語マンセー厨らしいよ。
- 986 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 13:15:24.41 ID:c4e/DrqX.net]
- 30年後50年後にコードを書く文化って残ってるのかな
- 987 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 14:40:47.29 ID:4+4qlucB.net]
- 英語圏の文化で面白いのがプログラムしかない
これが無くなったら英語自体がオワコン
- 988 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 17:38:57 ID:VsggCgGE.net]
- >>941
動的派の書くテストは正常系を一発通すだけのものが多くて、あれでテストちゃんと書いてますと言われても首を傾げてしまう 動的型のコードがデグレで動かなくなるのは日常茶飯事であるし、そもそも最初から全く動かないウンコであることも珍しくない だから最低でも変更の度に自動テストで一度動しておけば品質は大幅に上がるのだが、とはいえ血便が下痢便になる程度 一方、静的型はプログラマの品質に対する意識の高さや静的型検査の恩恵のため、動かすだけのテストにはあまり意味がない 起こりうる様々なケースを試したり挙動の変更を厳密に監視したりと、静的型においては自動テストに求められる基準は遥かに高くなる
- 989 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 17:54:20 ID:f2T6dYaQ.net]
- >>933のいうとおりだな。人間どうミスするかわからんから、
整数、少数..本来は全部やるべきだな エラーの原因の大半
- 990 名前:は人間のちょっとしたミスだからな
>>934は勝手に都合のいい解釈でそういうテスト省こうとしてるだけやんw [] - [ここ壊れてます]
- 991 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 17:57:18 ID:j3yAmUj/.net]
- 過激派静的言語マンってミスが一切許されない職場で働いてそう
動的だと一週間で終わるものを三ヶ月ぐらい掛けて実装してそう
- 992 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 17:59:36 ID:f2T6dYaQ.net]
- >>949
なるほど、まさしく>>934は「異常系」のテストは、極論と自己都合解釈して省こうとしてるのですね
- 993 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 18:06:51 ID:ebeS0Dvl.net]
- >>951
型無し糞言語脳って、型チェックがあればそもそも発生しないバグのチェックに何日費やしてるんだろうな 静的型だと0秒で終わるバグを三ヶ月ぐらい掛けて修正してそう
- 994 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 19:42:07.40 ID:ebMvcEKD.net]
- ワイ「この作業、手動でやるとめんどいしpythonで自動化するかぁ」
型おじさん「……型は?」 ワイ「え?」 型おじさん「簡単なスクリプトだからって舐めてない?引数とかに色んな型が入ること想定してる?」 ワイ「いや……」 型おじさん「あのさぁ!!!!!型が無いと万が一のこともあるよねぇ!?!?!?エラーが起きてサーバぶっ壊れるかもしれないだろ!?!?」 ワイ「サーバが壊れる!?どうしたんですか」 型おじさん「ああああああああ!!!!!!!!」 次の日にそのおじさん退職したわ 前の職場でも型型騒いで辞めたらしい お前らも気をつけろよ
- 995 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 19:46:39.69 ID:C11LX2Y6.net]
- >>954
そんな低レベルな職場に一生居たくないと思ったんだろう。 かわいそうに。
- 996 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 20:02:34.31 ID:4KWBPZA4.net]
- 型おじ釣られすぎだろ
ネット初心者かよ
- 997 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 20:03:33.83 ID:dzVJGpcL.net]
- >>954
最近多いんだよねー Pythonとかちょっとかじった程度で 「俺プログラマーやってます」って顔する子 最初の入り口が動的型付け言語なんだよね最近の子って そんなもんじゃ使いものにならねっての
- 998 名前:デフォルトの名無しさん mailto:sage [2020/04/04(土) 20:04:21.63 ID:0WjGsUHg.net]
- 長文でクソおもんない作り話書いてて楽しそうですね
Juliaなんかはパフォーマンス向上目的での型の導入だけど、型安定とかわざわざドキュメントに記すなら言語側でそもそも制約を強めてエラーにしてしまうとかでよかったんじゃないかと思ってしまう
- 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で産まれて、静的型言語に不完全な形でパクられた だから、ゼロからフレームワークを作る創造的な人達は動的型を好み、 アイデアをパクって実装したり、フレームワーク使うだけのドカタは静的型を好むわけだよ
|
|