使用 Freya 构建 F# Web 服务器

Freya 是一个专注于 HTTP 原语和并发的 F# Web 框架，其中并不提供模板等接口结构（construct）。在 F# eXchange 2017 大会上， Marcus Griep 介绍了 Freya 的核心模型。并展示了多种用于性能和并发的机制，例如与 Hopac 和 Kestrel 的集成。

Freya 支持多种托管配置。它可以直接使用 dotnet run 以自托管应用运行，也可以在 Kestrel 上运行。Freya 同时支持.NET Framework 和.NET Core。

出于性能上的考虑，Griep 推荐在 Kestrel 上运行 Freya，这样能有效地利用 Kestrel 的多种优化机制。根据他所给出的基准测试结果，在 ASP.NET 上运行经典的“Hello World”应用，耗时 6 毫秒。对于在 Hopac 上运行的 Freya，耗时 13 毫秒。而对于 F# Async 上运行的 Freya，则需要 26 毫秒。

上面的基准测试表明，相比于 F# Async， Hopac 可以显著地提高性能。Hopac 使用了一种多线程的协同模式，而非抢占式（preemptive）。协同调度产生更少的上下文切换，进而可更加高效地使用 CPU。但是种方式并不适于执行长时间运行的任务，因为这些贯穿始终的任务可能会饿死其它等待执行的任务。

Freya 编程模型意在提供一种对 HTTP 的安全抽象。Freya 计算表达式是对 OWIN 状态的抽象。下面给出一个基本例子，实现获取查询字符串的参数，并返回一个结果：

 
let name_ = Route.atom_ "name"
let name =
   freya {
       // 获取查询字符串参数“name”。
       let! name = Freya.Optic.get name_
       match name with
       | Some name -> return name
       | None -> return "World" }
let sayHello =
   freya {
       let! name = name
       return Represent.text (sprintf "Hello, %s!" name) }

Freya machine 是一种对决策树的抽象。其中的一个决策表示的是部分 HTTP 规则，例如“是否存在 CORS 头部？”。一个完整的决策树中可能包含上百个决策，并且还可进一步扩展。machine 同样具有自动优化特性，可裁剪所有与给定配置无关的决策。

Freya machine 还可以使用计算表达式定义。继续上面给出的例子，下面代码中的 machine 设置了与 HelloWorld 响应的条件。

 
let helloMachine =
   freyaMachine {
       methods [GET; HEAD; OPTIONS]
       handleOk sayHello }

例子代码的最后部分，绑定 machine 到 route：

 
let router =
   freyaRouter {
       resource "/hello{/name}" machine }

本文使用 StackEdit 编写。

查看英文原文： Building an F# Web Server with Freya