Should all tasks run through main or should they run through a main module? Here is a syntax proposal of the latter based on the async/await syntax
async module Main where
mb = await mailbox
main =
Signal.map (view mb.address) (Stream.fold update model mb.stream)The rule would be that you can only instantiate an async module from JS for now.
The first-class module systems related to ML are able to handle impure modules anywhere in the code base. We don't have a well developed framework for that, so we can constrain the effects to the root module and have an acceptable outcome. Eventually this could be expanded to support submodules, but only with a fancier module system. I don't think the fact that we don't have that system now means we cannot have a limited form of async module