Arend icon indicating copy to clipboard operation
Arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

ST monad

Open valis opened this issue 4 years ago • 2 comments

We can implement an analogue of ST monad. It will be built-in in core and will allow more efficient implementation of various algorithms. They can be verified through the usual state semantics.

valis avatar Jul 30 '20 08:07 valis

Maybe it's time to modularize Prelude?

ice1000 avatar Jul 30 '20 13:07 ice1000

Maybe

valis avatar Jul 31 '20 02:07 valis