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

1 ：デフォルトの名無しさん：2013/11/24(日) 15:06:08.63 .net

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


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

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

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

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

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

675 ：デフォルトの名無しさん：2014/09/05(金) 21:35:01.68 ID:kEmuiZox.net

符号がついててもビット情報にすぎない。

676 ：デフォルトの名無しさん：2014/09/05(金) 22:22:52.52 ID:vJ702ivD.net

メモリ上のオブジェクトのビット幅と符号等のエンコーディングだけでは型じゃないというなら、
じゃあC言語の型は型じゃないのかよw

677 ：デフォルトの名無しさん：2014/09/05(金) 22:40:11.75 ID:F0C2JJRO.net

BCD はとうの昔に忘れ去られたんだね‥あの系のフラグの上げ下げ、一生わからないだろーなー‥

678 ：デフォルトの名無しさん：2014/09/05(金) 22:44:42.07 ID:w1Ux2akp.net

(どうしよう「ノイマン型コンピュータの最大の弱点はデータとオペランドが
同じメモリ空間に等しく並んでいることだ」なんて基礎中の基礎の議論を
一度も見たことがないような人間がビットはデータだ型だ言っててゲロ吐きそうw)

679 ：デフォルトの名無しさん：2014/09/05(金) 23:01:28.17 ID:BiMZcw/Q.net

>>674
メモリーのビット列見ただけで符号なのかわかるのか？

680 ：デフォルトの名無しさん：2014/09/06(土) 14:00:13.41 ID:ASRhmvFn.net

>>671>>676
同じバイト並びがメモリにあっても、それを読む命令次第でどうとでもなるよ。知っていると思うけど。
だからC言語の型、例えば * （掛ける）を使ったコードがあったら、掛ける数の型に合わせて機械語の命令選ばないと答え無茶苦茶になっちゃうじゃん。

681 ：デフォルトの名無しさん：2014/09/06(土) 19:12:57.93 ID:2eQ4pr9G.net

>>680
で、C言語の型はキャスト次第でどうとでもなるわけだが、
C言語の型は型ではないのかね？

682 ：デフォルトの名無しさん：2014/10/29(水) 15:25:06.29 ID:jBixlkaY.net

ダブルディスパッチなら型そのものに振る舞いを記述する必要はない

683 ：デフォルトの名無しさん：2015/08/16(日) 17:31:30.16 ID:i0k+NpdZ.net

ここ最近の「型」って言葉、人によって指してるものが違うよね
言葉だけひとり歩きしてしまった感じ
このスレで言われているような「型」の認識だと、旧世代的な言語を想像してしまいがちだけど
Haskellの型クラスやScalaのトレイトみたいな、アドホック多相が表現可能な静的型付けのことでしょ
今いろんな人が注目してる「型」ってのはさ

684 ：デフォルトの名無しさん：2015/08/30(日) 06:16:25.67 ID:4622E1Z6.net

ユニバーサル多相からアドホック多相に退化して何がうれしいの？

685 ：デフォルトの名無しさん：2015/12/19(土) 13:37:57.71 ID:a/6r0NiU.net

　　　　　　 r､＿Lヽ＿__
　　　　　 ／　　　　　　 ＼
　　　　 /　　　　　　　　　 ＼
　　　　|　 __　　　 l___　　　　l
.　　　 |　　 /^-⌒ヽ､r-､／-|
　　 　|　　 ヽ　　　　　　　　 |
　　 /￣ヽ /　 ＿__ヽ　　r　.|
　　ヽ -v | l　　　　　　　 ￣|j
　　　ヽ--､､ヽ　　　　/￣ヽ_)
　　　　　　￣ｰ- __／.三l　 ミl
　　　　　　　　| ⊥ｲ　_三l 　 ﾐl
　　　　　　　　|＿ ﾍ/ lヽｰ ｧ'
　　　　　　　 /　　　　 l ￣
　　　　　　　|　　　　　/
　　　　　　　ヽ　　 　 ､
　　　　　　　　|　 |ヽ　）
　　　　　　　 /＿|/___(_
　　　　　　　ゝ　 ヽ ___っ二l
　　　　　　　'┴┴┴'

686 ：デフォルトの名無しさん：2015/12/24(木) 11:22:02.41 ID:oyBoIX3w.net

JSがCより早いとか言ってる奴はキチガイ
インタプリタがネイティブコードに勝てると思ってるの？

687 ：uy ◆Qawu9.2l1E ：2015/12/24(木) 15:41:39.04 ID:CtNlYBZF.net

>>686
頭わるそう

688 ：デフォルトの名無しさん：2016/02/26(金) 04:19:03.89 ID:lISTNpjd.net

このスレアホみたいに勢いあったのにあいつらどこ行ったの？

689 ：デフォルトの名無しさん：2016/02/27(土) 03:21:21.06 ID:cL+mZeVp.net

おごれる者も久しからず
ですな

690 ：デフォルトの名無しさん：2016/02/27(土) 07:26:13.09 ID:zwwRZ2hM.net

>680
機械語の命令は変わらないだろ？
量的な扱いが変わるだけで。

691 ：デフォルトの名無しさん：2016/05/01(日) 13:36:46.89 ID:tKi6j9CT.net

匿名通信（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的に分散され、特定のサーバーに依存しません
＾

692 ：デフォルトの名無しさん：2016/06/02(木) 22:20:49.43 ID:4UxwCTlG.net

廃墟になっててワロタ

693 ：デフォルトの名無しさん：2016/06/24(金) 10:36:21.01 ID:QDx4C0nH.net

まとをえる

694 ：デフォルトの名無しさん：2016/06/27(月) 13:29:19.01 ID:FW1ESxka.net

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

695 ：デフォルトの名無しさん：2016/06/27(月) 14:11:41.06 ID:FW1ESxka.net

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

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

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

696 ：デフォルトの名無しさん：2016/09/02(金) 07:29:22.78 ID:D4RF+Hn1.net

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

697 ：デフォルトの名無しさん：2016/09/10(土) 22:17:07.13 ID:vL431mpn.net

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

698 ：デフォルトの名無しさん：2016/11/12(土) 04:22:45.90 ID:MkVBZpV9.net

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

699 ：デフォルトの名無しさん：2016/11/12(土) 12:30:37.24 ID:v5MvkRT2.net

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

700 ：デフォルトの名無しさん：2016/11/12(土) 21:53:02.89 ID:6wPviZ3t.net

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

701 ：デフォルトの名無しさん：2016/11/14(月) 13:27:58.23 ID:TocDLuy0.net

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

702 ：デフォルトの名無しさん：2016/11/16(水) 12:53:15.06 ID:Io8tNnmj.net

>>696
コレクション

703 ：デフォルトの名無しさん：2016/12/16(金) 23:05:19.41 ID:sTWK9lm6.net

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

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

704 ：デフォルトの名無しさん：2016/12/17(土) 04:46:44.16 ID:+uiZTdOO.net

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

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

705 ：デフォルトの名無しさん：2016/12/17(土) 12:32:04.41 ID:s55gxQDX.net

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

706 ：デフォルトの名無しさん：2016/12/17(土) 17:00:27.24 ID:a9hyyPvt.net

Erlangは息長いな

707 ：デフォルトの名無しさん：2016/12/18(日) 02:47:05.16 ID:Z1pdDHrb.net

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

708 ：デフォルトの名無しさん：2016/12/18(日) 17:39:52.33 ID:r2eD1RnL.net

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

709 ：デフォルトの名無しさん：2016/12/18(日) 21:44:26.37 ID:CFuzcgv7.net

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

710 ：デフォルトの名無しさん：2016/12/18(日) 23:39:13.31 ID:Z1pdDHrb.net

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

711 ：デフォルトの名無しさん：2016/12/19(月) 06:44:34.57 ID:s4WNerU2.net

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

712 ：デフォルトの名無しさん：2016/12/19(月) 10:01:16.68 ID:d4eWK33/.net

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

713 ：デフォルトの名無しさん：2016/12/19(月) 12:19:31.44 ID:z9XVuDpo.net

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

714 ：デフォルトの名無しさん：2016/12/19(月) 12:59:27.17 ID:s4WNerU2.net

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

715 ：デフォルトの名無しさん：2016/12/22(木) 09:57:27.90 ID:i/pZa1E8.net

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

716 ：デフォルトの名無しさん：2017/02/28(火) 18:59:47.70 ID:dw6YdHUr.net

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

717 ：デフォルトの名無しさん：2017/04/15(土) 23:37:25.97 ID:Af1/s0zG.net

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

718 ：デフォルトの名無しさん：2017/04/18(火) 11:51:46.64 ID:Uw8XacGP.net

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

719 ：デフォルトの名無しさん：2017/04/18(火) 12:45:44.41 ID:iAEcPWue.net

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

720 ：デフォルトの名無しさん：2017/09/16(土) 18:00:37.78 ID:3R6WSf4d.net

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

721 ：デフォルトの名無しさん：2018/05/23(水) 21:44:07.35 ID:Au5e7VGg.net

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

ICI7B

722 ：デフォルトの名無しさん：2018/07/05(木) 00:16:16.34 ID:RfoszcD2.net

Y88

723 ：デフォルトの名無しさん：2018/08/23(木) 12:23:44.06 ID:NPcuqlt3.net

>>720
explicit

724 ：デフォルトの名無しさん：2020/04/22(水) 21:20:34 ID:TQVQtNCZ.net

型まみれでやろうぜ。