disnet

macro def {
  case $name:ident ( $($params:ident : $type:ident) (,) ...) $body => {
    // just throwing away the type annotation. The semantics of type
    // annotations left as an exercise to the reader :)
    function $name ($params (,) ...) $body
  }
}

def add (a : Number, b : Number) {
  return a + b;

disnet

macro conspair {
  case [$head] => { [$head] }
  case [$head $tail ...] => {
    [$head, conspair [$tail ...]]
  }
}

conspair [1 2 3 4]

disnet

Here's the standard example:

var x = "bar";
(function() {
  console.log(x) // undefined
  var x = 42;
})()

But what happens when you have a parameter?

disnet

/*
 * grunt
 * https://github.com/cowboy/grunt
 *
 * Copyright (c) 2012 "Cowboy" Ben Alman
 * Copyright (c) 2012 John K. Paul @johnkpaul
 * Licensed under the MIT license.
 * http://benalman.com/about/license/
*/

disnet

== Access of unallocated memory ==
address 0
    at test_unallocated (file_name.js:3:0) 

== Access of uninitialized memory ==
address 0
	at test_unallocated (file_name.js:3:0) 

== Free of unallocated memory ==
address 8184

disnet

class HashMap
  # non-implementation of a HashMap :)
  get: (key) -> @[key]
  put: (key, val) -> @[key] = val


HashMapC = (keyContract, valContract) ->
  ?{
    get: ((keyContract) -> valContract)
    put: (keyContract, valContract) -> Any

disnet

lets = (vals, fn) -> fn.apply @, vals
lets [1, [2, 3]], (a, [b, c]) ->
  a is 1
  b is 2
  c is 3

disnet

pygmentize -f rtf -O fontface=Menlo -o examples.rtf examples.coffee

disnet

let function = macro {
	rule { $name (callback $arg $rest ...) { $body ... } } => {
		function $name ($arg $rest ...) {
			$body ...
		}
	}
}

function foo(callback cb, x, y, z) {
	cb(x + y + z);

disnet

macro m {
	rule { $x } => { var $x; }
}

m x