Lambda the Ultimate

Languages for scientific computation that would ideally incorporate macros, read-eval-print++, some type-safety, good deployment, and distributed computing. Statistical algorithms. Kolmogorov complexity.