Programming Languages

On October 21, the lecture will be held in laboratory Ω for an hands-on session.

On October 7, the lecture will be held in laboratory Ω for an hands-on session.

Due to the rescheduling of Bootstrap Day and the resulting cancellation of classes on Tuesday, September 23, classes will begin on Wednesday, September 24 at 10am.

Lectures will start on Tuesday, September 23th at 11:30am in room 5016 (5th floor, Via Celoria 18).

On Wednesdays the lectures will always start at 10am.

Midterms

Remember to enroll to the midterm through SIFA/UNIMIA.

Exams

The office hours for the students are: Tuesdays from 9:30 to 11:30 in my office (Via Celoria 18, room 5009). Or on appointment online (preferred way). In both cases: reservation is needed. To book an appointment drop me an email and wait to get a confirmation.

Since January the office hours will be on appointment and online.

Slides.

• Overview di ML/OCaML and Recursion (PDF Lecture 1).
• Native Datatype in ML/OCaML (PDF Lecture 2)
• Modules and Functors (PDF Lecture 3)
• Polymorphism in ML/OCaML (PDF Lecture 4)
• Playing with Fun (PDF Lecture 5)
• ML in Action (PDF Lecture 6)

Books:

• Jason Hickey, “Introduction to Objective CaML”, 2007, Cambridge University Press.
• Joe Armstrong, “Programming Erlang”, 5ª edition, 2011, Pragmatic Bookshelf.
• Dean Wampler e Alex Payne, “Programming Scala”, 2009, O’Really.

Exercises to do in the hands-on lessons (room Ω).

• Exercises on ML/OCaML (Lab01) (VLab01)
• Advanced Exercises on ML/OCaML (Lab02) (VLab02)

Note, the solutions to the exercises I did in the recorded hands-on sessions are available in a SVN repository accessible at:

The credentials to access the repository are the same you use to access the password protected content on this page.

The exam is written (at the computer). Each session proposes three exercises:

• each exercise is graded from 0 to 11;
• each exercise corresponds to one of the three paradigms studied; and
• to pass the exam, you must achieve at least a grade of six in each exercise.

Alternatively, each exercise can be replaced by a midterm exam. There are three midterms, one for each paradigm, and if passed (with a grade of 6 or higher) they remain valid indefinitely, even across academic years. The midterms are independent of each other, so if you fail one, you can still take the next one; any failed midterm can be retaken during the regular exam sessions. You are STRONGLY encouraged to attend and prepare for the midterms.