静的型付け言語の潜在開発生産性は今の100倍 ×5
■ このスレッドは過去ログ倉庫に格納されています
int a = 1;
a = "a"; ← エラーになる。
型がない言語ではできない芸当です。（爆笑）
人間がやっていたことを、コンピュータにやらせる。
これが生産性を上げる最大の方法。
コンピュータは間違わない、同じ事を何度も高速に行える。
その為に、コンピュータがコードの意味を正確に
認識できる方法が必要。実行しないとわからないことは
コンピュータは認識できない。
すなわち静的型付け言語であれば、実行しなくてもわかるので
コンピュータが理解できる。そうすれば様々な
コンピュータの高度な情報支援が得られる。
コンピュータのバックアップを受け、人間の生産性は
限りなく向上する。
前スレ
静的型付け言語の潜在開発生産性は今の100倍 ×4
http://toro.2ch.net/test/read.cgi/tech/1383572174/ BCD はとうの昔に忘れ去られたんだね‥あの系のフラグの上げ下げ、一生わからないだろーなー‥ (どうしよう「ノイマン型コンピュータの最大の弱点はデータとオペランドが
同じメモリ空間に等しく並んでいることだ」なんて基礎中の基礎の議論を
一度も見たことがないような人間がビットはデータだ型だ言っててゲロ吐きそうw) >>675
メモリーのビット列見ただけで符号なのかわかるのか？ >>672>>677
同じバイト並びがメモリにあっても、それを読む命令次第でどうとでもなるよ。知っていると思うけど。
だからC言語の型、例えば * （掛ける）を使ったコードがあったら、掛ける数の型に合わせて機械語の命令選ばないと答え無茶苦茶になっちゃうじゃん。 >>681
で、C言語の型はキャスト次第でどうとでもなるわけだが、
C言語の型は型ではないのかね？ ダブルディスパッチなら型そのものに振る舞いを記述する必要はない ここ最近の「型」って言葉、人によって指してるものが違うよね
言葉だけひとり歩きしてしまった感じ
このスレで言われているような「型」の認識だと、旧世代的な言語を想像してしまいがちだけど
Haskellの型クラスやScalaのトレイトみたいな、アドホック多相が表現可能な静的型付けのことでしょ
今いろんな人が注目してる「型」ってのはさ ユニバーサル多相からアドホック多相に退化して何がうれしいの？ r､＿Lヽ＿__
／ ＼
/ ＼
| __ l___ l
. | /^-⌒ヽ､r-､／-|
| ヽ |
/￣ヽ / ＿__ヽ r .|
ヽ -v | l ￣|j
ヽ--､､ヽ /￣ヽ_)
￣ｰ- __／.三l ミl
| ⊥ｲ _三l ﾐl
|＿ ﾍ/ lヽｰ ｧ'
/ l ￣
| /
ヽ ､
| |ヽ ）
/＿|/___(_
ゝ ヽ ___っ二l
'┴┴┴' JSがCより早いとか言ってる奴はキチガイ
インタプリタがネイティブコードに勝てると思ってるの？ このスレアホみたいに勢いあったのにあいつらどこ行ったの？ >681
機械語の命令は変わらないだろ？
量的な扱いが変わるだけで。 匿名通信（Tor、i2p等）ができるファイル共有ソフトBitComet（ビットコメット）みたいな、
BitTorrentがオープンソースで開発されています
言語は何でも大丈夫だそうなので、P2P書きたい！って人居ませんか？
Covenantの作者（Lyrise）がそういう人と話したいそうなので、よろしければツイートお願いします
https://twitter.com/Lyrise_al
ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーｗ
The Covenant Project
概要
Covenantは、純粋P2Pのファイル共有ソフトです
目的
インターネットにおける権力による抑圧を排除することが最終的な目標です。 そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します
特徴
Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)
接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
＾ 機械語にも型はあるに一票
特にC/C++のポインタ型なんかは、単なるビット列を、どう見なして
どう解釈するか、という側面がある
だから同じビット列であっても、キャストでどう見なすか、によって
違った演算が行われる
C/C++の型を型と認めるなら、機械語にも型はある
ただし、型の情報はオペコードに埋め込まれている
単なるビット列を何に見なして演算するかという型 で、なんでこんな変な流れになってるかちょっと考えたんだけど
型はデータが持っているものだと決めつけている人がいるんじゃないかと
動的型言語であればそうかもしれないが、静的型言語は必ずしもそうではない
かのC言語は、構造体であろうが何であろうが、実行時型情報など持ち合わせていない
C言語の型は、ビット列、メモリブロックをどう見なして解釈するかというだけであり
データ自体にそれが何であるか示す細工はない
このシンプルさが今でも使われている理由(メモリレイアウトがシンプル)
また、Javaであっても基本型のインスタンスは型情報を保持していない
ここが分かってないから、「ただのビット列だろ？型なんか無い」などと変なことを言うのではないかね 急激に過疎ったスレとして資料価値がある
一番勢いあったのがIDなかった時代だというのが興味深い 必死で会話続けようとしてるが誰もついてこないが滑稽
時代に取り残されたものとはこういう人のことを指すのだろう えええ、そういう意味なの？ webサーバー＝ｈｔｔｐサーバーってことなの
「WEBサーバー」って、いろんな機能が入ったサーバーの総称かと思っていた。
メールサーバーは「メールができるだけだろう」くらいにはわかっていたが、webサーバー
ってのはメールもhttpもsmtpもできるんだろうと思ってた。 Win32APIスレに>>699をコピペしてんじゃねえぞ
わかってんだよザコ 不具合が１件でもでたら、終身刑がまっている状況に耐える
プログラムをするならば、動的とかありえんよ。
出したあと修正が不要状態を維持でない世代にはわからんだろうけど。
昔の組み込みなどは一度だしたものは、ROM修正などできない。
不具合がでたら倒産する企業だってあったわけだ 不具合を言語のせいにする会社は潰れるだろうねえ・・・
南無阿弥陀仏、南無阿弥陀仏
ちなみに昔の組み込みは静的型言語なんて使ってなかったぞ、素人さんw >>705
> ちなみに昔の組み込みは静的型言語なんて使ってなかったぞ、素人さんw
で、何を使ってたと言うんだ？ w
一応念のために言っとくけどアセンブリ言語とかの臭い答えはやめてくれよな ムカシハ静的デ〜もなんも実行プログラムの一部をRAMに置いて
そこをダイレクトに書き換えて、動作変えたりしてたっつーのに
なんだこのCから始めたようなにわかは。ダッセェ そうそう、LD命令のオペランドを変数領域に使ったりしてたな。 得意気に自己書き換えコードを語る前にスレタイ読めよ... 静的言語を導入すると一個も"完成"しないからゼロは何倍してもゼロという話だろうか 「静的型付け言語」を「静的言語」とか言う奴は漏れなく論点を理解できてないバカだと思う あたかも自分は貢献しまくり
と妄想してるだけの >>713 であった... http://gihyo.jp/news/report/01/rubykaigi2016/0001
本当に往生際が悪いというかなんというか、いったい何の意味があるのか
一方ロシアは鉛筆を使ったって感じ
「負けたんだよ」って誰か言ってあげて 自分が欲しいものを作っただけなのに
いつのまにか予算獲得が目的に変わってしまって・・・ >>718
もう勝手にやってれば〜
って感じだよな... option explecit な感じに仕上げてくれるんなら型があってもいいな
動的言語の綴りミスはちょっと排除できそうにないからな… 僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』
ICI7B ■ このスレッドは過去ログ倉庫に格納されています
