在 Fabulous (F#) UWP 应用中使用 Xamarin Essentials 文件选择器

如何解决在 Fabulous (F#) UWP 应用中使用 Xamarin Essentials 文件选择器

我正在测试使用 Fabulous 框架制作 UWP 应用程序以编写功能性跨平台应用程序，我想在按下按钮时使用 FilePicker 并使用所选文件进行一些数据处理。

正在执行 let fileResult = FilePicker.PickAsync() |> Async.AwaitTask 打开文件选择器并在选择文件后返回 Async<FileResult>（这表示按钮和后续函数调用执行），但其后的其余代码将在结果出现之前执行使用。如果我附加 |> Async.RunSynchronously 它（如预期的那样）阻塞线程并且在出现的窗口中不能选择任何文件，尽管返回值将是 FileResult。

在研究应该如何完成之后，我意识到应该在主线程上打开文件选择器，这使我找到了以下形式的解决方案

let getFileResultAsync = 
                async {
                    let tcs = new taskcompletionsource<FileResult>()
                    Device.BeginInvokeOnMainThread(fun () ->
                        async {
                            let! fileResult = FilePicker.PickAsync() |> Async.AwaitTask
                            tcs.SetResult(fileResult)
                        } 
                        |> Async.StartImmediate
                    )

                    return! tcs.Task |> Async.AwaitTask
                }

将返回 Async<FileResult>，但似乎从未访问过 Device.BeginInvokeOnMainThread 块。我将如何打开 FilePicker，选择一个文件，然后在这样的应用程序中处理该文件？

解决方法

通过进一步研究测试示例以及更新和消息 https://fsprojects.github.io/Fabulous/Fabulous.XamarinForms/update.html 的 Fabulous 文档，我找到了一种实现我想要的方法。

基于创建新 Fabulous 项目时生成的标准应用程序，只需在模型中包含一个给定的字符串，例如文件路径（我现在称之为 FilePath），并添加三个额外的消息来键入 Msg，如下所示

type Msg =
...
| SelectFile
| PresentFile of FileResult 
| ErrorFileNotSelected

当按下选择文件的按钮时发送第一个，第二个在选择文件时与文件一起发送，第三个用于如果用户没有选择文件就退出文件对话框。

您需要一个函数来异步选择文件

let selectFileAsync = 
        async {
            let! result = FilePicker.PickAsync() |> Async.AwaitTask
            return result
        } 

和一个调用上述函数并在程序中进一步发送消息的 Fabulous.Cmd（可能是更好的解释方式）

let selectFileCmd = async {
            let! file = selectFileAsync

            match file with 
            | null ->  return Some(ErrorFileNotSelected)
            | _  -> return Some(PresentFile file)
        }

最后，将以下三个模式添加到更新中，其中在 SelectFile 下调用 selectFileCmd

let update msg model = 
...
| SelectFile ->
            {model with FilePath = "Selecting file"},(Cmd.ofAsyncMsgOption selectFileCmd)
| PresentFile file -> 
            {model with FilePath = file.FullPath},Cmd.none 
| ErrorFileNotSelected -> 
            {model with FilePath = "Error. Must select a file"},Cmd.none

我不确定这是否被认为是一种好方法，但它似乎至少比使用 let mutable 好。