▶Japanese
Post to SNS
- Home
- > School of Computing
- > Graduate major in Mathematical and Computing Science
- > Functional Programming
- School of Science
-
School of Engineering
- Undergraduate major in Mechanical Engineering
- Undergraduate major in Systems and Control Engineering
- Undergraduate major in Electrical and Electronic Engineering
- Undergraduate major in Information and Communications Engineering
- Undergraduate major in Industrial Engineering and Economics
- Common courses
- School of Materials and Chemical Technology
- School of Computing
- School of Life Science and Technology
- School of Environment and Society
- 工学院，物質理工学院，環境・社会理工学院共通科目
- Liberal arts and basic science courses
- First-Year Courses
- School of Science
- School of Engineering
- School of Materials and Chemical Technology
- School of Computing
- School of Life Science and Technology
-
School of Environment and Society
- Department of Architecture and Building Engineering
- Department of Civil and Environmental Engineering
- Department of Transdisciplinary Science and Engineering
- Department of Social and Human Sciences
- Department of Innovation Science
- Graduate major in Technology and Innovation Management
- Common courses
- Liberal arts and basic science courses
- Academic unit or major
- Graduate major in Mathematical and Computing Science
- Instructor(s)
- Wakita Ken Masuhara Hidehiko
- Class Format
- Lecture
- Media-enhanced courses
- Day/Period(Room No.)
- Mon5-6(W831) Thr5-6(W831)
- Group
- -
- Course number
- MCS.T502
- Credits
- 2
- Academic year
- 2018
- Offered quarter
- 3Q
- Syllabus updated
- 2018/3/20
- Lecture notes updated
- 2018/10/2
- Language used
- English
- Access Index
-
Course description and aims
The gift from decades of research and development activities of functional programming languages includes efficient garbage collection, type-directed optimization, and closure conversions. These techniques are starting to be incorporated in programming languages from non-functional paradigms such as C++ and Java, promoting more "functional style" in general programming.
When we see programs written in functional programming languages and shocked at its beauty and simplicity, we may wonder its execution efficiency. In this course, we jump into an implementation of a working compiler for a functional programming language and learn techniques to gradually converting highly abstract description of the functional-style program to lower level executable code, through series of conversions. These conversions are defined over well-defined interfaces: from upper-lever abstract interface down to lowest-level machine description are abstract syntax trees, K-normal forms, closure language, virtual machine.
Students will be exposed to one of the best example of systematically organized software project which deals with software complexity with formalism, layers of abstraction, and machine independence.
Student learning outcomes
Students will learn
1) a functional programming language,
2) methodologies of functional programming,
3) organization of a compiler for a functional programming language
During the course, we read a compiler of a tiny functional programming language, called MinCaml, which is written in a functional programming language called OCaml. From this experience, we can learn (1) an organization of middle-scale software project, (2) that highly abstract description of is gradually transformed down to lower-level representation passing through abstraction layers, (3) techniques to balance between description power and execution efficiency.
Keywords
Compiler organization, Optimization, System programming, Functional programming, OCaml
Competencies that will be developed
| ✔ Specialist skills | Intercultural skills | Communication skills | Critical thinking skills | Practical and/or problem-solving skills |
Class flow
The course is taught mainly by lectures.
Course schedule/Required learning
| Course schedule | Required learning | |
|---|---|---|
| Class 1 | Overview | Guidance |
| Class 2 | Introduction to functional programming in OCaml (1) | Primitive data types, compound data types, algebraic data types. |
| Class 3 | Introduction to functional programming in OCaml (2) | Recursive data structures, recursive functions, higher-order functions, mutable states. |
| Class 4 | Introduction to functional programming in OCaml (3) | Records, exception handling, modules, standard library, tools |
| Class 5 | Software architecture of the MinCaml compiler | MinCaml is a tiny functional programming language and is implemented in a functional programming language OCaml. |
| Class 6 | From program to abstract syntax tree | Lexical analysis and parsing. |
| Class 7 | Type analysis | Type analysis, type inference, unification |
| Class 8 | From abstract syntax tree to K-normal form | K-normal form, alpha-conversion |
| Class 9 | Optimization(1) | Beta-reduction, reduction of nested let's, inline code expansion |
| Class 10 | Optimization (2) | Constant folding, elimination of redundant definitions |
| Class 11 | Elimination of functional closures | Closure conversion |
| Class 12 | Generation of abstract machine code | Abstract machine code generation |
| Class 13 | Register assignment | Register assignment |
| Class 14 | Generation of executable code | Generation of assembly code, runtime system |
| Class 15 | Wrap up | Wrap up |
Textbook(s)
Unfixed
Reference books, course materials, etc.
Courseware will be provided on GitHub. GitHub repository information is shared via OCW-i.
http://esumii.github.io/min-caml/index7.html
http://esumii.github.io/min-caml/paper.pdf
Assessment criteria and methods
Students will be assessed on their understanding of functional programming and organization of a compiler for a tiny functional programming language. There is no term-end examination.
Related courses
- MCS.T213 ： Introduction to Algorithms and Data Structures
- MCS.T224 ： Programming I
- MCS.T303 ： Programming II
- MCS.T334 ： Compiler Construction
- CSC.T372 ： Compiler Construction
Prerequisites (i.e., required knowledge, skills, courses, etc.)
Good understanding of formal language theory (automata, context free grammars), algorithms and data structures (list / tree / graph), and proficiency in at least one programming languages are required.
Other
This course is challenging.
