smoλ
A safe & fast low-level language.

@include std.builtins
@include std.mem -> Memory, arena
@include std.file

smo file_stats(nominal, u64 lines, u64 chars) 
    -> @args

smo print(file_stats stats)
    printin(stats.lines)
    printin(" lines, ")
    printin(stats.chars)
    print(" bytes")
    --

smo file_reader(String path, Memory &memory)
    &stat_lines = 0
    &stat_chars = 0
    &file = ReadFile:open(path)
    endl = "\n":str.first
    on memory:arena(1024)
        file
        :while next_line(str &line)
            printin("| ")
            print(line)
            stat_lines = stat_lines + 1
            stat_chars = stat_chars + line:len
        ----
    -> nominal:file_stats(stat_lines, stat_chars)

service main()
    &memory = Stack:arena(1048576) // 1MB
    stats = file_reader("README.md", memory)
    print(stats)
    --

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 (e.g., of called smo or other services), 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.
• & if prepended to the first variable assignment indicates mutable variables that can be overwriten.
• --,-> are code block ends and returns respectively.