Ivory Language Home About /.nav-collapse Home Overview Ivory Language Introduction Concepts Cheatsheet Reference Toolchain Libraries Tutorial Tower Language Introduction /.well That’s a mouthful. Lets break that down: Embedded : Ivory is implemented as a library of the Haskell programming language . Ivory programs are written using Haskell syntax and types. Domain-specific Language : Ivory is not a general purpose programming language. It aims to be a good language for writing a restricted subset of programs. Safer : Ivory gives strong guarantees of type and memory safety, and has features which allow the programmer to specify other safety properties. Systems Programming : Ivory is well suited for writing programs which interact directly with hardware and do not require dynamic memory allocation. You can consider Ivory to be a lot like a restricted version...