The Wolfram Language is a dynamic untyped language that has a 30-year history. The talk will describe current work in developing a compiler for the Wolfram Language. It will cover the compiler's architecture, along with techniques to convert the language into low-level code. This includes a type system with sexy-types such as type classes, ad hoc polymorphism, parametric polymorphism and overloading. We will describe our multitiered pipeline developed to optimize Wolfram code, along with the unique challenges in performing type inference on the Wolfram Language. Finally, we will describe techniques that worked well and those that did not work so well while developing the compiler, the challenges we are currently facing and the future research ideas the compiler makes possible and that we would like to incorporate.