欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Finagle 是 Scala 编写的 RPC 框架，构建在 Netty 之上，来自 Twitter.
Finagle的目标是方便地建立强大的客户端和服务器。
客户端和服务器将用Scala编写，传送协议将使用 Thrift 处理，使用key-value内存存储。
