Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainbility, and modularity.
Make your functions return something meaningful, typed, and safe!
Brings functional programming to Python land
Provides a bunch of primitives to write declarative business logic
Enforces better architecture
Fully typed with annotations and checked with mypy, PEP561 compatible
Adds emulated Higher Kinded Types support
Provides type-safe interfaces to create your own data-types with enforced laws
Has a bunch of helpers for better composition
Pythonic and pleasant to write and to read 🐍
Support functions and coroutines, framework agnostic
Easy to start: has lots of docs, tests, and tutorials
FoldFold allExpandExpand allAre you sure you want to delete this link?Are you sure you want to delete this tag?
The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community