Tomo - Tomorrow's Language

Tomo is a statically typed, safe, simple, lightweight, efficient programming language that cross-compiles to C. Tomo is designed to anticipate and influence the language design decisions of the future.

func greeting(name:Text)->Text
	greeting := "hello {name}!"
	return greeting:title()

func main(name="World")
	>> greeting(name)
	= "Hello World!"

Features

Extremely high performance code generation with minimal overhead compared to C
Extremely fast parallel compilation times
Memory safety (garbage collection, compiler-enforced null safety, automatic array bounds checking, and no uninitialized variables)
Arithmetic overflow checking
Simple, low-boilerplate type system with type inference
Useful and efficient built-in types: arrays, hash tables, structs, tagged unions (sum types), cords (efficient string representation)
Well-defined reference and value semantics and mutability rules
Language-level support for out-of-the-box function caching emphasizing correctness
Type-safe strings representing different languages with automatic prevention of code injection
Full UTF8 support for both source code and standard library
Pattern matching with exhaustiveness checking for tagged unions
Beautiful and helpful compiler and runtime error messages with emphasis on user-friendliness
Structs with known-at-compile-time methods, not OOP objects with vtable lookups
Built-in doctests with syntax highlighting
Built-in type-safe command line argument parsing
Easy interoperability with C

Dependencies

Tomo has a very small set of dependencies:

The Boehm garbage collector for runtime garbage collection.
libunistring for unicode string support.
a C compiler
and libc/libm, which should definitely already be installed.

Both of which should be available on your package manager of choice (for example, pacman -S gc libunistring).

Building

The Tomo compiler can be compiled with either GCC or Clang by running make.

Usage

Run a Tomo file directly:

tomo foo.tm
# Runs the program

Compile a Tomo file into an object file:

tomo -c foo.tm
# Output: foo.tm.o

Transpile a Tomo file into a C header and source file:

tomo -t foo.tm
# Outputs: foo.tm.h foo.tm.c

Tomo uses the environment variables ($CC, $VERBOSE, and $AUTOFMT), which control the compilation/running behavior of Tomo. The default behavior is to use tcc (Tiny C Compiler) for fast compilation, VERBOSE=0, and AUTOFMT='indent -kr -l100 -nbbo -nut -sob' for autoformatting generated code. Any of these variables may be overridden, e.g. CC=gcc VERBOSE=1 AUTOFMT= tomo foo.tm (compile with GCC and verbose compiler output without autoformatting the code).

Installing

make && sudo make install

2.8 KiB Raw Blame History