Type-Directed Code Generation :: Reasonably Polymorphic

Update 2019-05-30: Formation finally got around to opensourcing the work done here. https://github.com/formationai/proto-lens-grpc aka “Type-Level Icing Sugar” Context🔗 At work recently I’ve been working on a library to get idiomatic gRPC support in our Haskell project. I’m quite proud of how it’s come out, and thought it’d make a good topic for a blog post. The approach demonstrates several type

[Nnwww]

クライアントーサーバ間通信で実現される「サービス」を型で設計する問題を通し、制約の与え方や使いやすさ向上のテクニック、より分かりやすいエラーコード生成方法などを学ぶ。型駆動設計の包括的例。