This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
srrrse
without.boats
did:plc:qfrekkhphlonkdee4pgjba7s
An interest contrast between effect systems and type based systems for controlling effects (like monads) is that you can’t embed an effect in a composite type, whereas you can embed a monad.
Do any effect system languages have some reification of effects to types that would enable this?
2025-02-16T12:17:02.453Z