What kind of programming language is Marianne trying to write? Before we go any deeper into the guts of language design, Marianne and friend Hillel Wayne debate the shortcomings of various approaches to specifying and modeling program behavior. From first order logic verification to system visualizations, nothing Marianne has used before has quite fit the bill. She's beginning to get philosophical about the nature of abstraction and wants to rebel from the goal of certainty.

- Want more programming history/culture/analysis? Sign Up for Hillel's Newsletter.

- Hillel's Tutorials on TLA+ and his book Practical TLA+

- Mario Livio's comments at the 2010 World Science Festival

Marianne ponders the consequences of different design decisions and how to direct her research through an enormous amount of information and choices. Thorsten Ball, author of Writing a Compiler in Go, talks about his experiences designing Monkey and some of his regrets in retrospect. More from Thorsten Ball's can be found at thorstenball.com. Writing an Interpreter in Go can be purchased at interpreterbook.com. Writing a Compiler in Go can be found compilerbook.com.

Marianne is writing a programming language. This is probably a terrible idea, but those are always the best ;)