Colorless async/await in Firefly

Joakim Ahnfelt-Rønne — Wed, 16 Feb 2022 11:39:01 +0000

In the last post, we sketched out the high level rules of the async/await inference. This post will show how it works under the hood for a concrete example that reads two files concurrently, and then concatenates the result:

readTwo(system: System, file1: String, file2: String): String {
    let pair = system.tasks.concurrently(
        {system.files.readText(file1)},
        {system.files.readText(file2)}
    )
    pair.first + pair.second
}

Continue reading: https://www.ahnfelt.net/async-await-inference-in-firefly-part-2/

Async/await inference in Firefly

Joakim Ahnfelt-Rønne — Mon, 14 Feb 2022 18:25:40 +0000

Firefly is a new general purpose programming language that tries to achieve convenience and safety at the same time, by using pervasive dependency injection. There is no global access to the file system, the network, other processes or devices. Instead, you access these through a system object that is passed to the main function, which in turn can pass this object to other methods. The idea is to give the programmer fine grained control over which parts of the code can access what (Log4Shell anybody?), without introducing monads or other explicit effect tracking.

Continue reading: https://www.ahnfelt.net/async-await-inference-in-firefly/

DEV Community: Joakim Ahnfelt-Rønne

Colorless async/await in Firefly

Async/await inference in Firefly