DrRacket BNF語法

Question

你好，我寫了BNF語法是這樣的：

#lang pl 

#| BNF for the LE language: 
    <LE> ::= <num> 
      | <null> 
|# 

(define-type LE 
    [Num Number] 
) 

，但我不知道如何檢查，如果這個代碼是好的... 如何在球拍檢查的唯一的事情，我們可以使用它的空和數字？

我覺得這樣的事情：

(test 5) 

但

(test '()) 

工作壓力太大了，我不是在我的BNF設置列表

（如果這個代碼並不好 - 我會很高興爲一些BNF的例子和檢查...）

tnx很多

Answer 1

沒有測試我建議嘗試以下程序：

#lang pl 

#| BNF for the LE language: 
    <LE> ::= <num> 
      | <null> 
|# 

(define-type LE 
    [Num Number] 
    [Nul Null] 
    [Kons LE LE]) 

(: test : LE -> LE) 
(define (test x) 
    x) 

(test (Num 5))  ; this is accepted since 5 is a Number 
(test (Nul '()) 
(test (Kons (Num 1) (Num 2))) 
; (test (Num "foo")) ; this provokes an error (as it should) 

注意(: test : LE -> LE)聲明類型test功能。由於在(test '())空列表不匹配LE類型，你應該得到一個錯誤。

編輯：示例已更新爲使用(Num 5)而不僅僅是5。

編輯2：增加了Kons