 
      
    | You are here | guillaume.baierouge.fr | ||
| | | | | nurkiewicz.com | |
| | | | | Clojure is a dynamically, strongly typed programming language. It's a dialect of _Lisp_ running on the Java Virtual Machine. Lisp is 6 decades old and has a really weird syntax. That weird syntax is called _Polish prefix notation_. Basically, in every other language you've used math operators like plus or minus are infix. It means they are placed between operands. For example, `1 + 2`. In Clojure, you always put the operator (or any other function for that matter) in front. So simple addition becomes... `+ 1 2`. | |
| | | | | ketansingh.me | |
| | | | | A place for me to share my thoughts, experiences, and insights on technology relevant to enthusiasts and hackers like myself | |
| | | | | lambdaland.org | |
| | | | | Theres a neat paper Type Systems as Macros by Chang, Knauth, and Greenman [1] that describes how to implement a typed language using an untyped host language and macro expansion. The paper is neat, but I found the code hard to followthe paper uses a compact notation thats convenient for print, but not so much for reproducing on ones own. This post is my attempt to implement and explain in more accessible terms whats presented in the paper. | |
| | | | | www.alfredo.motta.name | |
| | | |||