There are various kinds of programming languages. There are also various kinds of linguistic mechanisms. Those mechanisms are strongly motivated by requirements to improve modularity, reusability, safety, and son on, and are supported by theories of semantics, modularization, and type systems. This course aims at understanding those linguistic mechanisms at a glance so that the participants will acquire not only important points in the language designs, but also hints for software development with those programming languages.
The goal of the course is to acquire an overview of the concepts in programming language designs by understanding the theoretical foundations of programming language constructs and the variations of those constructs in concrete programming languages. The course also aims at understanding the essence of programming independent of particular programming languages, by learning deep knowledge on programming languages as applications of theories of computer science.
The course focuses on "surface" language features, which are the mechanisms that the programmer directly use. In particular, the features found in object-oriented programming languages and their derivations.
Parnas' Principle of Modularization, Information Hiding, Abstract Datatype, Liskov's Substitution Principle, Object-Orientation, Class, Inheritance, Delegation, Reusability, Design Patterns, Multiple Inheritance, Traits, Feature-Oriented Programming, Aspect-Oriented Programming, Crosscutting Concerns, Advice, Dependency Injection, Context-Oriented Programming, Layer Activations, Type Safety, Algebraic Datatypes, Subtyping, Type Inference, Polymorphic Types, The Expression Problem, Module Types, Generic Types, Templates, Metaprogramming, Macro
✔ Specialist skills | Intercultural skills | ✔ Communication skills | Critical thinking skills | Practical and/or problem-solving skills |
A simple test is given in each class to aid students' understanding of the issues to be discussed in the class. The class will cover the background of language functions being designed, basic functions, and variation. Lecture will be held mainly in debate format.
Course schedule | Required learning | |
---|---|---|
Class 1 | Course Introduction | not specified |
Class 2 | Modularity, Parnas' Modularization Principle, Dependency, Information Hiding | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 3 | Abstract Datatypes, Interface and Implementation, CLU, Liskov's Substitution Principle, Encapsulation | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 4 | Object-Oriented Programming, Class, Inheritance, Instance, Methods | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 5 | Object-Oriented Programming, Delegation, Instance-based Objects, Multiple Inheritance, Multimethods | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 6 | Reusability, Library and Framework, Design Patterns | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 7 | Reusability: Mixins, Traits | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 8 | Aspect-Oriented Programming: Crosscutting Concerns, Pointcut, Advice | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 9 | Type System: Type Safety, Type Checking | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 10 | Type System: Templates, Generic Types, Type Constraints | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 11 | Type Inference: Basics, for Object-Oriented Languages, Soft Typing, Gradual Typing, Implicit Typing | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 12 | The Expression Problem, Mixin Layers | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 13 | Product Lines, Feature-Oriented Programming, Context-Oriented Programming, Features, Layers, Partial Methods | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 14 | Metaprogramming, Macros | Confirm your understandings of the features introduced in the class by using actual programming languages |
Class 15 | Metaobject Protocols, Computational Reflection, Mirrors | Confirm your understandings of the features introduced in the class by using actual programming languages |
Not specified
Not Specified
Students are evaluated by the end-of-term assignments. The assignments require to experiment the concepts taught is the course by using concrete programming languages. The evaluation criteria is the degree of understandings of those concepts with respect to applications to actual programming.
None