joyscript. A strongly typed, concatinative, homoiconic programming language intended for use in the construction of domain-specific languages in high-assurance software systems.