Summary

• Functional/imperative language
• Separate value/type systems
• Some interesting implementation challenges