帰ってきた動的言語 VS 静的言語（代表Swift）

**デフォルトの名無しさん** · 2014/06/04(水) 00:32:30.04

静的言語のデメリットが解決された
Swfit登場で動的言語はオワコンか？

**片山博文MZ悪魔崇拝** ◆T6xkBnTXz7B0 · 2014/06/04(水) 00:40:14.08

全自動2ゲッター参上。

**デフォルトの名無しさん** · 2014/06/04(水) 00:56:34.63

代表はC#かC++で

**デフォルトの名無しさん** · 2014/06/04(水) 01:01:48.55

やっぱり型がある方が便利だよね。
バグ少なくなるし。修正も楽になるし。

**デフォルトの名無しさん** · 2014/06/04(水) 01:49:23.44

理由もなくフルボッコにされたpythonの心中お察しいたします

**デフォルトの名無しさん** · 2014/06/04(水) 02:42:50.60

やっぱLISPが最強かー

**デフォルトの名無しさん** · 2014/06/04(水) 03:54:59.29

ウルトラセブン

**デフォルトの名無しさん** · 2014/06/04(水) 05:21:03.50

TypedClojure最強

**デフォルトの名無しさん** · 2014/06/04(水) 05:53:12.01

最強は型推論付きの関数型言語で決着がついたのに、またやるのか。

**デフォルトの名無しさん** · 2014/06/04(水) 07:19:40.25

変数に型がない言語って
やっぱりダメだよ。
簡単なバグでさえ見逃してしまう

どうせコードは特定の型（と互換性がある型）
前程になってるんだから、その型を書けばいい。

**デフォルトの名無しさん** · 2014/06/04(水) 12:15:18.80

しっかりとロジックを組んでいれば、型がなくても問題ないけど
型があった方がコンパイラさんに駄目だしされて気づき易いから楽ってだけだな
まぁもっと丁寧にプログラミングする事をこそ重視した方がいいと思うけどね

**デフォルトの名無しさん** · 2014/06/04(水) 13:01:26.30

スペルミスが素通しになるのを防いでくれれば後はそれほどでもない

**デフォルトの名無しさん** · 2014/06/04(水) 13:09:31.90

丁寧にプログラミング？
そりゃRuby厨は丁寧にプログラミングせざるをえんわな。安全ネットが無いんだから。

俺はHaskellで書くときはぶっきらぼうに書いてるぜ。-Wall でたいていの抜けはチェックできるし。

**デフォルトの名無しさん** · 2014/06/04(水) 14:55:00.72

静的型の方がAPIリファレンスが読みやすい

**デフォルトの名無しさん** · 2014/06/04(水) 16:48:38.79

動的言語のリファレンスでも型は書かれてるっていう
Doc生成とかIDEのためにも型は必須

**デフォルトの名無しさん** · 2014/06/04(水) 17:20:04.59

Javascriptが跳梁跋扈しててもTypeScriptやHaxeみたいなAltJSがあるから、まあ、といったところだが、
今度はランタイムにまともな型システムがないのが気になってくる。
JavaのTypeErasureですら、何だこのレガシーVMはと思ったが…。

**デフォルトの名無しさん** · 2014/06/04(水) 17:59:07.48

お前ら飽きないな
静的型付け言語の潜在開発生産性は今の100倍 ×5
http://peace.2ch.net/test/read.cgi/tech/1385273168/

**デフォルトの名無しさん** · 2014/06/06(金) 08:17:42.14

タイポくらい簡単に見つかるよPythonは

**デフォルトの名無しさん** · 2014/06/08(日) 20:29:27.03

Haxeの文法は出来が良いよ

**デフォルトの名無しさん** · 2014/06/09(月) 17:59:59.45

静的型の逆襲が来てるっつーか
ぶっちゃけ動的型が一時の気の迷いだったのは確定的に明らかだと思うんですけど。

トレードオフの問題ではあるが、
コンパイルせず手軽に実行できる＝事前チェックや最適化を何もしないスクリプト言語の作法を
メインストリームと勘違いした連中があまりにも多かった。
コードや開発者が増えるに従って、lintしたりjsdocのようなノーテーション入れたりTDDしたりするようになったら
お前もうそれコンパイルしろよ、そもそももっと安全な言語を使えよとなるわな。迂遠すぎるわ。

大体、メモリにビット列がどうストアされるかという
ある意味コンピュータの根本的な部分をgdgdにしてどうするんだよ。
マシン語が透けて見えるやつなら、動的型言語がCPUのニモニックレベルでどれほど不自然なことをやっているか、
オーバーヘッドがいかに大きいかは解るはずだ。

**デフォルトの名無しさん** · 2014/06/09(月) 22:42:16.21

釣り針が大きすぎるだろ

**デフォルトの名無しさん** · 2014/06/09(月) 23:26:45.91

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

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

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

**デフォルトの名無しさん** · 2014/06/10(火) 00:07:01.34

CPUの歓声が聞こえるスレはここですか

**デフォルトの名無しさん** · 2014/06/10(火) 01:56:03.90

(SwiftはそもそもObjective-Cの後継として設計されていて
Objective-Cは動的にクラスを扱う言語だったから
当然それができなきゃ後継たり得ないのでclassは動的に管理され
それとは別にstructの中で関数やメソッド宣言することで
静的言語のクラスのようなことができるという
スレタイのような対立をぶち壊してる言語でして…)

**デフォルトの名無しさん** · 2014/06/10(火) 01:59:10.01

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つの形態で使えるようだ。

**デフォルトの名無しさん** · 2014/06/10(火) 02:28:13.77

型推論とジェネリクスがあるなら静的型言語のほうがいいな。

**デフォルトの名無しさん** · 2014/06/10(火) 02:39:10.62

>>24-25
スレタイの静的は、
変数や関数の引数戻値に型がある静的型付言語のことを言ってるんじゃないの？

**デフォルトの名無しさん** · 2014/06/10(火) 06:17:18.98

静的と動的が合体したみたいな言語ってありませんか(´・ω・｀)？

**デフォルトの名無しさん** · 2014/06/10(火) 07:06:23.59

>>28 それがSwiftでは？

**デフォルトの名無しさん** · 2014/06/10(火) 10:27:23.11

天麩羅Haskellとか、依存型（dependent type）だな。

**デフォルトの名無しさん** · 2014/06/10(火) 16:42:07.04

>>27 Swift のジェネリックを見ると、基本は動的型付で制約/束縛指定をすると型の種類に制限をかけて行くみたいだから、色んな形での使用が可能みたい。
Swiftのライブラリの多くは、ジェネリックで作ってるらしい。配列や辞書なども。

http://ja.wikipedia.org/w/index.php?title=Swift_%28プログラミング言語%29#.E3.82.B8.E3.82.A7.E3.83.8D.E3.83.AA.E3.83.83.E3.82.AF

**デフォルトの名無しさん** · 2014/06/14(土) 09:07:17.65

Swiftの制作者 Chris Lattner は、WWDC14のキーノートでSwiftの説明をしたその人なのですが、
実は、今ではXcodeの標準コンパイラ基盤となっているLLVMを設計した人なのです！

**デフォルトの名無しさん** · 2014/06/14(土) 09:55:04.44

LLVM凄いね。Linuxだけのものだと思っていたら、
XCodeも採用しちゃった。Appleにも認められたLLVMは凄い。

LLVMがなければAppleは今でもObjective-Cを使っていただろう。
というか今までObjective-Cしかなかったとかありえないな。