Advanced Programming [AP-23]

Structure of the Oral Exam

1. In the first part of the exam (~15 minutes) the student is invited to present one of the topics of the Syllabus, agreed upon with the lecturer. The presentation has to be oral, without the support of slides.
   Typically, a topic is identified by a number (from 1 to 9) and possibly by one or more letters (eg. 2.b [The JVM Instruction Set], or 6.c-d [Type classes and Monads in Haskell]). Introductory topics (like 3.a, 5.a, 9.a) will not be accepted alone.
   In the email proposing the dates for the oral exam (see below) the student has to propose at least two topics among those listed in the syllabus, in decreasing order of preference. The lecturer will make the best effort to assign the preferred topic, unless too many students have chosen the same one.
2. The second part of the oral exam is dedicated to a discussion about the progamming assignments.
3. In the third part the lecturer can ask questions about any topic listed in the syllabus.

Exam dates

• Chapter 14 of [COMP], sections 14.1 and 14.3.
• The JavaBeans API Specification, sections 1, 2, 6, 7 and 8.

You can send your solutions to the lecturer with an email with subject "[AP-23] Solutions to EX 1". Do not send JAR files.

Proposed Exercises: Inspecting the JVM

• Java SE Development Kit (JDK), version >= 8. Suggested version: JDK 17
• Apache NetBeans.
  
• VisualVM.

• A classification
• Overloading & Coercion
• Inclusion polymorphism & Overriding
• Explicit parametric polymorphism: Templates in C++.

Compiler Explorer: https://godbolt.org/
(a site for exploring compiled code)

• Overloads and Templates in C++ http://www.cplusplus.com/doc/tutorial/functions2/
• Inclusion polymorphism in C++ http://www.cplusplus.com/doc/tutorial/polymorphism/

• C++ templates
• Java Generics
• Bounded type parameters

Compiler Explorer: https://godbolt.org/
(a site for exploring compiled code)

• https://docs.oracle.com/javase/tutorial/java/generics/index.html
• http://thegreyblog.blogspot.com/2011/03/java-generics-tutorial-part-i-basics.html
• Covariance and Contravariance in C# and Scala https://docs.microsoft.com/en-us/dotnet/csharp/programming-guide/concepts/covariance-contravariance/ http://blog.kamkor.me/Covariance-And-Contravariance-In-Scala/

• The Standard Template Library Tutorial, by Johannes Weidl: Page 4, 12 and parts of Chapter 4 "Learning STL"

• Historical origins
• Main concepts
• Language families: LISP, ML, Haskell

• Section 10.1 and 10.2 of Chapter 10 of Programming Language Pragmatics, by Michael Scott, 3rd edition. Link to 4th edition: Programming Language Pragmatics
• An excellent tutorial on Haskell: http://learnyouahaskell.com: Sections "Introduction" and "Starting Out".

• List comprehension
• Algebraic Data Types
• Higher-order functions and combinators

• Recursion in Haskell
• Higher Order functions in Haskell
  
• Optional: Comparing foldr, foldl and foldl'

Online documentation of Haskell functions:

• The Prelude
• Hoogle API Search

Students are invited to complete the exercises at home and to send their solutions to the lecturer, as attachments to an email with subject "[AP-23] Exercise 3 - solutions".

• Lazy evaluation
• The lambda-calculus: syntax and beta-reduction
• Church Booleans, Pairs and Numerals, Arithmetics
• Fixpoint operator and recursion
• Evaluation orders in lambda-calculus
• Call by need in Haskell
• Other parameter passing mechanisms

• Introduction to Lambda Calculus http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf

• Type Classes in Haskell, by John C. Mitchell , Chapter 7 of online, new version of Concepts in Programming Languages

• Type Systems, Type Inference and Polymorphism, by John C. Mitchell , Chapter 6 of online, new version of Concepts in Programming Languages
• A very short tutorial on Monads http://www.idryman.org/blog/2014/01/23/yet-another-monad-tutorial/

• https://wiki.haskell.org/Monads_as_containers
• https://wiki.haskell.org/Monads_as_computation
• Haskell IO Inside https://wiki.haskell.org/IO_inside

• The Prelude
• Hoogle API Search

Students are invited to complete the exercises at home and to send their solutions to the lecturer, as attachments to an email with subject "[AP-23] Exercise 4 - solutions".

• Lambda Expressions in Java http://docs.oracle.com/javase/tutorial/java/javaOO/lambdaexpressions.html
• From Lambdas to Bytecode, by Brian Goetz 2011_Goetz_Lambda.pdf

• Aggregate Operations in Java https://docs.oracle.com/javase/tutorial/collections/streams/index.html
• Optional: Monadic Java, by Mario Fusco

• General Instructions
• Exercises on JavaBeans, Reflection and Annotations, and Haskell
• Archive with auxiliary files

• Inversion of Control, by Martin Flowers
• Inversion of Control Containers and the Dependency Injection pattern, by Martin Flowers

• Using classic problems to teach Java framework design, by H.C. Cunningham, Yi Liu and C. Zhang.
• Why do I hate Frameworks? by Joel Spolsky

• Jaroslav Sevcík, David Aspinall: On Validity of Program Transformations in the Java Memory Model. ECOOP 2008: 27-51
• JLS Chapter 7 - Section 7.4 - Memory Model

• Foreword, Introduction
• Chapter 1 - Getting Started
• Chapter 3 - Common Programming Concepts
• Chapter 4 - Understanding Ownership

• Chapter 6 - Enums and Pattern Matching
• Chapter 10 - Generic Types, Traits and Lifetimes

• Chapter 15 - Smart Pointer
• Section 19.1 - Unsafe Rust

• From the Python Tutorial: Selected topics till Section 4.7 (Defining functions) and from Chapters 5 (Data Structures) and 6 (Modules)
• PEP 8- Style Guide for Python Code, http://www.python.org/dev/peps/pep-0008

• From the Python Tutorial: Selected topics, including Section 4.8 (More on defining functions) and Section 9.2 (Python Scopes and Namespace).
• Primer on Python Decorators, https://realpython.com/blog/python/primer-on-python-decorators/

• From the Python Tutorial: Chapter 9 (Classes).
• The Python Method Resolution Order
• Inside the Python GIL, by David Beazley: InsideThePythonGIL.pdf

• General Instructions
• Proposed Exercises (Version 1.0)
• Archive with auxiliary files