问题
I would like to set the language that my racket REPL is using interactively, like this:
-> #lang typed/racket
; readline-input:15:0: read: #lang not enabled in the current context [,bt for
; context]
; typed/racket: undefined;
; cannot reference undefined identifier
; [,bt for context]`
But it gives me this error:
-> ,bt
; typed/racket: undefined;
; cannot reference undefined identifier
What is my error?
回答1:
From the terminal you can choose what language to use when you start racket:
racket -I typed/racket
来源:https://stackoverflow.com/questions/18628862/how-do-i-set-the-language-in-the-racket-repl