Nimrod - A New Approach to Meta Programming

Explore a groundbreaking conference talk on the Nimrod programming language, delivered by its designer Andreas Rumpf at the 2013 Strange Loop Conference. Dive into Nimrod's innovative approach to metaprogramming, which aims to provide programmers with ultimate power without compromising runtime efficiency. Learn about the language's focus on compile-time mechanisms, including unhygienic and hygienic macros, declarative and imperative AST-based macros, and term rewriting macros with side-effect and alias analysis capabilities. Discover how Nimrod's user-friendly infix/indentation-based syntax differs from Lisp's prefix syntax, optimizing for everyday programming while maintaining powerful metaprogramming features. Gain insights into Nimrod's goals, features, and potential impact on the programming landscape in this 25-minute presentation, which marks the first official public talk about this statically typed language.