Type-Directed Code Generation :: Reasonably Polymorphic

Type-Directed Code Generation :: Reasonably Polymorphic

Update 2019-05-30: Formation finally got around to opensourcing the work done here. https://githu...概要を表示 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

• haskell