PLAI Types
PLAI Types. Chapters 24 – 30 Types, Type Judgments, Type Systems and Type Safety - Chapters 24-28 Type Inference – Chapter 30. Introduction. (+ 3 ( define add3 (lambda (x) (+ x 3)))) Welcome to DrScheme , version 4.2.1 [3m]. Language: PLAI Scheme; memory limit: 256 megabytes.
423 views • 28 slides