副作用の影響範囲を型で示したい — Scala 3 が模索する「Capture Checking」 - エムスリーテックブログ

本記事は、コンシューマーチームブログリレー 1日目です。 はじめに 関数型まつりで触れてから、再び自分の中の Scala 熱が高まっています。エンジニアリンググループ、コンシューマーチーム 兼 WHITEJACK チームの松本です。 Scalaでは従来、Effのようなライブラリを使うことでEffect Systemのようなものを実現できました。しかし学習コストが高く、実行時のインタープリタのコストなどの課題もあります。もっと軽い方法はないのでしょうか。 「OCaml 5 の algebraic effects(effect handlers)に似たことが Scala でできないか」という出発点からはじまり、調べていく過程でわかったのは、実は OCaml 5 自身も effect を型で追跡してはいない(untyped で、未処理の effect は実行時例外になる)ということでした。つまり

[Windymelt]

良い記事！Capture CheckingはAIにより多くのコンテキストを渡せるので設計の正確さも上がると思います。

[roshi]

Rustのborrowingっぽい。

[simplememofast]

capabilityを引数で渡す発想は古く、型に出るのは何を使うかまで。新しいのは捕捉集合でどこまで逃がさないかを型に載せた点。設計と型検査を分けて捉えると通りが良い