Have you heard about the new Omega programming language? Mashup of Rust and Lisp. The type system is so strong it can tell if code you’ll eval in the future has errors. Yet so dynamic that not only can it call quack on anything that looks like a duck, it can universally adapt everything to ducks, put them in a row, and quack them all in parallel. Implemented with macros that aren’t just programs that run at compile time, but expert systems that run during requirements gathering and write a DSL for you. With closures so powerful they’re called finalities. They capture not only lexical scope but the entire state of the universe. Functions so anonymous that you don’t call them, they call you!