COS 441 - Week 2 lecture notes
The following terms are defined in Finkel,
Chapter 3. I will cover these concepts this week in lecture.
- type
- bound
- static
- dynamic
- static-typed
- typeless
- strongly typed language
- type equivalence
- structural equivalence
- name equivalence
- type constructor
- declaration equivalence
- occurrence equivalence
- generative type
- assignment-compatible
- subtype
- derived type
- branded type (Modula 3)
- dimension
- abstract data type
- client
- module
- exported
- imported
- pervasive
- specification part
- interface
- implementation part
- Ada: private, limited private
- import
- from...import
- import A.*
- open
- pass as parameter; return; assign; make new
- first-class value: yes yes yes yes
- second-class value: yes no no no
- third-class value: no no no no
- dangling procedure
- dangling reference
- type polymorphism
- generic module
- instantiation
- ML
- side effects
- higher-order function
- first-class function
- interactive language
- incremental compiler
- type inference
- polymorphic type
- type identifiers
- type variables
- arrays
- ref
- expressions
- int, string, tuple, list, bool, if
- declaration
- val
- fn
Back
to COS 441 front page
| Course Newsgroup
| Assignments