静的型付け言語の潜在開発生産性は今の100倍 ×5

**デフォルトの名無しさん** · 2013/11/24(日) 15:06:08.63

int a = 1;
a = "a"; ← エラーになる。
型がない言語ではできない芸当です。（爆笑）

人間がやっていたことを、コンピュータにやらせる。
これが生産性を上げる最大の方法。
コンピュータは間違わない、同じ事を何度も高速に行える。

その為に、コンピュータがコードの意味を正確に
認識できる方法が必要。実行しないとわからないことは
コンピュータは認識できない。

すなわち静的型付け言語であれば、実行しなくてもわかるので
コンピュータが理解できる。そうすれば様々な
コンピュータの高度な情報支援が得られる。

コンピュータのバックアップを受け、人間の生産性は
限りなく向上する。

前スレ
静的型付け言語の潜在開発生産性は今の100倍 ×4
http://toro.2ch.net/test/read.cgi/tech/1383572174/

**デフォルトの名無しさん** · 2016/06/02(木) 22:20:49.43

廃墟になっててワロタ

**デフォルトの名無しさん** · 2016/06/24(金) 10:36:21.01

まとをえる

**デフォルトの名無しさん** · 2016/06/27(月) 13:29:19.01

機械語にも型はあるに一票
特にC/C++のポインタ型なんかは、単なるビット列を、どう見なして
どう解釈するか、という側面がある
だから同じビット列であっても、キャストでどう見なすか、によって
違った演算が行われる
C/C++の型を型と認めるなら、機械語にも型はある
ただし、型の情報はオペコードに埋め込まれている
単なるビット列を何に見なして演算するかという型

**デフォルトの名無しさん** · 2016/06/27(月) 14:11:41.06

で、なんでこんな変な流れになってるかちょっと考えたんだけど
型はデータが持っているものだと決めつけている人がいるんじゃないかと
動的型言語であればそうかもしれないが、静的型言語は必ずしもそうではない

かのC言語は、構造体であろうが何であろうが、実行時型情報など持ち合わせていない
C言語の型は、ビット列、メモリブロックをどう見なして解釈するかというだけであり
データ自体にそれが何であるか示す細工はない
このシンプルさが今でも使われている理由(メモリレイアウトがシンプル)
また、Javaであっても基本型のインスタンスは型情報を保持していない

ここが分かってないから、「ただのビット列だろ？型なんか無い」などと変なことを言うのではないかね

**デフォルトの名無しさん** · 2016/09/02(金) 07:29:22.78

オブジェクトとオブジェクトを足すと何になるんだ？

**デフォルトの名無しさん** · 2016/09/10(土) 22:17:07.13

何型がきても動くようにしておけばいいのか

**デフォルトの名無しさん** · 2016/11/12(土) 04:22:45.90

急激に過疎ったスレとして資料価値がある
一番勢いあったのがIDなかった時代だというのが興味深い

**デフォルトの名無しさん** · 2016/11/12(土) 12:30:37.24

必死で会話続けようとしてるが誰もついてこないが滑稽
時代に取り残されたものとはこういう人のことを指すのだろう

**デフォルトの名無しさん** · 2016/11/12(土) 21:53:02.89

えええ、そういう意味なの？　webサーバー＝ｈｔｔｐサーバーってことなの
「WEBサーバー」って、いろんな機能が入ったサーバーの総称かと思っていた。
メールサーバーは「メールができるだけだろう」くらいにはわかっていたが、webサーバー
ってのはメールもhttpもsmtpもできるんだろうと思ってた。

**デフォルトの名無しさん** · 2016/11/14(月) 13:27:58.23

Win32APIスレに>>699をコピペしてんじゃねえぞ
わかってんだよザコ

**デフォルトの名無しさん** · 2016/11/16(水) 12:53:15.06

>>697
コレクション

**デフォルトの名無しさん** · 2016/12/16(金) 23:05:19.41

不具合が１件でもでたら、終身刑がまっている状況に耐える
プログラムをするならば、動的とかありえんよ。
出したあと修正が不要状態を維持でない世代にはわからんだろうけど。

昔の組み込みなどは一度だしたものは、ROM修正などできない。
不具合がでたら倒産する企業だってあったわけだ

**デフォルトの名無しさん** · 2016/12/17(土) 04:46:44.16

不具合を言語のせいにする会社は潰れるだろうねえ・・・
南無阿弥陀仏、南無阿弥陀仏

ちなみに昔の組み込みは静的型言語なんて使ってなかったぞ、素人さんw

**デフォルトの名無しさん** · 2016/12/17(土) 12:32:04.41

>>705
> ちなみに昔の組み込みは静的型言語なんて使ってなかったぞ、素人さんw
で、何を使ってたと言うんだ？ w
一応念のために言っとくけどアセンブリ言語とかの臭い答えはやめてくれよな

**デフォルトの名無しさん** · 2016/12/17(土) 17:00:27.24

Erlangは息長いな

**デフォルトの名無しさん** · 2016/12/18(日) 02:47:05.16

ムカシハ静的デ～もなんも実行プログラムの一部をRAMに置いて
そこをダイレクトに書き換えて、動作変えたりしてたっつーのに
なんだこのCから始めたようなにわかは。ダッセェ

**デフォルトの名無しさん** · 2016/12/18(日) 17:39:52.33

そうそう、LD命令のオペランドを変数領域に使ったりしてたな。

**デフォルトの名無しさん** · 2016/12/18(日) 21:44:26.37

得意気に自己書き換えコードを語る前にスレタイ読めよ...

**デフォルトの名無しさん** · 2016/12/18(日) 23:39:13.31

静的言語を導入すると一個も"完成"しないからゼロは何倍してもゼロという話だろうか

**デフォルトの名無しさん** · 2016/12/19(月) 06:44:34.57

「静的型付け言語」を「静的言語」とか言う奴は漏れなく論点を理解できてないバカだと思う

**デフォルトの名無しさん** · 2016/12/19(月) 10:01:16.68

だが自分では何も貢献しない、それが静的厨

**デフォルトの名無しさん** · 2016/12/19(月) 12:19:31.44

コードセグメント書き換え禁止

**デフォルトの名無しさん** · 2016/12/19(月) 12:59:27.17

あたかも自分は貢献しまくり
と妄想してるだけの >>713 であった...

**デフォルトの名無しさん** · 2016/12/22(木) 09:57:27.90

https://chrome.google.com/webstore/detail/%E3%81%AF%E3%81%A6%E3%81%AAng/mbgdnfmdelffjdhkdggilmphfdihnmcj?hl=ja

**デフォルトの名無しさん** · 2017/02/28(火) 18:59:47.70

ここで醜態晒してた奴らはいま次世代言語スレにいる

**デフォルトの名無しさん** · 2017/04/15(土) 23:37:25.97

http://gihyo.jp/news/report/01/rubykaigi2016/0001
本当に往生際が悪いというかなんというか、いったい何の意味があるのか
一方ロシアは鉛筆を使ったって感じ
「負けたんだよ」って誰か言ってあげて

**デフォルトの名無しさん** · 2017/04/18(火) 11:51:46.64

自分が欲しいものを作っただけなのに
いつのまにか予算獲得が目的に変わってしまって・・・

**デフォルトの名無しさん** · 2017/04/18(火) 12:45:44.41

>>718
もう勝手にやってれば～
って感じだよな...

**デフォルトの名無しさん** · 2017/09/16(土) 18:00:37.78

option explecit な感じに仕上げてくれるんなら型があってもいいな
動的言語の綴りミスはちょっと排除できそうにないからな…

**デフォルトの名無しさん** · 2018/05/23(水) 21:44:07.35

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

ICI7B

**デフォルトの名無しさん** · 2018/07/05(木) 00:16:16.34

Y88

**デフォルトの名無しさん** · 2018/08/23(木) 12:23:44.06

>>721
explicit

**デフォルトの名無しさん** · 2020/04/22(水) 21:20:34.35

型まみれでやろうぜ。