帰ってきた動的言語 VS 静的言語(代表Swift)
■ このスレッドは過去ログ倉庫に格納されています
静的言語のデメリットが解決された
Swfit登場で動的言語はオワコンか? やっぱり型がある方が便利だよね。
バグ少なくなるし。修正も楽になるし。 理由もなくフルボッコにされたpythonの心中お察しいたします 最強は型推論付きの関数型言語で決着がついたのに、またやるのか。 変数に型がない言語って
やっぱりダメだよ。
簡単なバグでさえ見逃してしまう
どうせコードは特定の型(と互換性がある型)
前程になってるんだから、その型を書けばいい。 しっかりとロジックを組んでいれば、型がなくても問題ないけど
型があった方がコンパイラさんに駄目だしされて気づき易いから楽ってだけだな
まぁもっと丁寧にプログラミングする事をこそ重視した方がいいと思うけどね スペルミスが素通しになるのを防いでくれれば後はそれほどでもない 丁寧にプログラミング?
そりゃRuby厨は丁寧にプログラミングせざるをえんわな。安全ネットが無いんだから。
俺はHaskellで書くときはぶっきらぼうに書いてるぜ。-Wall でたいていの抜けはチェックできるし。 動的言語のリファレンスでも型は書かれてるっていう
Doc生成とかIDEのためにも型は必須 Javascriptが跳梁跋扈しててもTypeScriptやHaxeみたいなAltJSがあるから、まあ、といったところだが、
今度はランタイムにまともな型システムがないのが気になってくる。
JavaのTypeErasureですら、何だこのレガシーVMはと思ったが…。 静的型の逆襲が来てるっつーか
ぶっちゃけ動的型が一時の気の迷いだったのは確定的に明らかだと思うんですけど。
トレードオフの問題ではあるが、
コンパイルせず手軽に実行できる=事前チェックや最適化を何もしないスクリプト言語の作法を
メインストリームと勘違いした連中があまりにも多かった。
コードや開発者が増えるに従って、lintしたりjsdocのようなノーテーション入れたりTDDしたりするようになったら
お前もうそれコンパイルしろよ、そもそももっと安全な言語を使えよとなるわな。迂遠すぎるわ。
大体、メモリにビット列がどうストアされるかという
ある意味コンピュータの根本的な部分をgdgdにしてどうするんだよ。
マシン語が透けて見えるやつなら、動的型言語がCPUのニモニックレベルでどれほど不自然なことをやっているか、
オーバーヘッドがいかに大きいかは解るはずだ。 このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所 (SwiftはそもそもObjective-Cの後継として設計されていて
Objective-Cは動的にクラスを扱う言語だったから
当然それができなきゃ後継たり得ないのでclassは動的に管理され
それとは別にstructの中で関数やメソッド宣言することで
静的言語のクラスのようなことができるという
スレタイのような対立をぶち壊してる言語でして…) 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つの形態で使えるようだ。 型推論とジェネリクスがあるなら静的型言語のほうがいいな。 >>24-25
スレタイの静的は、
変数や関数の引数戻値に型がある静的型付言語のことを言ってるんじゃないの? 静的と動的が合体したみたいな言語ってありませんか(´・ω・`)? 天麩羅Haskellとか、依存型(dependent type)だな。 >>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 Swiftの制作者 Chris Lattner は、WWDC14のキーノートでSwiftの説明をしたその人なのですが、
実は、今ではXcodeの標準コンパイラ基盤となっているLLVMを設計した人なのです! LLVM凄いね。Linuxだけのものだと思っていたら、
XCodeも採用しちゃった。Appleにも認められたLLVMは凄い。
LLVMがなければAppleは今でもObjective-Cを使っていただろう。
というか今までObjective-Cしかなかったとかありえないな。 >>33
LLVMのmain authorは、Appleの社員だが。 アップルが関係しだしたのは、LLVMの開発が始まったかかなり後のことです。
一人か数人かしらないけど、後から参加したくせに
LLVMはアップルが起源みたいなことを言わないようにw ちゅうか、
イリノイ大学で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. ◎2chスレッド勢いランキングサイトリスト◎
★+ニュース板
・ 2NN (推奨サイト)
・ 2chTimes
★+ニュース板新着
・ 2NN新着
・ Headline BBY
・ unker Headline
★+ニュース板その他
・ Desktop2ch
・ 記者別一覧
★全板
・ 全板縦断勢いランキング (推奨サイト)
・ スレッドランキング総合ランキング
・ ログ速
★全板実況込み
・ 2勢 (推奨サイト)
・ READ2CH
・ i-ikioi
※ 要タイトル検索
※ 2chブラウザ併用推奨 そういやLLVMスレが立った頃はclangなんて存在しなかったな。
LLVM-GCCしかなかった。 ClangはそもそもObjective-Cコンパイラを現代的に書き直す為に、一からAppleが開発した物。
CやC++も入ってるのはObjective-Cと混在可能だから。
Swiftもソースレベルで混在可能だからClangに組み込まれた。 一般解放は未定だが多分オープンソースになる。
これが意味する物は、Swiftは、C、C++、ObjCの全資産を利用可能だと言うこと。 全資産を利用可能と聞くと一見よさげだが
悪しき遺産に足を引っ張られて結局使いづらい中途半端なものに終わるってことじゃね
ブリッジ部分を工夫して上手く切り離せてればいいんだが >>42 ブリッジなんて何も感じさせないんだけど。
ObjCとかCのライブラリを使うからと言ってヘッダファイルが必要になるわけでもないし。 >>42 SwiftからLibcを使った例
puts("Hello from libc")
let fd = open("/tmp/scratch.txt", O_WRONLY|O_CREAT, 0o666)
if fd < 0 {
perror("could not open /tmp/scratch.txt")
} else {
let text = "Hello World"
write(fd, text, strlen(text))
close(fd)
}
SwiftからObjective-C の UIColorを使う例
let myTextField = UITextField(frame: CGRect(x: 0.0, y: 0.0, width: 200.0, height: 40.0))
let color = UIColor(red: 0.5, green: 0.0, blue: 0.5, alpha: 1.0)
myTextField.textColor = UIColor.darkGrayColor()
myTextField.text = "Hello world" >>44
SwiftってCのAPI生で触れるんだよな。
一時期かなり凄いと思ったが、作りむようになるとSwiftの記法が面倒になるんだよな。
結局ロジックはCで書いて、Swiftからはラッパー関数呼び出すだけになったわ。 内部のテンポラリ変数なんかは型は別になくてもそんな困らんのだけど
関数の引数宣言なんかは型があった方が読みやすいわな。 僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』
2T9SK >>24 iPhone用のPython pythonista はその Objective_Cの関数が使えるから同じこともできる。
>>48 Python も関数のパラメータには型宣言が入れられる。 ただ自動的にチェックはしてくれない。
#型宣言無しの書き方
def func0( arg1 , arg2=1 ) :
return arg1*arg2
#型宣言有りの書き方
def func( arg1 : str , arg2 : int = 1 ) -> str:
return arg1*arg2 if type(arg1) == str else "バカ"
print(func('Test'))
print(func('Test',3))
print(func(10,3))
print(func0(10,3))
結果-----
Test
TestTestTest
バカ
30 ■ このスレッドは過去ログ倉庫に格納されています