14/06/04 00:32:30.04 F6AvD4LE
静的言語のデメリットが解決された
Swfit登場で動的言語はオワコンか？
2:片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0
14/06/04 00:40:14.08 qVJRsv3N
全自動2ゲッター参上。
3:デフォルトの名無しさん
14/06/04 00:56:34.63 KWyGL2f/
代表はC#かC++で
4:デフォルトの名無しさん
14/06/04 01:01:48.55 dR3HZjet
やっぱり型がある方が便利だよね。
バグ少なくなるし。修正も楽になるし。
5:デフォルトの名無しさん
14/06/04 01:49:23.44 OMtzL7Lr
理由もなくフルボッコにされたpythonの心中お察しいたします
6:デフォルトの名無しさん
14/06/04 02:42:50.60 2rj+WfiI
やっぱLISPが最強かー
7:デフォルトの名無しさん
14/06/04 03:54:59.29 kTXVUqyW
ウルトラセブン
8:デフォルトの名無しさん
14/06/04 05:21:03.50 xm3VPSs1
TypedClojure最強
9:デフォルトの名無しさん
14/06/04 05:53:12.01 2gJZ3DAh
最強は型推論付きの関数型言語で決着がついたのに、またやるのか。
10:デフォルトの名無しさん
14/06/04 07:19:40.25 cWUULp7C
変数に型がない言語って
やっぱりダメだよ。
簡単なバグでさえ見逃してしまう
どうせコードは特定の型（と互換性がある型）
前程になってるんだから、その型を書けばいい。
11:デフォルトの名無しさん
14/06/04 12:15:18.80 QBS2GcPO
しっかりとロジックを組んでいれば、型がなくても問題ないけど
型があった方がコンパイラさんに駄目だしされて気づき易いから楽ってだけだな
まぁもっと丁寧にプログラミングする事をこそ重視した方がいいと思うけどね
12:デフォルトの名無しさん
14/06/04 13:01:26.30 GG5AMWSc
スペルミスが素通しになるのを防いでくれれば後はそれほどでもない
13:デフォルトの名無しさん
14/06/04 13:09:31.90 H9m/5fkb
丁寧にプログラミング？
そりゃRuby厨は丁寧にプログラミングせざるをえんわな。安全ネットが無いんだから。
俺はHaskellで書くときはぶっきらぼうに書いてるぜ。-Wall でたいていの抜けはチェックできるし。
14:デフォルトの名無しさん
14/06/04 14:55:00.72 Q5ELIKYC
静的型の方がAPIリファレンスが読みやすい
15:デフォルトの名無しさん
14/06/04 16:48:38.79 OMtzL7Lr
動的言語のリファレンスでも型は書かれてるっていう
Doc生成とかIDEのためにも型は必須
16:デフォルトの名無しさん
14/06/04 17:20:04.59 T4v3WcMA
Javascriptが跳梁跋扈しててもTypeScriptやHaxeみたいなAltJSがあるから、まあ、といったところだが、
今度はランタイムにまともな型システムがないのが気になってくる。
JavaのTypeErasureですら、何だこのレガシーVMはと思ったが…。
17:デフォルトの名無しさん
14/06/04 17:59:07.48 KWyGL2f/
お前ら飽きないな
静的型付け言語の潜在開発生産性は今の100倍 ×5
ｽﾚﾘﾝｸ(tech板)
18:デフォルトの名無しさん
14/06/06 08:17:42.14 Xr84RnA8
タイポくらい簡単に見つかるよPythonは
19:デフォルトの名無しさん
14/06/08 20:29:27.03 muM/tUAt
Haxeの文法は出来が良いよ
20:デフォルトの名無しさん
14/06/09 17:59:59.45 hLL8713Q
静的型の逆襲が来てるっつーか
ぶっちゃけ動的型が一時の気の迷いだったのは確定的に明らかだと思うんですけど。
トレードオフの問題ではあるが、
コンパイルせず手軽に実行できる＝事前チェックや最適化を何もしないスクリプト言語の作法を
メインストリームと勘違いした連中があまりにも多かった。
コードや開発者が増えるに従って、lintしたりjsdocのようなノーテーション入れたりTDDしたりするようになったら
お前もうそれコンパイルしろよ、そもそももっと安全な言語を使えよとなるわな。迂遠すぎるわ。
大体、メモリにビット列がどうストアされるかという
ある意味コンピュータの根本的な部分をgdgdにしてどうするんだよ。
マシン語が透けて見えるやつなら、動的型言語がCPUのニモニックレベルでどれほど不自然なことをやっているか、
オーバーヘッドがいかに大きいかは解るはずだ。
21:デフォルトの名無しさん
14/06/09 22:42:16.21 0wp3BeLp
釣り針が大きすぎるだろ
22:デフォルトの名無しさん
14/06/09 23:26:45.91 9PbNMvAP
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
23:デフォルトの名無しさん
14/06/10 00:07:01.34 2MebFii0
CPUの歓声が聞こえるスレはここですか
24:デフォルトの名無しさん
14/06/10 01:56:03.90 R+j21wgE
(SwiftはそもそもObjective-Cの後継として設計されていて
Objective-Cは動的にクラスを扱う言語だったから
当然それができなきゃ後継たり得ないのでclassは動的に管理され
それとは別にstructの中で関数やメソッド宣言することで
静的言語のクラスのようなことができるという
スレタイのような対立をぶち壊してる言語でして…)
25:デフォルトの名無しさん
14/06/10 01:59:10.01 p8HHtVx/
774 名前:デフォルトの名無しさん [sage] :2014/06/10(火) 00:52:23.29 ID:sFxDcnZ9
クラス(orメソッド)宣言に@objcを付ける(もしくはObjCのクラスを継承する)と
メソッド呼び出しはobjc_msgSendを使ったものになる
クラス宣言に@objcを付けなければ、ObjCと非互換になる代わりに
メソッド呼び出しはC++のvirtual相当(直接関数ポインタを取得してcall)になる
クラス宣言に@objcを付けず、かつメソッド宣言に@finalを付けると
メソッド呼び出しは完全に静的になる
よって、Swiftは完全な動的束縛、静的に型付けされた動的束縛、静的束縛の3つの形態で使えるようだ。
26:デフォルトの名無しさん
14/06/10 02:28:13.77 qoouvLaS
型推論とジェネリクスがあるなら静的型言語のほうがいいな。
27:デフォルトの名無しさん
14/06/10 02:39:10.62 osqTzX66
>>24-25
スレタイの静的は、
変数や関数の引数戻値に型がある静的型付言語のことを言ってるんじゃないの？
28:デフォルトの名無しさん
14/06/10 06:17:18.98 wv+hvGP5
静的と動的が合体したみたいな言語ってありませんか(´・ω・｀)？
29:デフォルトの名無しさん
14/06/10 07:06:23.59 p8HHtVx/
>>28 それがSwiftでは？
30:デフォルトの名無しさん
14/06/10 10:27:23.11 Asjcm40b
天麩羅Haskellとか、依存型（dependent type）だな。
31:デフォルトの名無しさん
14/06/10 16:42:07.04 p8HHtVx/
>>27 Swift のジェネリックを見ると、基本は動的型付で制約/束縛指定をすると型の種類に制限をかけて行くみたいだから、色んな形での使用が可能みたい。
Swiftのライブラリの多くは、ジェネリックで作ってるらしい。 配列や辞書なども。
URLﾘﾝｸ(ja.wikipedia.org)プログラミング言語%29#.E3.82.B8.E3.82.A7.E3.83.8D.E3.83.AA.E3.83.83.E3.82.AF
32:デフォルトの名無しさん
14/06/14 09:07:17.65 gvIqw1Hb
Swiftの制作者 Chris Lattner は、WWDC14のキーノートでSwiftの説明をしたその人なのですが、
実は、今ではXcodeの標準コンパイラ基盤となっているLLVMを設計した人なのです！
33:デフォルトの名無しさん
14/06/14 09:55:04.44 NSBhpKcG
LLVM凄いね。Linuxだけのものだと思っていたら、
XCodeも採用しちゃった。Appleにも認められたLLVMは凄い。
LLVMがなければAppleは今でもObjective-Cを使っていただろう。
というか今までObjective-Cしかなかったとかありえないな。
34:デフォルトの名無しさん
14/06/14 10:18:14.30 gvIqw1Hb
>>33
LLVMのmain authorは、Appleの社員だが。
35:デフォルトの名無しさん
14/06/14 10:41:46.94 NSBhpKcG
アップルが関係しだしたのは、LLVMの開発が始まったかかなり後のことです。
一人か数人かしらないけど、後から参加したくせに
LLVMはアップルが起源みたいなことを言わないようにｗ
36:デフォルトの名無しさん
14/06/14 10:56:28.77 gvIqw1Hb
すまんかった。現在の、ね。
37:デフォルトの名無しさん
14/06/14 11:04:24.81 gvIqw1Hb
ちゅうか、
イリノイ大学でLLVM作ってたのがVikram AdveとChris Lattnerで、
2005年にChris LattnerがAppleに入社して今に至る、と。
The LLVM project started in 2000 at the University of Illinois at Urbana–Champaign,
under the direction of Vikram Adve and Chris Lattner.
38:デフォルトの名無しさん
14/06/15 17:06:54.63 F7O8xQBW
>>33
VBとかな