Programming Languages, Part A #

by University of Washington

Syllabus #

• Syntax vs. semantics vs. idioms vs. libraries vs. tools
• ML basics (bindings, conditionals, records, functions)
• Recursive functions and recursive types
• Benefits of no mutation
• Algebraic datatypes, pattern matching
• Tail recursion
• Higher-order functions; closures
• Lexical scope
• Currying
• Syntactic sugar
• Equivalence and effects
• Parametric polymorphism and container types
• Type inference
• Abstract types and modules

Following the online course: https://www.coursera.org/learn/programming-languages