In the realm of low-level programming, language safety, performance and simplicity are paramount features. We are confident that these attributes can be achieved in system programming languages without substantially sacrificing expressiveness. <snip> achieves this balance, offering a programming language that is fast, simple and safe without having a garbage collector, lifetimes and a complex borrow checker. Additionally, it features a default pluggable runtime, enabling the development of highly scalable systems that are not only reliable and efficient but also straightforward to maintain. Writing good code should be easy. The language must be simple enough to fit in a single person’s head. Programs are about transforming data into other forms of data. Code is about expressing algorithms, not the type system. We aim to develop a simpler version of Rust that includes an optional default runtime featuring green threads and a preemptive scheduler, similar to those found in Go and Erlang.

Linear types corresponds to linear logic and ensures that objects are used exactly once. This allows the system to safely deallocate an object after its use, or to design software interfaces that guarantee a resource cannot be used once it has been closed or transitioned to a different state.

Ad-hoc polymorphism via traits Parametric polymorphism via generics Expressions and statements rather than only expressions as in many functional languages Built-in dependency manager Built-in linter and formatter Built-in testing tooling Good compilation error messages Inmutability by default, optional mutability Linear type system rather than affine type system No lifetimes Simpler borrow checker Concurrency model. We provide a default runtime with green threads. There is no support for low-level primitives like atomics, mutex and OS threads. There is no Sync and Send traits. This implies that mutability can only happen inside the same process. No relationsihp between modules and files No circular dependencies in modules No macros At the beginning we won't support local type inference at function level. We might add it in the future. Financials decimal type and bigint type as part of the standard library Bit-for-bit deterministic/reproducible builds from the beginning Fearless FFI Perfect replayability to be able to easily reproduce Heisenbugs