あるモナドを導入すると Linear Haskell 上で Rust のような borrow ができるようになるらしい（という話をポスター発表で聞いた 実装にはどうも型レベル Set が必要になりそう #PPL
Sign in to follow profiles or hashtags, favourite, share and reply to posts. You can also interact from your account on a different server.
