gyokuro asahi (in degustazione)
Azz š
non lavorero` piu` in lisp ma chi l'ha detto che non si puo` approssimarlo anche in ocaml :P
# let fnot x = [%quote not [%uu x]];;
val fnot : Reflect.Term.t -> Reflect.Term.t = <fun>
# fnot [%quote true];;
- : Reflect.Term.t = (not true)
# let fand x y = [%quote [%uu x] && [%uu y]];;
val fand : Reflect.Term.t -> Reflect.Term.t -> Reflect.Term.t = <fun>
# let term = fand (fnot [%q true]) [%q false];;
val term : Reflect.Term.t = (&& (not true) false)
# Reflect.eval term;;
:- false
# non eā un commento immagino?
e` il prompt della repl
eā un lisp che fa male agli occhi :)
si abbastanza molesta come sintassi
si lavora con quel che si ha