Announcements Term 3, 2020 Announcements Course Outline Course Schedule Glossary Haskell Resources Liam's Books Moodle - BB Collaborate Piazza Forum Setting up Haskell Assignment 0 Spec TeX Guide Web Submission Assignment 1 Code Spec Web Submission Assignment 2 Code Resources Spec Web Submission Exam Take the Exam Sample Exam Check Solutions Reset the Exam Take the Exam Week 1 Tute Monday Code Slides Condensed Slides Video Thursday Board Slides Condensed Slides Video Week 2 Tute Monday Board Exercise Solutions Exercises M → L Proof Notes Slides Condensed Slides Video Thursday Code Exercise Solutions Exercises Notes Slides Condensed Slides Video Week 3 Tute Monday Board Slides Condensed Slides Video Thursday Board Code Exercise Solutions Exercises Notes Proof Slides Condensed Slides Video Week 4 Tute Monday Board Notes Slides Condensed Slides Video Thursday Code Slides Condensed Slides Video Week 5 Exercise Solutions Exercises Notes Tute Monday Code Slides Condensed Slides Video Thursday Slides Condensed Slides Video Week 7 Exercise Solutions Exercises Tute Monday Code Notes Slides Condensed Slides Thursday Condensed Slides Notes Slides Week 8 Tute Monday Notes Slides Condensed Slides Thursday Notes Slides Condensed Slides Week 9 Tute Monday Slides Condensed Slides Thursday Code Notes Overloading Notes Subtyping Slides Condensed Slides Week 10 Tute Monday Slides Condensed Slides Thursday Slides Condensed Slides Announcements 1 Supplementary Exam Details [2021-01-11 Mon 18:30] Christine Rizkallah The supplementary exam will take place on Friday January 15 at 11am. For those of you who have special consideration approval to attend the supplementary, you will be able to access the exam from the exam tab on the course webpage. You will be able to start your exam between 11:00 and 11:15am. 2 Assignment 2 Marked [2020-12-02 Wed 19:25] Christine Rizkallah Provisional marks for Assignment 2 are now available. To see your mark, you can either run 3161 classrun -collect TyInfer on a CSE computer or go to give and in the Assignments tab, under Session: 20T3, Course: COMP3161, Assignment: TyInfer, and click "Collect my marked Assignment". The marking was done as follows: 592 marks based on the autotests, 8 padding marks granted to all those who made a serious attempt, bonus marks based on autotests and manually adjust. If you still have specific queries about the marking of your assignment, email Matthew whose email you can find on the course outline webpage. The myExperience response rate was higher than 50% this year, so you will all receive a bonus participation mark at the end of the term. Thank you all for providing feedback. We hope you enjoyed this course and we wish you all the best for your exams. 3 Exam Revision Session [2020-12-01 Tue 21:00] Christine Rizkallah Matthew Di Meglio will be holding an exam revision session on Wednesday December 2 at 12pm on Blackboard collaborate for all COMP3161/9164 students. You will mainly go through the sample exam questions together. 4 Exam Details [2020-11-19 Thu 04:00] Christine Rizkallah The exam is on the 8th of December 2020. It will work on a platform similar to the sample exam which you can find on the sidebar. You must start the exam between 2:00 and 3:00PM AEST. Questions will be randomised to prevent cheating. You get 2 hours and 10 minutes to answer the questions. If you have special consideration approved, you should already be able to see your extra time in the sample exam platform. Let me know if this is not visible for you. 5 myExperience Participation [2020-11-19 Thu 04:00] Christine Rizkallah Even if you have filled out the survey, most of your friends in the course probably have not. The response rate is currently slightly below 20 percent. As mentioned in the Monday lecture, if the response rate is above 50%, each student attending the course will receive one bonus participation mark on their overall course assesment mark. Low response rates are a pain for lecturers, and it's important to us that you fill this out. Even if you don't have much to say, just checking the boxes and not writing any comments will take no more than a couple of minutes of your time. https://myexperience.unsw.edu.au/ 6 Assignment 1 Marked [2020-11-16 Mon 02:00] Christine Rizkallah Provisional marks for Assignment 1 are now available. To see your mark, you can either run 3161 classrun -collect Eval on a CSE computer or go to give and in the Assignments tab, under Session: 20T3, Course: COMP3161, Assignment: Eval, click "Collect my marked Assignment". Please read the mark breakdown in conjunction with the sample solutions available here. If you still have specific queries about the marking of your assignment: email Vivian or Matthew. You can find their email addresses on the course outline webpage. Remember that Assignment 1 is due this Friday, November 20 at 12pm. 7 Meet-and-Greet and Student-Study Sessions [2020-11-10 Tue 00:30] Christine Rizkallah Based on some of the course feedback received, I will be holding a meet and greet session for all COMP3161 students on Blackboard collaborate this Thursday, 12th of November at 6pm. The purpose of this session is for you to meet your cohort and coordinate further collaborative studying of the course matterial. Once this initial session takes place, I will post a number of new study sessions on Blackboard collaborate. Recordings for these sessions will not be available, they are just meant as a way for you to meet your colleagues. Please note that while I actively encourage you to attend, get to know your colleagues and study collaboratively to enhance your understanding of the course material, assessment tasks are still to be done individually. I will continue to take plagarism very seriously as noted on the course website and assesment tasks. Don't forget that Matt's help session is today at 1pm. 8 Help Sessions (Weeks 9 and 10) [2020-11-02 Mon 21:00] Christine Rizkallah Matthew Di Meglio will be holding two help sessions on for all COMP3161/COMP9164 students over the next two weeks via Blackboard collaborate. They will take place on the Tuesday, 10th of November at 1pm and on Monday, 16th of November at 1pm. Feel free to attend and ask questions. Similar to the lectures and tutorials, the help session recordings will be available afterwards on Blackboard collaborate. 9 Assignment 2 Released [2020-11-02 Mon 13:30] Christine Rizkallah I have released assignment 2. It is due at 12pm on Friday, 20th of November. You can find the spec and code on the sidebar. Submit just the file TyInfer.hs by typing:
give cs3161 TyInfer TyInfer.hs
10 Assignment 0 Marked [2020-10-28 Wed 13:00] Christine Rizkallah Provisional marks for Assignment 0 are now available. To see your mark, you can either run 3161 classrun -collect Proofs on a CSE computer or go to give and in the Assignments tab, under Session: 20T3, Course: COMP3161, Assignment: Proofs, click "Collect my marked Assignment". Please read the mark breakdown in conjunction with the sample solutions available here. If you still have specific queries about the marking of your assignment: email Vivian for questions about Part A and Matthew about Parts B, C, and D, or any other issues with the mark summary. You can find their email addresses on the course outline webpage. Remember that Assignment 1 is due this Friday, October 30 at 12pm. 11 Assignment 0 Released [2020-09-27 Sun 11:00] Liam O'Connor You can find the spec in the sidebar. It is due on Wednesday at midday next week. I have released the Thursday lecture early so all the information you need to do the assignment is now available to you. Please ask us on the forums if you have questions. 12 Lectures [2020-09-10 Thu 11:00] Liam O'Connor Originally the course outline indicated that I would be giving lectures via Blackboard collaborate. There has been a change of plans, and I will now release pre-recorded videos on YouTube for you to watch. This will be for all lectures from Weeks 1 through to 5, when I leave UNSW. Christine Rizkallah, the Lecturer in Charge, will take the remaining weeks of the course synchronously via Blackboard Collaborate. 13 What is COMP3161/9164 about? [2020-09-06 Sun 17:00] Liam O'Connor Some students have asked me to "sell" them on COMP3161. Here's a short description you can use to explain this course to your friends. COMP3161/9164 is a course that teaches you the theory and practice behind the design and implementation of programming languages and type systems. In this course, you will learn the mathematical models we use to define languages, both general purpose and domain specific, and how to understand and compare language features. You will also get to put these models into practice with assignments involving Haskell implementations of a simple functional programming language. We will describe and analyse many different type system features, ranging from overloading and subtyping (as found in OO languages like Java), to linear and substructural types (as found in languages like Rust), to algebraic data types, parametric polymorphism and type inference (as found in languages like Haskell), to existential types and module systems (as found in languages like ML). We will also look at many dynamic features of languages, such as run-time memory management, abstract and virtual machines, exceptions, concurrency and parallelism. While the assignments are in Haskell, no previous knowledge of Haskell is assumed or required. Furthermore, this course does involve a fair bit of theory, but all the mathematical tools we use in the course are taught within the course – it’s calibrated to be an ideal introduction to the theoretical side of programming languages. If you enjoyed any of: COMP3141, COMP3131, COMP2111, COMP6721, COMP6752, COMP4161, COMP3153/9153 or COMP3151/9154, you are likely to enjoy this course. If you haven’t done any of those courses, don’t panic! COMP3161/9164 is a great starting point. 2021-01-11 Mon 18:39 Announcements RSS
