From these slides:

  • Steal from mathematics
  • Types are not classes
  • Functions are things
  • Composition everywhere