Small Examples:
- Currying in ML
- Closures and Lexical Scope in ML
- Tail-recursion in ML
- Type-inference in ML
- Thunks in Racket
- Promises in Racket
- Streams in Racket
- Static vs Dynamic Checking
- Blocks and Procs in Ruby
- Protocols in Objective-C
- Blocks in Objective-C