Fun with Lambdas

outline

# Welcome
## Start with a Lambda
## Get to Hello, world

# What is a lambda
## Ruby Syntax
## Identity
## K
## GetFirst
## GetSecond

# Printing Hello, World
## What is a string
## Sequence of chars
## Char is a number
## What is a number

# Peano's Axioms
## Natural numbers
## Properties
## Successor

# Assert
## Booleans

# IsZero
## Refute
## If
## Not

# Equality

# Successor

# Encoding Chararacters

# Printing Characters
## Side effects
## Staying in our types
## Printable Binding
## Rewriting Assert

# Lists
## String is a list of characters
## MakeList
## Head/Tail

# Printing a list
## Apply function to each element
## Map
* Identity
* Not
* Successor

# Printing Hello, World

# Appendix 1 - Random Number Guessing Game
## Random number side effect

# Appendix 2 - Hangman Game
## Accepting input from console side effect

# Appendix 3 - Maze Builder

# Appendix 3 - Objects
## Object as list of pairs
## MakeObject
## Complexity of state