在Racket中使用eval编写代码的替代方法

Racket提供的文档表明，

eval

只能在DrRacket的交互窗口中使用。如何在“定义”窗口中写入此内容？

您使用的是什么语言？语法与默认包服务器中的语言不同……我认为这是一个伪代码，可以用

lang\u plait

编写。

#lang plait
number: DIGIT number

eval(0) = 0
eval(1) = 1
eval(2) = 2
...
eval(9) = 9

eval(DIGIT) = DIGIT
eval(DIGIT number) = 10*eval(DIGIT) + eval(number)