, чтобы разобрать тип данных ocaml

Question

В случае, если я должен разобрать тип данных как его размер переменной, могу ли я использовать «match» и «with», и если ответ «да», вы можете помочь мне выяснить, как (я . новичок с этим языком), или я, или использовать другие методы

тип определяется так:

type 'state formula = 
    | And  of 'state formula list 
    | Or  of 'state formula list 
    | Literal of bool 
    | Variable of 'state 

из примеров, которые я видел «матч и с» используется, когда структура статического типа, в моем случае, как и я?

Answer 1

Так вот пример, который использует match для работы с типом формулы:

type 'state formula = | And of 'state formula list | Or of 'state formula list | Literal of bool | Variable of 'state 

let rec count_vars form = match form with 
| And forms 
| Or forms -> List.fold_left (+) 0 (List.map count_vars forms) 
| Literal _ -> 0 
| Variable _ -> 1 

let formula = And [ Variable "q0"; Or[ Variable "q1";Variable "q2"]; Variable "q3"] 

let vars_in_formula = count_vars formula (* 4 *) 

Answer 2

Если вы хотите управлять типом, вы можете использовать p (среди прочего, но я считаю это самым элегантным). Это, по сути, синтаксический сахар для Match with.

Например:

let identify_formula=function 
And(l) -> 0 
|Or(l) -> 1 
|Literal(b) -> 2 
| Variable(v) -> 3;; 

Для менее тривиальный пример того, как манипулировать типов:

type l=Cons of int*l 
    | Nil;; 

let rec sum_l=function 
Cons(hd,tl)->hd+ sum_l(tl) 
| Nil-> 0;; 

sum_l(Cons(1,Cons(2,Cons(3,Nil))));; (*r6*) 

Answer 3

Возможно, вам нужен пример кода для адаптации к вашим потребностям.

type 'state formula = 
    | Literal of bool 
    | And of 'state formula list 
    | Or of 'state formula list 
    | Variable of 'state 

let rec eval variable_env formula = 
    match formula with 
    | Literal b -> b 
    | Variable v -> variable_env v 
    | And formulas -> List.for_all (eval variable_env) formulas 
    | Or formulas -> List.exists (eval variable_env) formulas 

(* same as eval, different code *) 
let rec eval2 env = function 
    | Literal b -> b 
    | Variable v -> env v 
    | And [] -> true 
    | And (hd::tl) -> eval env hd && eval2 env (And tl) 
    | Or [] -> false 
    | Or (hd::tl) -> eval env hd || eval2 env (Or tl)