amethyst

Amethyst is a systems language aimed at being simple, small, portable, and safe.

Goals

• Using refinement types to add compile time checks that can optionally be elevated to runtime checks
• Using linear types for allocators in a region based memory management scheme as the primary memory management system
• Hindley Milner type system with extensions
• Simple but powerful
• TODO: figure out a more concrete goals list