Evergreen er et nytt programmeringsspråk som samler eksplisitte kontrakter, kontrollerte invarianter og kontroll over minnet. Kompilatoren sjekker at det utvikleren har skrevet ned faktisk holder.

Kilde: https://evergreenlang.net