Index of concepts for Week 03

• associativity (of boolean conjunction)
• associativity (of boolean disjunction)
• associativity (of integer addition)
• associativity (of integer multiplication)
• associativity (of string concatenation)
• body (of a lambda-abstraction)
• boolean (conjunction, in OCaml)
• boolean (disjunction, in OCaml)
• boolean (negation, in OCaml)
• boolean (negation, testing)
• bootstrapping (cognitive)
• code coverage
• commuting diagram
• context (delimited)
• coverage (branch)
• coverage (code)
• coverage (condition)
• dead code
• digital signature
• dynamic vs. static types
• equality (ground)
• equivalence (of functions)
• equivalence (of programs)
• environment (type)
• environment (value)
• errors (in OCaml)
• errors (message)
• errors (type, in OCaml)
• fake functions
• function abstraction
• function applications
• function applications (left-associativity of)
• function type
• function type (right-associativity of the)
• functions (as parameterized expressions)
• functions (fake)
• functions (graphs of)
• functions (mathematical)
• functions (partial)
• functions (that are applied to other functions)
• functions (that return functions)
• functions (total)
• graph of a function
• inequality (ground)
• inferring (a monomorphic expression)
• lambda-abstraction
• left associativity
• numbers (factorial)
• non-associativity (of integer division)
• non-associativity (of integer subtraction)
• numbers (Fibonacci)
• OCaml (applications)
• OCaml (backslash character)
• OCaml (Booleans)
• OCaml (characters)
• OCaml (comments)
• OCaml (comments, exercise about writing)
• OCaml (conditional expressions)
• definiens (in a global let-expression)
• OCaml (double quote character)
• OCaml (formal)
• OCaml (functions)
• OCaml (global let-expression declaring one name)
• OCaml (if-expressions)
• OCaml (identifiers)
• OCaml (integers)
• OCaml keywords (... ...)
• OCaml keywords (fun ... -> ...)
• OCaml keywords (if ... then ... else ...)
• OCaml keywords (let ... = ...)
• OCaml (libraries)
• OCaml (names)
• OCaml (pairs)
• OCaml (quote character)
• OCaml (strings)
• OCaml (tuples)
• OCaml (typing judgment)
• OCaml (variables)
• parameters (formal)
• parameters (actual)
• polymorphic (conditional expressions)
• polymorphic (pairs)
• polymorphic (tuples)
• pred (ecessor)
• predicates
• programming languages (dynamically typed)
• programming languages (statically typed)
• relations (binary)
• right associativity
• semantics vs. syntax
• set comprehension
• shadowing
• static vs. dynamic types
• String.
• String. (get)
• String. (length)
• succ (essor)
• syntactic sugar
• syntax vs. semantics
• test coverage
• testing (complete)
• testing (incomplete)
• tests (unit)
• type errors
• type errors (in OCaml)
• types (in OCaml)
• unit tests (functions implementing)

Version

Added the entry for fake functions [19 Mar 2023]

Moved the entries OCaml (global let-expression declaring several names) and OCaml keywords (let ... = ... and ... and ... = ...) from Week 03 to Week 04 [01 Feb 2023]

Added the entries about static vs. dynamic types [27 Jan 2023]

Created [27 Aug 2022]