このクラスをさらに継承する側の実装者に対してより高い自由度を与えるのは後者である。みたいな本に書いてあるとか)。勉強していて、直列化周りの言語仕様に興味と疑問が湧いた。使ってシリアライズできるようになる。インターフェイスは実装すべきメソッドというものがない空のインターフェイスであって、これはマーカーインターフェイスと呼ばれる。このマーカーインターフェイスというのがちょっと興味深い。しているということだけに意味があるものだ。型付けしか存在しないような静的なオブジェクト指向言語を考えてみると、そういう言語ではマーカーインターフェイスの居場所が無い。型付けを完全放棄してはいけない根拠の一つになるかもしれない。すると現在手に入るコンパイラの仕組みでこれをコンパイルエラーにすることができる。したクラスのすべてのフィールドが直列化可能な型であるということも、やろうと思えばコンパイル時チェックできるのではないだろうか。していて、そのクラスのインスタンスである)を救えないことになってしまう。...と思ったのだけど、そう状況ではしょうがないのでキャストすればいいのではないだろうか。なるだけの違いで、「キャストを使わない限りはコンパイル時に検出可能」という線までは前進できる。それともそこまで前進しても現実的な使用では意味がないのだろうか。したら何か根本的な思い違いをしているような気もするけど釈然としない。なく、ずっと昔からあるものだ」というような反論も合わせて耳にした。発明になるものがないかといえば実はあって、「チェック例外」というものがそうだ、と思ったのだけどこれは間違ってるでしょうか。チェック例外を真似した言語はない、という気もするのだけど、これは本当でしょうか。(..単体テストのための外部DSLカテゴリーOCaml(62)Tcl(27)D言語(5)COM(1)PowerShell(9)JavaScript(5)Linux(2)Lua(19)XSLT(1)Lisp(32)Excel(2)コードリーディング(4)Ruby(9)言語比較(7)Haskell(6)Groovy(1)PHP(10)Scala(48)Perl(2)Erlang(4)Python(2)Prolog(8)Java(8)自然言語(1)awk(1)SML(19)sh(2)SMV(1)YokohamaUnit(8)Rehearsal(1)Isabelle(1)最近のコメント不本意というよりは意外、というのが..ご案内ありがとうございます。..ご紹介&コメントありがとうございま..OCaml3.11のCamlp4か..エラー出た時はここが参考になりまし..コメントありがとうございます。SML#のバグ報..コメントありがとうございます。ソネットポイントこの広告は前回の更新から一定期間経過したブログに表示されています。更新すると自動で解除されます。この広告は180日新規投稿のないブログに表示されます。