静的型付け言語の潜在開発生産性は今の100倍 ×5at TECH
静的型付け言語の潜在開発生産性は今の100倍 ×5 - 暇つぶし2ch640:デフォルトの名無しさん
14/01/01 10:23:30.46
Smalltalkも遅いしな。
動的言語が速い云々は特定ユースケースに絞った口先ばかりの話ばかりだ。

641:デフォルトの名無しさん
14/01/01 10:39:54.92
まあC#よりは速いんだからJSの速度は認めるしかないわな。

642:デフォルトの名無しさん
14/01/01 11:35:39.56
実際C#と同等に動いてくれるならわざわざネイティブで作らんでもいいんだけどねぇ(´・ω・`)

643:デフォルトの名無しさん
14/01/01 11:40:42.35
ちょっと話変わるけどC#とJSって近いよな
例えばUnityのJSはC#バインディングだし
同じ臭いがする

644:デフォルトの名無しさん
14/01/01 11:49:45.70
>>631-632
バイドゥのIME Shimejiってオープンソースじゃなかったっけ?(w

そして、GoogleはIMEをオープンソースにしていない。

645:デフォルトの名無しさん
14/01/01 13:47:35.88
Googleは情報を集めることを公言してるし、
何と言っても検索で情報を提供してる
またWidevineみたいな情報を閉ざす方にも力を入れてる
Googleは情報の管理人として最も相応しい存在として世界中で認められているので
Baiduの件に比べて問題が少ない

646:デフォルトの名無しさん
14/01/01 14:05:46.10
×問題が少ない
○問題が大きすぎて思考停止している

647:デフォルトの名無しさん
14/01/01 14:19:42.56
自動車の事故と同じ
多大なメリットを提供してくれるGoogle様にはさからえない

648:デフォルトの名無しさん
14/01/01 15:36:11.87
>>641
ネイティブ吐けるC#ってあったっけ?
CLR上でC#を超えるようなJS実装ってあったっけ?
比較対象がおかしいよ

649:デフォルトの名無しさん
14/01/01 16:19:33.35
C#もJSも最終的に機械語になって実行されるんだから何も変わらん

650:デフォルトの名無しさん
14/01/02 01:23:22.20
>>648
あるっちゃいっちゃあるけどな

651:デフォルトの名無しさん
14/01/06 07:35:27.64
静的言語はキャストがめんどうなんだよな。
あんなもの苦痛でしかない。

652:デフォルトの名無しさん
14/01/06 07:58:24.06
>>650
MS社内にあるだけで門外不出なんだろ?

653:デフォルトの名無しさん
14/01/06 08:47:28.73
>>652
いやググれば出てくるでしょ
MonoはC#をネイティブ出力できるよ

654:デフォルトの名無しさん
14/01/06 11:02:24.41
この世はC#を無条件でWindows+.NET+Formsへと脳内変換する視野狭窄なドカタで満ち満ちている
ネイティブなどとほざいても絵空事にしかならない

655:デフォルトの名無しさん
14/01/06 11:12:59.89
>>651
関数型がデフォルトイミュータブルなのと一緒でそれを不自由と見るか保証と見るかはあなた次第。

656:デフォルトの名無しさん
14/01/06 11:52:50.24
わけわからん暗黙変換の方がウザイ

657:デフォルトの名無しさん
14/01/19 01:28:02.63
>>1のコードだと、指摘したい内容に対して微妙に噛み合ってないような
実行前に(変数の)型が決まっているかどうかと
変数に型を持たせられるかどうかは、厳密には別の話だよね

大抵の動的言語は変数に型がないから、端的に示すには十分なんだろうけど

658:デフォルトの名無しさん
14/01/19 15:30:04.45
>>657
「型体系(type system)」と「型付け(typing)」の違いだね
これらはの概念は組合せ(直積)で考える必要がある

型体系(type system):
・単一型(型無し、とも言う)
 ・ただ一つの型しか存在しない、言い換えると型を区別しない
 例:Tcl や Shell --> 文字列型のみで、1 と "1" はどちらも文字列
・素朴な型体系
 ・複数の原始型と僅かな複合型
 例:Lisp、Prolog、JavaScript --> 数値や記号といった原始型(=アトム)と
   リスト(Lispの場合)または項(Prologの場合)から構成される
・複雑な型体系
 ・複数の原始型と複合型
 例:Pascal や C といった多くの手続き型言語、および
   ML族のような初期の静的型付け関数型言語 -->
   以下の3種類の基本構造から構成される
   ・直積:タプル、レコード(=構造体)
   ・直和:列挙型、合併型(=共用体)、代数型
   ・列:配列、リスト
・複雑で階層的な型体系
 例:C++/Java/Smalltalk/Ruby といったクラスベースのオブジェクト指向言語、
   および Haskell や Scala のようなアドホック型多相を基礎とする関数型言語など

型付け(typing):
・静的型付け:Pascal/C/C++/Java/C#/OCaml/SML/Haskell/Scala
・動的型付け:Lisp/Prolog/JavaScript/Smalltalk/Ruby/Python
・ハイブリッド:Objective-C

659:デフォルトの名無しさん
14/03/09 14:07:19.05
現在プログラム板のID制導入の投票を実施中です
よろしくお願いします

プログラム板 強制ID制導入に関する投票スレ
スレリンク(vote板)

660:デフォルトの名無しさん
14/03/28 02:09:27.84 NM8p3urQ
メインで使う言語が Ruby から入って今は専ら Java だけど、
Rubyに戻りたくないな
やっぱ静的型付けは曖昧さがないから安心感が高くていいよ
オーバーロードも出来るし
開発環境もいろいろサポートしてくれるし

まぁでも Ruby はそれなりに良い言語ではるけどね
クロージャが書きやすいし(Javaでも書けるけど)
ミックスインも強力だし……そういえば Java8 でインターフェースのデフォルト実装来るのだろうか?
クラスがオブジェクトとして扱えて、クラスメソッドでポリモーフィズムが使えたり
うーん、懐かしいわ


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch