Programming languages and functional and object-oriented programming are tools and concepts at the basis of software development. The course provides the main notions necessary for the design, understanding, use, and implementation of a programming language: syntax, static and dynamic semantics, interpreters. Functional and object-oriented programming techniques and methodologies are also explored in depth through learning the F# and Java languages. The course allows students to apply the more theoretical concepts acquired in class through various practical laboratory experiences and the development of a medium-sized final project.
Students will extend their skills with foundational notions on design and principles of programming languages and on theory and practice of the object-oriented and functional programming paradigms.
They will learn how to develop simple applications starting from informal requirements with the support of an integrated development environment and a collaborative version control system.
At the end of the course, students will be able to
Basic notions on imperative programming, algorithms and data types and structures.
Lectures in classroom devoted to theory, demos and discussions on individual homework assignments for learning self-assessment.
Team lab assignments on programming in F# and Java. Team development of a final Java project.
The team lab assignments and final project are developed with the GitHub Classroom collaborative version control system.
Principles of programming languages: overview, programming paradigms; syntax, static and dynamic semantics, development of a semantics-driven interpreter. Object-oriented paradigm (the Java programming language): objects, classes, interfaces, inheritance and dynamic binding, casting, overloading, exceptions. Advanced features: generic classes and methods. Practical uses of the standard API, iterator and visitor design pattern. Functional paradigm (the F# programming language): higher-order and polymorphic functions, polymorphic type inference, currying, functions on lists, tail recursion, user-defined types.
Ricevimento: On demand, upon explicit requests by email or Teams
DAVIDE ANCONA (President)
ELENA ZUCCA SCHILLANI
FRANCESCO DAGNINO (President Substitute)
GIOVANNI LAGORIO (Substitute)
PAOLA MAGILLO (Substitute)
In accordance with the teaching schedule approved by Consiglio dei Corsi di Studio in Informatica e Computer Science.
Written test. Final Java project and individual interview on it.
Learning and ability of application of the basic concepts of object-oriented programming: development of the final software project and individual interview on it; Java comprehension and programming exercises in the written test.
Comprehension, use and implementation of the iterator, decorator and visitor design patterns: development of the final software project and individual interview on it; Java programming exercises in the written test.
Learning and ability of application of the basic concepts of functional and generic programming: F# programming exercises in the written test.
Comprehension of the specification of a programming language and the issues concerning the implementation of its interpreter: development of the final software project and individual interview on it; exercises on regular expressions and context free grammars in the written test.
Collaboration within a software development team with the aim to implement a thousand LOC project; interaction with the other team members and instructors: development of the final software project and individual interview on it.