Purely functional programming language featuring cross-machine parallelization, automated memorization, and syntactic sugar.