smoλ
A safe & fast low-level language.

@include std.builtins
@include std.file
@include std.mem -> memory

smo len(file f)
    &length = 0  // mutable
    nom          // going to create a safe type
    :chunks(f, 1024, memory.stack)
    :while next(str& chunk)
        length = length+chunk:len
    ---> length  // end `while` then return from `len`

service main()
    print("Give a file:")
    path = str:read  // equivalent to read(str)
    print(str(f:file:len/1024)+" KB")
    --  // end without return

Details

Above is a performant example for computing file sizes without string allocations while iterating through contents. This demonstrates some core language concepts in action, all of which are very exlicit:

• smo are inlined and could fail. Results are treated as both tuples and types.
• service denotes functions that, on internal failure, safely deallocate resources. Result errors can be checked or -if not- cascade into more failures.
• nom needed for calls whose results is attached to a specific name for safety (nominal type).
• : passes the left-hand-side as the first argument ("currying"). () is ommitted. Currying into a loop passes the value into first call in the condition; in this case next(chunks&, str&) is called to progress the iteration.
• & indicates mutable variables that can be overwriten if prepended to the first assignment.