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

Может, мне просто стоит вернуться к этому -

let tw_ = testWorld
let tw_ = subscribe ClickTestButtonAddress [] addBoxes tw_
let tw_ = addScreen testScreen TestScreenAddress tw_
let tw_ = setP (Some TestScreenAddress) World.optActiveScreenAddress tw_
let tw_ = addGroup testGroup TestGroupAddress tw_
let tw_ = addEntityGuiLabel (testLabelGuiEntity, testLabelGui, testLabel) TestLabelAddress tw_
let tw_ = addEntityGuiButton (testButtonGuiEntity, testButtonGui, testButton) TestButtonAddress tw_
let tw_ = addEntityActorBlock (testFloorActorEntity, testFloorActor, testFloor) TestFloorAddress tw_
let tw_ = { tw_ with RenderMessages = hintRenderingPackageUse :: tw_.RenderMessages }
{ tw_ with AudioMessages = hintAudioPackageUse :: tw_.AudioMessages }

Он отлично отлаживает (вы можете найти все предыдущие версии tw_ в окне Autos и можете выполнять пошаговую отладку для каждой операции), и я полагаю, что это не слишком многословно.

Если вы используете библиотеку ExtCore (доступную в NuGet), она предоставляет оператор с именем _ 1_, который специально предназначен для помощи в отладке конвейерных выражений. Вы используете его, «касаясь» своего конвейера, который применяет функцию действия (возвращает unit) к значению в некоторой точке конвейера, затем значение передается, чтобы оно продолжало течь по конвейеру, как ожидалось.

Например:

testWorld
|> subscribe ClickTestButtonAddress [] addBoxes
|> addScreen testScreen TestScreenAddress
// Check to see if the screen was added correctly
|> tap (fun world ->
    // TODO : Insert code to check if the screen was added.
    // Or, put some dummy code here so you can set a breakpoint
    // on it to inspect 'world' in the debugger.
    ())
|> setP (Some TestScreenAddress) World.optActiveScreenAddress
|> addGroup testGroup TestGroupAddress
|> addEntityGuiLabel (testLabelGuiEntity, testLabelGui, testLabel) TestLabelAddress
|> addEntityGuiButton (testButtonGuiEntity, testButtonGui, testButton) TestButtonAddress
|> addEntityActorBlock (testFloorActorEntity, testFloorActor, testFloor) TestFloorAddress
|> (let hintRenderingPackageUse = HintRenderingPackageUse { FileName = "AssetGraph.xml"; PackageName = "Misc"; HRPU = () }
    fun world -> { world with RenderMessages = hintRenderingPackageUse :: world.RenderMessages }) 
|> (let hintAudioPackageUse = HintAudioPackageUse { FileName = "AssetGraph.xml"; PackageName = "Misc"; HAPU = () }
    fun world -> { world with AudioMessages = hintAudioPackageUse :: world.AudioMessages })

Можно использовать связанную функцию tapAssert. для вставки отладочных утверждений в ваш конвейер.

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

let (|>) a b = printfn "Value is: %A" a; b a

5 
    |> ((+) 40) 
    |> string 
    |> Seq.singleton  
    |> Seq.toArray

Вот увидишь:

Value is: 5
Value is: 45
Value is: "45"
Value is: seq ["45"]
val it : string [] = [|"45"|]

Или вы можете вместо печати накапливать результаты в изменяемом списке объектов.

let mutable results = [] : obj list
let (|>) a b = 
    results <- results @ [box a] // or set a breakpoint here
    b a  
...
val mutable results : obj list = [5; 45; "45"; <seq>]

Это почти как монада писателя.

Но если вы определенно хотите использовать отладчик (это не мой любимый инструмент), ваше решение с let в порядке, хотя вам нужно изменить свой код, и вы потеряете канал вперед. В этом случае может быть лучше добавить точку останова в тело функции (|>).

Вам понадобится let! для распространения монадического состояния.

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