『エフェクトに部分型のある代数的効果』
こんにちは、びしょ〜じょです。 これは型Advent Calendar 2019の9日目の記事の記事です。 空いてるので9日目にタイムスリップして前日に続いて記事を突っ込みました。
実際の記事はこちら: エフェクトに部分型のある代数的効果(pdf)
実装が先立ってたものを適当に定式化しました。
こんにちは、びしょ〜じょです。 これは型Advent Calendar 2019の9日目の記事の記事です。 空いてるので9日目にタイムスリップして前日に続いて記事を突っ込みました。
実際の記事はこちら: エフェクトに部分型のある代数的効果(pdf)
実装が先立ってたものを適当に定式化しました。