Попытка получить связывание, работающее для сочетания государственной и отложенной монады

Question

Если ответ на этот вопрос: «вы все это делаете неправильно», непременно сообщите мне более подходящий способ. У меня был код, который был структурирован так:

type Res<'T> = 
    | E of (DC -> 'T) 
    | V of 'T 

Теперь этот тип в основном используется непосредственно, с большим количеством встроенного кода, который сделал руководство по случаю связывания, который много шаблонного Я пытаюсь избавиться из, поэтому я решил, что превращаю его в выражение вычисления. Было не так сложно получить map, bind и применить право.

Состояние было перенесено через округ Колумбия, но это было громоздким, чтобы получить право, поэтому я изменил его на следующее, что является общей подписью, которую я вижу в обсуждениях с государственной монадой.

type Res<'T> = 
    | E of (DC -> DC * 'T) 
    | V of 'T 

Тогда я решил взять его на следующий уровень и ввести Delayed монады (или В конце концов, или независимо от его имени). Таким образом, я изменил свой тип следующим образом, что делает его рекурсивным:

type Res<'T> = 
    | E of (DC -> DC * Res<'T>) 
    | V of 'T 

Я попробовал несколько вариантов ниже, но постоянно получаю:

Результирующий тип будет бесконечным, когда объединяющим «» а»и 'Res <' а> -> Res < 'б>'

(обычно случается, когда я не призываю возвращения, то есть ниже Res.E <|)

Или я не могу показаться, чтобы получить свои типы права, следующие (по понятным причинам) вызывает ошибку типа, но у меня слепое пятно фиксируя его:

Это выражение, как ожидается, иметь тип 'Res <' a> ', но здесь есть тип' DC * Res < 'a>'.

let rec bind k res = 
    match res with 
    | Res.V v -> k v  // not delayed, should it be? 
    | Res.E e -> 
     Res.E <| fun dc -> bind k (e dc) // here's my error, on 'e dc' 
     //(fun dc -> dc, bind f (e dc)) 
bind k res 

Я понимаю, что подпись должна быть ('a -> Res<'b>) -> Res<'a> -> XRes<'b>. Проблема заключается в том, что рекурсия верна, по крайней мере, в моей голове. Я даже не уверен, почему я подаю результат на Res.E, так как в моем понимании, продолжение k должно уже возвращать этот тип в любом случае.

Кроме того, я в настоящее время имею возвращения следующим образом (после Steve Horsfield):

let result v = Res.V v 

Но также заметили, в некоторых должностях (особенно hilarious Frankenfunctor) это:

let result v = Res.E <| fun dc -> dc, Res.V v 

Может быть, я следуя шаблону, которого я не должен был иметь, но в то время это казалось хорошей идеей, особенно в попытке реорганизовать zillions шаблона кода и заменить его на вычисления, но, возможно, мне следовало бы ick к прямой оценке, это подходило мне в голову;).

Но я чувствую, что я рядом ... Любые идеи?

Answer 1

Я не совсем уверен, что смысл этой монады будет, но
Хорошо, подумав об этом немного и чтения заголовка на вопрос в: -), я сделать понять, что это значит, и я вижу, как построить для него bind.

Ваша ошибка в том, что функция, завернутая в Res.E, должна возвращать кортеж, но вы возвращаете его только Res<'b> путем рекурсивного вызова bind. И чтобы отразить это, вы передаете результат e в рекурсивный bind вызов вместо Res<'b> параметра, а e фактически возвращает кортеж.

Чтобы сделать это правильно, вам нужно destructure результата e, а затем передать вторую часть рекурсивных bind вызова и пару его результата с первой частью:

let rec bind (k: 'a -> 'b Res) (res: 'a Res) : 'b Res = 
    match res with 
    | V a -> k a 
    | E e -> 
     E <| fun dc -> 
     let dc', res' = e dc 
     dc', bind k res' 

Терминала дела, я не» Полагаю, что также следует отложить. То есть, я не вижу причины для этого. Насколько я понимаю, интерпретация дела V x должна быть «», вычисление, которое не изменяет состояние и возвращает x », и в этом случае его задержка не добавляет ничего, кроме дополнительного лямбда-выражения.