型付きラケットでオーバーライド

Question

型付きラケットから型付けされていないラケットにクラスをオーバーライドしたい場合は可能ですか？可能であれば、以下のタイプのラケットクラスを型なしのラケットクラスにオーバーライドする方法を教えてもらえれば、とても感謝します。私はテキストを "これはフレームです"から "これはフレームではありません"に置き換えます。 注：テキストを置き換える他のオプションがある場合は教えてください。あなたの型指定されたコードで

(: frame (Instance (Class #:implements Frame% 
          (augment [on-close (-> Void)])))) 
(define frame 
    (instantiate 
    (class frame% 
    (augment* 
     [on-close 
     (lambda() 
      (send board-canvas stop-timer) 
      (inner (void) on-close))]) 
    (super-instantiate())) 
    ("this is a frame"))) 

Answer 1

、あなたがオブジェクトではなく、クラスとしてframeを定義します。これはinstantiateを使用したためです。

通常は、クラスのものを上書きします。したがって、別のクラスのそれをオーバーライドするには、(class frame% ...)式をインスタンス化フォームから取り出し、それを独自のサブクラスとして定義する必要があります。名前をつけたら、それを何度も使うことができます。

何をしたいのですが、何も上書きする必要はありません。このクラスを異なる値で複数回インスタンス化するだけで済みます。その後、

;; This class has been lifted out into its own definition, 
;; and given a name so that it can be used multiple times 
(define my-frame% 
    (class frame% 
    (augment* 
    [on-close 
     (lambda() 
     (send board-canvas stop-timer) 
     (inner (void) on-close))]) 
    (super-instantiate()))) 

(: frame (Instance (Class #:implements Frame% 
          (augment [on-close (-> Void)])))) 
(define frame 
    (instantiate my-frame% ["this is a frame"])) 

あなたは、独自の定義でサブクラスを持っていたら、あなたはそれprovideできるタイプされたファイル

(provide my-frame%) 

からと型なしファイルにそれを使用する：これは持っている

#lang racket 
(require "the-typed-file.rkt") 

(define frame-2 
    (instantiate my-frame% ["a different frame label"])) 

ただし、オーバーライドとは関係ありません。それは単に異なる場所でコンストラクタに異なる値を与えているだけです。