PLTスキームで定数をどのように定義しますか？

Question

シンボルは常に特定の値を表し、プログラムの実行中は変更できないと宣言するにはどうすればよいですか？

Answer 1

私が知る限り、これはSchemeでは不可能です。そして、すべての目的と目的のために、それは厳密に必要ではありません。トップレベルの値を通常の変数のように定義してからに変更しないでください。あなたが覚えておくために、これらの定数の命名規則を採用することができます。トップレベルの変数がその名前の周りに*stars*で定義されている本を見ました。

他の言語では、作成した定義を一部のライブラリが上書きする危険性があります。しかし、SchemeのレキシカルスコープとPLTのモジュールシステムを組み合わせることで、これは決して起こりません。

Answer 2

あなたは次に、あなただけの

Answer 3

*定数*以下でタイピングではありませんこれは、どこにでも (constant)を使用 set!

(define-syntax constant 
    (syntax-rules() 
    ((_) 25))) 

の簡単な用途に対してあなたを保護する定数に評価するマクロを定義することができ

PLT Schemeでは、独自のモジュールに定義を書きます。自分のコードが `set！ 'を使用していない場合、バインディングは決して変更できません。実際、コンパイラはこれを使用してさまざまな最適化を実行するため、これは単なる慣習ではありません。

Answer 4

私は考え本当にハック答えはあなたの定数を返すリーダーマクロを定義することでした：

#lang racket 
(current-readtable 
    (make-readtable (current-readtable) 
        #\k 'dispatch-macro (lambda (a b c d e f) 5))) 

#k ;; <-- is read as 5 

その後、（読者のマクロを変更せずに）これを再定義することは不可能であろう：

(set! #k 6) ;; <-- error, 5 is not an identifier