最強の静的型付け言語は何?

0001デフォルトの名無しさん2013/08/24(土) NY:AN:NY.AN
やっぱりC++?
あるいはC#?
それともHaskell?
0002デフォルトの名無しさん2013/08/24(土) NY:AN:NY.AN
>>1 重複です。こちらでどうぞ。

静的型付け言語の潜在開発生産性は今の100倍
http://toro.2ch.net/test/read.cgi/tech/1362302249/
0003デフォルトの名無しさん2013/08/24(土) NY:AN:NY.AN
>>2
そこは静的型付けvs動的型付けって感じじゃない?
静的型付けに閉じて語るスレではないような
0004デフォルトの名無しさん2013/08/25(日) NY:AN:NY.AN
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

                  京都大学霊長類研究所
0005デフォルトの名無しさん2013/08/25(日) NY:AN:NY.AN
>>3
最強スレは対立あおりを助長するだけでウザイって思われてるんだよ
だから隔離スレに誘導される
気づけアホ
0006デフォルトの名無しさん2013/08/25(日) NY:AN:NY.AN
まぁ C/C++ で FA だがな
0007デフォルトの名無しさん2013/08/25(日) NY:AN:NY.AN
あーあ
そのまま落とせばいいのにレスしちゃった
0008デフォルトの名無しさん2013/08/25(日) NY:AN:NY.AN
アセンブラ
0009デフォルトの名無しさん2013/08/25(日) NY:AN:NY.AN
Javaも一応静的型付け言語だったんだけどな

C#の真似をしてジェネリック型を取り入れた当たりから事情が異なってきた
0010デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
ジェネリックを使うと
静的型付けに近づくんだが
わかってるのか?
0011デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
自演か?ジェネリクスだろ
しかもJavaのは不完全だから変な事になった
0012デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
変なことになったことにしたい。
具体的なことは何も言わない。
逃げる。
0013デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
Javaって型変数Tに対して
new T()
って出来ないうんこ言語なんだっけ?
0014デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
>>12
型安全じゃないのが致命的だよ。
というかお前同じような煽りで色んな所荒らしてるな。
このスレ立てたのもお前か?
0015デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
>>13
何のためにそんなことがしたいの?
0016デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
ていうか、new演算子がウンコだわ
なんだよnew演算子って
コンストラクタなんて普通の関数と同じで良いだろ馬鹿が
0017デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
このご時世にmallocですか
0018デフォルトの名無しさん2013/08/26(月) NY:AN:NY.AN
そこでmallocしか思い浮かばないところが無知だねぇ
0019デフォルトの名無しさん2013/08/27(火) NY:AN:NY.AN
>>16
> コンストラクタなんて普通の関数と同じで良いだろ馬鹿が
だめだろ。

例えばJavaScript。
一件、コンストラクタは普通の関数と同じように見えるが、
newの場合は、thisの扱いとプロトタイプチェーンの動作が違っている。
newがなければ出来ないという証拠だ。
0020デフォルトの名無しさん2013/08/27(火) NY:AN:NY.AN
>>5
遅レスすみません

人格攻撃などはしてはいけないと思いますが
静的型付け言語について忌憚のない意見交換ができればいいなと思って立てました

でもスレの立て方が悪かったかもしれませんね
静的型付け言語の雑談スレとして使ってもらっても構いませんし
そうした需要があれば立て直してもらっても構いません
0021デフォルトの名無しさん2013/08/27(火) NY:AN:NY.AN
>>18
それしか思いついてないと思ってるところが浅はかだねぇ
0022デフォルトの名無しさん2013/08/27(火) NY:AN:NY.AN
SmalltalkにもRubyにもPythonにもHaskellにも
new演算子なんて無いけどな
0023デフォルトの名無しさん2013/08/28(水) NY:AN:NY.AN
>>21
それ以外も思いついてたのにmallocを例に出したの?このご時世に?
それはもっとアホだろ
0024デフォルトの名無しさん2013/08/28(水) NY:AN:NY.AN
>>23
gcがない言語ならメモリ割り当ては必須だろ
せっかく煽り返したのに反論しないどころか
具体性の無い文句言うだけ?

夏休みの宿題は早めに終わらせとけよ
0025デフォルトの名無しさん2013/08/28(水) NY:AN:NY.AN
具体性のカケラも無い>>21を書き込んだヤツが言っても説得力ゼロだぞ?
0026デフォルトの名無しさん2013/08/28(水) NY:AN:NY.AN
>>25
まだ内容に言及しない議論を続けるの?
そのまま死んどけよ
0027デフォルトの名無しさん2013/08/28(水) NY:AN:NY.AN
Perlにもないな
0028デフォルトの名無しさん2013/08/28(水) NY:AN:NY.AN
ドカタ三種の神器Java、JS、PHPにあるから、
new必須だとドカタが思い込んでも仕方ないよ
0029デフォルトの名無しさん2013/08/28(水) NY:AN:NY.AN
なぜドカタなの?
普及している言語でいいじゃないw
0030デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
誰でも使える言語しか使えない => いくらでも交換可能な人材 => 買い叩かれる => ドカタ
0031デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
あ、交換可能じゃない人材ってのを
マイナーな言語を使っている人のことだと思ってたんだw
仕事ないのにね。
0032デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
マジレスするとF#でFAですよ
0033デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
>>11
ジェネリクスってジェネリックとも言うだろ
厳密な使い分けがあるのかもしれないが
0034デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
0035デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
>>32
あの使えば使うほどOCamlが恋しくなる言語の事ですか?
0036デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
0037デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
ジェネリクスのスは
単なる複数形
0038デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
>>36
だからJavaのはジェネリク「ス」だって言ってんだろ。
屁理屈ばっかりだな。
0039デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
どっちでもいいよん♪
0040デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
>>37>>39
単なる複数形でもなければ、どっちでよくもないだろ。品詞が違うわ。
0041デフォルトの名無しさん2013/08/29(木) NY:AN:NY.AN
C++のテンプレートからみれば貧弱だし似たようなもんだ。
0042デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
>>35
OCamlにActivePatternやTypeProvider実装してVSと統合してくれたら使ってやってもいい( ´Д`)y━・~~
0043デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
構文に関してはCamlp4があるOCamlは何でもありだな
ttp://mjambon.com/mikmatch-manual.html
0044デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
プリプロセッサがある
C言語のほうが構文はなんでもありだ。
0045デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
"The Whitespace Thing" is an alternative syntax for OCaml that uses indentation to group multi-line expressions, like Python and Haskell.
ttp://people.csail.mit.edu/mikelin/ocaml+twt/

CプリプロセッサでPythonやHaskellみたいなインデント構文を追加できるの?
0046デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
>>42
TypeProviderはいいが前者は推奨できんぞ

それは置いておいて
OCamlでモジュールやクラスに引数渡してた部分とかが
良くも悪くも全部C#になってるところが使いづらいなあと思ってしまう
互換性そのままだったら最高だった
0047デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
>>44
Cプリプロセッサは再帰がないから貧弱な部類だよ
0048デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
>>46
推奨できんつーのはパフォーマンス的な話?

なんでよりOCamlに準拠しなかったのかは知らんのだけど興味ある。何でだろ。CLR的に無理だったのかしら…
0049デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
>>47
ならCプリプロセッサを改良すればいいじゃない。

最終的にC言語のソースコードになればいいんだから
プリプロセッサは自由に作っていいんだよ。
発想は柔軟にね。
0050デフォルトの名無しさん2013/08/30(金) NY:AN:NY.AN
そんなこと言ったら、どんな言語でもプリプロセッサかませば別言語にできるだろ
お前はさっさと「>>44は無知過ぎましたゴメンナサイ」って書き込めば良いんだよ
0051デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
>>48
ActivePatternは宣言近くで使うにはいいが遠いと暗黙の処理に見えるので
明示的に関数で示した方が読む側には良い
ここは個人的なスタイルの問題かな

OCamlに準拠しなかったのは本当に残念だよ
constraintの動作を見る限り実装も問題無さそうなのにな
0052デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
少なくとも俺の知ってる日本人プログラマーはジェネリクスともジェネリックとも言ってる
ヌルとかナルとか、ワーニングとかウォーニングのレベルで
0053デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
まだ言ってんのかよw
0054デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
>>52
null とか warning は発音の問題だからね
そんなのはぶっちゃけどうでもいいよ
でも、ジェネリクスは発音問題じゃないよ
もちろんただの単複問題でもはくて、
ジェネリクスという名詞になっているんだから混同しちゃダメ
0055デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
どっちでもいいな
0056デフォルトの名無しさん2013/08/31(土) NY:AN:NY.AN
emacsをイーマックと言うくらいどうでもよくないだろw
0057デフォルトの名無しさん2013/09/01(日) 04:03:58.45
アスースとエイスース
0058デフォルトの名無しさん2013/09/01(日) 16:58:23.85
>>56
それは心底どうでもいい
0059デフォルトの名無しさん2013/09/03(火) 00:37:01.59
眼鏡はグラシス(glasses)だけどグラスだったらガラスとかガラス製コップになってしまう
どうでもよくない
0060デフォルトの名無しさん2013/09/03(火) 03:35:30.62
faxなんか、「ス」を省略すると目も当てられない。
0061デフォルトの名無しさん2013/09/05(木) 19:38:37.57
この紙ファックしておいて
急ぎでね
0062デフォルトの名無しさん2013/09/21(土) 19:54:41.02
これからは型推論のデキる言語が最強
0063デフォルトの名無しさん2013/09/28(土) 22:28:49.24
日本語だと単数形と複数系を区別しないで言うから、ジェネリックで通じるんだろう
0064デフォルトの名無しさん2013/09/29(日) 10:45:44.50
>>63
医薬品みたいだな
0065デフォルトの名無しさん2013/10/27(日) 14:34:51.38
静的型付け便乗上げ
0066デフォルトの名無しさん2013/10/27(日) 18:46:43.60
間違いなくDart
慣れると他言語が臭く感じる
0067デフォルトの名無しさん2013/10/28(月) 00:13:39.32
流行に乗り遅れるな
0068デフォルトの名無しさん2013/10/28(月) 19:45:24.36
JavaScriptでしょ
0069デフォルトの名無しさん2013/11/03(日) 18:56:39.57
0070デフォルトの名無しさん2013/11/09(土) 02:41:27.52
上でチャットしてたバカども死んだの?
恥さらしだなホント
0071名無しののVBS2013/11/09(土) 05:29:06.54
いや。。。visual basic ではないのか。。。
0072デフォルトの名無しさん2013/11/09(土) 22:40:56.74
age
0073デフォルトの名無しさん2013/11/10(日) 12:39:29.66
OCaml
0074デフォルトの名無しさん2013/11/10(日) 12:50:35.31
やっぱjsかなぁ〜
あ、javascriptのことね
0075デフォルトの名無しさん2013/11/11(月) 11:48:53.15
Arc
0076デフォルトの名無しさん2013/11/11(月) 15:49:14.47
C#
0077デフォルトの名無しさん2013/11/14(木) 17:56:03.69
死ねバカwwwwwwwwwwwwwwwwwwwwwwww

死ねwwwwwwwwwwwwwwwwwwwwwwww


死ねwwwwwwwwwwwwwwwwwwwwwwww


死ねwwwwwwwwwwwwwwwwwwwwwwww

ゴミwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

ゴミゴミゴミwwwwwwwwwwwwゴミゴミゴミwwwwwwwwwwww

ゴミwwwwwwwwwwwwゴミゴミゴミwwwwwwwwwwwwwwwwww
死ねゴミwwwwwwwwwwwwwwwwwwwwwwwwコラwwwwwwwwwwww
死ねコラゴミwwwwwwwwwwwwwwwwww
0078デフォルトの名無しさん2013/11/24(日) 19:50:01.56
便乗上げ
0079デフォルトの名無しさん2015/08/30(日) 18:59:53.67 ID:3Zpd2LI2
ATS2
0080デフォルトの名無しさん2015/09/12(土) 06:37:48.32 ID:o99yCw3m
世界最強の言語はJavascriptとHTMLと韓国語だろ。
俺はそう聞いたぜ?
0081デフォルトの名無しさん2016/12/12(月) 21:03:41.85 ID:RTIwzmPh
0082デフォルトの名無しさん2017/02/05(日) 14:21:25.29 ID:D6nQ2mmt
安全なキャスト出来ない言語はダメ
0083デフォルトの名無しさん2017/02/13(月) 15:39:40.90 ID:HSaRDCl9
coqたん
新着レスの表示
レスを投稿する