A general-purpose programming language with that aspires to have support for attribute grammars, managed effects, and efficient pure functional programming.
// TODO: Examples go here. Maybe the examples should
// be something like:
//
// - regex isNullable check using AGs
// - paradelle checker?
// - adding tracing to existing code with an effect
// handler?
// - show that something like quicksort with mutation
// isn't hard to write; also, you get the machine
// code you want at the end?
// This is the attribute grammars example.
// TODO: Examples go here. Maybe the examples should
// be something like:
//
// - regex isNullable check using AGs
// - paradelle checker?
// - adding tracing to existing code with an effect
// handler?
// - show that something like quicksort with mutation
// isn't hard to write; also, you get the machine
// code you want at the end?
// This is the functional features example.
// TODO: Examples go here. Maybe the examples should
// be something like:
//
// - regex isNullable check using AGs
// - paradelle checker?
// - adding tracing to existing code with an effect
// handler?
// - show that something like quicksort with mutation
// isn't hard to write; also, you get the machine
// code you want at the end?
// This is the managed effects example.