SML - biến cởi ra hoặc constructor

Question

Tôi có đoạn code sau:

datatype expr = K of string| Number2 of expr * (expr list); 
datatype number = Number1 of string | Number3 of int; 
fun append (nil, l2) = l2 
    | append (x::xs, l2) = x::append(xs, l2); 
fun map [] = [] 
    | map (h::t) = (What h)::(map t); 
fun What (K x) = [Number1(x)] 
    |What (Number2 (t,[])) = Number3(0)::What(t) 
    |What (Number2 (y,a::b)) = append(What(a), map(b)); 

Nó không công nhận chức năng "gì" (biến cởi ra hoặc constructor).. Làm thế nào tôi có thể sửa chữa nó, rằng nó sẽ biết chức năng "Cái gì"?

Cảm ơn.

Answer 1

Tuyên bố trong SML hoạt động từ trên xuống dưới, vì vậy map không thấy What. Việc chuyển đổi đơn đặt hàng sẽ không hữu ích, khi đó What sẽ không thấy map, đưa ra cùng một lỗi. Thay vào đó, bạn cần phải khai báo các chức năng hai bên đệ quy đồng thời sử dụng and:

fun map [] = [] 
    | map (h::t) = (What h)::(map t) 
and What (K x) = [Number1(x)] 
    | What (Number2 (t,[])) = Number3(0)::What(t) 
    | What (Number2 (y,a::b)) = append(What(a), map(b)) 

Answer 2

Bạn phải sử dụng and cho đệ quy lẫn nhau. Bạn có một số vấn đề khác mặc dù trong mã của bạn. What rõ ràng là expr -> number list, có nghĩa là map phải là expr list -> (number list) list, vì vậy trong dòng cuối cùng bạn đang cố gắng nối thêm number list list vào number list. Nó không phải là ở tất cả rõ ràng những gì mã có nghĩa là để làm mặc dù, vì vậy bạn có thể phải làm việc ra logic của bạn dự định của riêng bạn. Không có cách nào rõ ràng để viết một hàm với kiểu được yêu cầu.