У меня есть type env = (name, node) Map type prog =

Question

У меня есть type env = (name, node) Map type prog =

| ...
| Let of ((name * prog) list * prog)
| ...
Как мне сделать следущее:
let eval env p =
match p with
| Let (decls, body) ->
let rec frame = lazy List.fold addDecl env decls
and addDecl env (name, body) = Map.add name (delayEval frame body) env
eval (frame.Force()) body
Чтобы frame не спотыкался сам о себя? Если что, delayEval ожидает на вход env Lazy и не делает ему .Force(), но один хрен всё падает с NPE при инициализации frame.

#fsharp #programming #russian

0

12.02.2020

1 ответов

19 просмотров

Ayrat Hudaygulov · Accepted Answer

Ayrat Hudaygulov

У нас жадные вычисления, поэтому передача frame в delay в мучуал рекурсив let печально кончится да.

0

12.02.2020

169 похожих чатов

У меня есть type env = (name, node) Map type prog =

1 ответов

Похожие вопросы