ambrosia

Great question. We take a very maximalist stance here and do not provide any environmental API’s in the Bosque language. Instead all IO, data-time, IP address operations must be part of a host platform – similar to how JavaScript does not provide IO or an event loop in the spec but relies on the browser or Node.js to provide it. With this model the host can just log/record the environment interactions. The details of this host and integration are an open issue, both research and engineering, but I am very excited by the AMBROSIA architecture (https://github.com/Microsoft/AMBROSIA) by one of my colleagues as a possible design.

AMBROSIA[0] Actor-Model-Based Reliable Object System for Internet Applications sounds like Erlang OTP but with C# on .Net Core. This could become interesting if they support F# and running outside of Azure. There's a note about an Azure subscription currently being required. [0] https://github.com/Microsoft/AMBROSIA

Research Paper: https://www.microsoft.com/en-us/research/uploads/prod/2018/1... Basic intro: https://github.com/Microsoft/AMBROSIA/blob/master/docs/Ambro...