tskaigi で susisu さんの Generator で Promise ランタイムを作る発表をみて、昔作ったやつがもっとやれそうな気がしたので、やってみた話。
https://github.com/susisu/tskaigi2025
やりたいこと
TS の言語システムが物足りなくて、ドメインを表現しきれない。とくに副作用を持つ関数に、なんとかして副作用の型を宣言したい。
過去に、 Async Generator でこれができるのを確認した。
function print(): void & Eff<Operation.Console> {
cons…
Source link
Views: 0
