タグ

typeに関するNnwwwのブックマーク (2)

  • 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
    Nnwww 2017/12/26
    クライアントーサーバ間通信で実現される「サービス」を型で設計する問題を通し、制約の与え方や使いやすさ向上のテクニック、より分かりやすいエラーコード生成方法などを学ぶ。型駆動設計の包括的例。
  • monadからeffectへ - Just $ A sandbox


     effect myuon-myon.hatenablog.com 5-10effect systemHaskell effect system Haskellcomputational effect  A ->Bcomputation A -> T B Tcomputational effect2 Meta Language (Haskell) Programming Language
    monadからeffectへ - Just $ A sandbox
  • 1