这是一个简单的应用程序，用于演示我们如何在 Play 中使用 Frege。由于 Play 支持 Java，因此使用 Frege 的 Java API 实际上非常容易，即使我们还没有对 Frege 的原生 Play 支持。该应用程序基本上是 JSON 输入和 JSON 输出。 Frege 程序从 JSON POST 请求中读取参数，并以向用户致意的 JSON 响应进行响应。
播放conf/routes:
POST /greet helloplay.FregeApplication.greet()
现在是 Frege 中的实际“业务逻辑”：
module helloplay.FregeApplication where
import Data.JSON
import helloplay.Play
data GreetingRequest = GreetingRequest { name :: String }
data GreetingResponse = GreetingResponse { message :: String }
instance FromJSON GreetingRequest where
fromJSON (Struct fs) = do
name <- field "name" fs
pure $ GreetingRequest name
fromJSON invalid = fail ("Invalid JSON for Greeting Request: " ++ show invalid)
instance ToJSON GreetingResponse where
toJSON (GreetingResponse message) = Struct [ assoc "message" message ]
greet :: GreetingRequest -> GreetingResponse
greet request = GreetingResponse $ "Hello, " ++ request.name
webMain :: Request -> IO ResultStatus
webMain request = do
let jsonRequest = parseJSON request.body.asJson.toString
return $ either badRequest (ok . show . toJSON . greet) jsonRequest
{-
- This makes the Frege module extend Play Controller class so that it can be configured to handle a route.
-}
native module type PlayController where {
public static play.mvc.Result greet() {
return frege.runtime.Delayed.forced(
frege.prelude.PreludeBase.TST.performUnsafe(webMain(request()))
);
}
}
这里我们为FromJSON 和ToJSON 类型的类实例定义了对应于请求和响应以及JSON 转换的2 种类型。 webMain 函数接受播放 Request 并从 JSON 请求中读取 name 并返回包装在播放 Result.Status 中的 JSON 响应。
webMain 函数是为 Play 控制器提供实现的函数。播放控制器是一个扩展 Play 的play.mvc.Controller 的类。我们可以通过在 Frege 源文件中声明 native module 来使 Frege 模块扩展 Java 类。 webMain 函数也是一个 IO 操作，因此我们必须在某个时候评估发生的事情，这就是底部 Controller 中的 Java 方法通过调用 Frege 的 ST.performUnsafe 然后从可能的 thunk 中强制执行结果否则应用程序只会预热 CPU :)
这里Request、ResultStatus、PlayController 等类型和ok、badRequest 等函数都来自 Play 框架，因此我们必须为 Frege 添加本机绑定，提及它们的纯度或可能的空值等. 这是一件好事，因为 Frege 是一种纯语言并且没有 null 的概念，我们必须明确提及副作用或 Maybe 以获得编译器可能的空值，这与 Scala 不同的是，您可以调用任何Java 方法。
Play 的 Frege 原生绑定：
module helloplay.Play where
data PlayController = native play.mvc.Controller
data Result = pure native play.mvc.Result
data ResultStatus = pure native play.mvc.Results.Status
pure native badRequest play.mvc.Results.badRequest :: String -> ResultStatus
data Request = pure native play.mvc.Http.Request where
pure native body :: Request -> RequestBody
data RequestBody = pure native play.mvc.Http.RequestBody where
pure native asText :: RequestBody -> String
pure native asJson :: RequestBody -> JsonNode
data JsonNode = pure native com.fasterxml.jackson.databind.JsonNode where
pure native asText :: JsonNode -> String
pure native toString :: JsonNode -> String
pure native ok play.mvc.Results.ok :: String -> ResultStatus
就是这样！我们可以运行它：
activator run
然后
$ curl --header "Content-type: application/json" --request POST --data '{"name": "PlayFrege"}' http://localhost:9000/greet
{"message" : "Hello, PlayFrege"}
Frege 有一个SBT plugin，可用于在 Play 项目中编译 Frege 源代码。如果有人想试用，我已将这个示例应用程序推送到Github。