【JavaScript】スクリプト ..
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このスレッドのURL
■項目テキスト
212:デフォルトの名無しさん 16/10/19 21:35:33.44 /aiIuy0q.net そうだよね。作るものによってというのが重要。 代数データ型が適している分野で例えばライブラリを作って終わりみたいな 仕事だと、差が出るかもしれないけど、実際にやった仕事(勉強とかではなく)で 代数データ型があったらなぁって思ったことある? 仮に有ったとしても全体のごく一部だけだろうね。 だから言語の違い程度でそんなに差は出ないっていうのは間違っていない。 213:デフォルトの名無しさん 16/10/19 22:05:06.83 kMzukS4D.net >>212 お前が差が出ないのを示せたのはHelloWorldだけだろw 214:158 16/10/19 22:29:30.29 SBws4+ZC.net >>202 あのぉ代数的データ型君よ、ナゼ>>173のリンク先文書の中から わざわざそのパラグラフを引用して静的型付けの利点だとドヤ顔してるの? そこは(「静的型付け」ではなく)正に「代数的データ型」の利点だ どうやら代数的データ型君は、静的型付けと代数的データ型との違いも分からず ごっちゃに理解して分かったつもりでいることを自らゲロっちゃったみたいだね というか、そもそも「不変条件」にしても分かっていないんじゃないの? だからアサーションを「いわゆるテストの一種」などと書いてしまうんだろな 何度も繰り返すけど、代数的データ型と静的型付け(or 型システム or 型推論)の 利点は異なるし、それらをごっちゃにして議論を進めるべきではない たとえば、完全な型システムを備えた静的型付け関数型言語 OCaml であってすら、 代数的データ型を用いずにネットワークコネクション状態管理を定義すると (>>173文書の type connection_state = | Connecting | Connected … で始まるコード)、 {state: Disconnected, last_ping_id: 100, …(中略)… } というコネクション情報値を表すコードに対して、OCamlコンパイラは 以下の要求仕様に含まれる不変条件に違反しているというエラーを検出できない > * last_ping_time と last_ping_id は keep-alive プロトコルの一部として使われます。 > …(中略)… > またこれらは state が Connected の時にのみ存在します。 だから代数的データ型を使いましょうね、って言うのが>>202が引用したパラグラフで >>173リンク先文書の著者が読者に伝えたかった主旨であって、静的型付けとは無関係なのよ さあ>>202の代数的データ型君よ、これで代数的データ型の利点は理解できたかね?
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック!
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
658日前に更新/278 KB
担当:undef