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
monadã‹ã‚‰effect㸠- Just $ A sandbox
追記 ã‚‚ã†å°‘ã—ã¾ã¨ã‚‚ãªeffect入門記事を書ãã¾ã—㟠myuon-myon.hatenablog.com ã“ã®æ–‡ç« ã¯ä»Šã‹ã‚‰5-10年後ã«ä¸‡ãŒä¸€effect systemãŒæµè¡Œã‚Šå§‹ã‚ã€ä»Šã®Haskellã®ã‚ˆã†ãªç«‹ã¡ä½ç½®ã«ãªã£ãŸå ´åˆã«å‚™ãˆã¦æ›¸ã„ã¦ã„ã¾ã™ã€‚ effect systemã«ã¤ã„㦠Haskellã¯ãƒ¢ãƒŠãƒ‰ã‚’用ã„ã¦ç´”粋・éžç´”粋を切り分ã‘ã‚‹ã“ã¨ãŒã§ãる言語ã§ã€computational effectを扱ã†ãŸã‚ã«å°Žå…¥ã•ã‚ŒãŸã‚‚ã®ã ã£ãŸã€‚ ã‹ã¤ã¦ã¯é–¢æ•° A -> B ã§ä¸€ç·’ããŸã«ã—ã¦ã„ãŸcomputationã¯ã€ A -> T B ã¨ã€æ–‡è„ˆ T ã‚’ã‚‚ã£ãŸé–¢æ•°ã¨ã—ã¦è¡¨ç¾ã§ãるよã†ã«ãªã£ãŸã€‚ã¨ã“ã‚ã§ã“ã®ã‚ˆã†ãªcomputational effectã¨ã—ã¦ã®ãƒ¢ãƒŠãƒ‰ã‚’言語機能ã«çµ„ã¿è¾¼ã‚€ã«ã¯2ã¤ã®æ–¹æ³•ãŒã‚ã£ã¦ã€ Meta Languageæ–¹å¼ (Haskell) Programming Language
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}