Могу ли я получить доступ к параметрам выражения вычислений?

Question

Можно ли создавать методы или автономные функции в выражении вычисления, которое впоследствии может использоваться одним из канонических методов выражения вычисления?

Я хочу что-то вроде этого:

type FormletBuilder(ctx : HttpContext) = 

    let get_int = 
     match Int32.TryParse (ctx.Request.["foo"]) with 
     | (true, n) -> Some n 
     | _ -> None 

    //similar definitions for get_date, get_non_empty_str, etc... 

    member x.Bind (read : 'a option, f : 'a -> option 'a) = 
     match read with 
     | Some x -> f(x) 
     | None -> None  

    member x.Return (obj) = Some obj 
    member x.Zero() = None 



    let person = formlet ctx { 

     let! id = get_int "id" 
     let! name = get_non_empty_str "fullname" 

     return Person(id, name) 
    } 

Но компилятор жалуется, что get_int не определен.

Answer 1

let bindings in class definitions всегда личные. Вместо этого вы можете определить member.

Для простого решения, вы можете сделать:

let formlet = FormletBuilder(ctx) 
let person = formlet { 
    let! id = formlet.get_int "id" 
    ... 
} 

Answer 2

теперь я понимаю, что то, что вы на самом деле хотите, является, возможно, монады, а аргумент рабочего процесса есть просто использовать какой-то синтаксический сахар? Если да, то есть несколько других вещей, которые вы можете рассмотреть возможность сделать:

1. Перейти Haskell на нем весь путь и внедрить MaybeReader монады, так что и может быть, и читатель его части явно в типе,
2. Отложите сахар - Я понимаю, что на самом деле вам не нужен контекст в каких-либо основных конструкторах? Если это так, то, возможно, это не было делом, являющимся аргументом для строителя в первую очередь. Имейте «чистую», возможно, монаду, переместите get_int и т. Д. В соответствующий модуль и попросите их HttpContext явно указать аргумент.
3. Если вы используете F # 3.0 или новее, вы можете определить get_int и т. Д. Как пользовательские операции рабочего процесса, что должно эффективно дать вам хороший синтаксис, который вы хотите иметь. Вот good post об этом от Tomas Petricek.
4. Комбинат 2. и 3. - вместо большого количества пользовательских операций, имеют один - ask - который примет функцию HttpContext -> 'a и применит к ней ctx. Эффективно унаследованная версия читателя. Затем вы можете переместить get_int и т. Д. В соответствующий модуль.