Erinevus lehekülje "Advanced Programming 2021 edition" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
(Uus lehekülg: 'Course code: [https://ois.ttu.ee/subject/ITT8060 ITT8060] Lecturers: Juhan Ernits, Hendrik Maarand Lab staff: Oluwandabira Alawode Contact: juhan.ernits@ttu.ee NB! Mention ITT...')
 
 
(ei näidata sama kasutaja üht vahepealset redaktsiooni)
12. rida: 12. rida:
  
 
'''Labs: Wednesdays 14:00, ICT-121''', (priority for software engineering students as remote session to Tartu);
 
'''Labs: Wednesdays 14:00, ICT-121''', (priority for software engineering students as remote session to Tartu);
IAPM students or Thursdays 10:00, ICT-401.
+
IAPM students or '''Thursdays 10:00, ICT-401'''.
  
  
134. rida: 134. rida:
 
https://gitlab.cs.ttu.ee
 
https://gitlab.cs.ttu.ee
  
log in using your Uni-ID, and create a project itt8060-2020. NB! It is very important that you use all small caps, because renaming it later will cause problems)
+
log in using your Uni-ID, and create a project itt8060-2021. NB! It is very important that you use all small caps, because renaming it later will cause problems)
  
 
Your repository GIT URL will then become:
 
Your repository GIT URL will then become:
  
https://your-tut-username@gitlab.cs.ttu.ee/your-tut-username/itt8060-2020.git
+
https://your-tut-username@gitlab.cs.ttu.ee/your-tut-username/itt8060-2021.git
  
 
You should be able to clone the empty repository by running the following command
 
You should be able to clone the empty repository by running the following command
  
  git clone https://your-tut-username@gitlab.cs.ttu.ee/your-tut-username/itt8060-2020.git
+
  git clone https://your-tut-username@gitlab.cs.ttu.ee/your-tut-username/itt8060-2021.git
  
  
158. rida: 158. rida:
  
 
  git clone https://jodo@gitlab.cs.ttu.ee/jodo/itt8060-2021.git
 
  git clone https://jodo@gitlab.cs.ttu.ee/jodo/itt8060-2021.git
  cd itt8060-2020
+
  cd itt8060-2021
 
  mkdir coursework1
 
  mkdir coursework1
  
175. rida: 175. rida:
 
To upload the contents to the server run
 
To upload the contents to the server run
  
  git push origin master
+
  git push origin main
  
 
NB! Remember to replace jodo with your own TUT UNI-ID username which you can find out from [https://pass.ttu.ee] if you have an ID card or residence permit, or from the kind admins in room ICT-410!
 
NB! Remember to replace jodo with your own TUT UNI-ID username which you can find out from [https://pass.ttu.ee] if you have an ID card or residence permit, or from the kind admins in room ICT-410!

Viimane redaktsioon: 1. september 2021, kell 11:29

Course code: ITT8060

Lecturers: Juhan Ernits, Hendrik Maarand

Lab staff: Oluwandabira Alawode

Contact: juhan.ernits@ttu.ee NB! Mention ITT8060 in the subject line!

Time and place (2021 edition):

Lectures: Wednesdays 12:00, NRG-131. (Link to timetable)

Labs: Wednesdays 14:00, ICT-121, (priority for software engineering students as remote session to Tartu); IAPM students or Thursdays 10:00, ICT-401.


Past editions: Advanced programming 2020 Advanced programming 2018, Advanced programming 2017, Advanced programming 2016, Advanced programming - 2015, Advanced programming 2014

The course is in the core module of the Software Engineering MSc curriculum and among electives in the Informatics MSc curriculum. The course assumes the knowledge of programming and concentrates on functional principles. Details about the learning outcomes can be found here: ITT8060


You can download Visual Studio via the Microsoft Azure Tools for Teaching (formerly also known as Microsoft Imagine, MS Academic Alliance, Dreamspark) program. Unless you explicitly opt out, your @ttu.ee e-mail will be used to activate a MS Imagine account. Students will have access to a wide range of Microsoft products for study purposes at no cost.

If you want to set up your development environment in a virtual machine, you are welcome to use the free VirtualBox or get a license of VMware Workstation via the VMware Academic Program. You will need to contact us at vmware at cs.ttu.ee to gain access.

Installing F# tools on Windows is described here.

Installing F# tools on Linux is described here.

Installing F# tools on a Mac is described here.

In 2020 we will use F# 5.0. Initially in preview phase [1].

Discussion group

Teams group link will be here

Important dates

The midterm test will take place on October 30th during the lecture. It will contribute up to 5% of your final exam mark. In case you have some serious reason why you cannot be present on October 28th, you should let us know in writing by Monday, October 26th to juhan.ernits@ttu.ee.

Textbooks

  • Tomas Petricek with Jon Skeet: Real-world functional programming with examples in F# and C#

- 10 copies at TUT: [2] - Several copies available in Tartu

- Electronic edition available at TUT library (TUT Uni-ID required for login) [3]

- several paper copies available in the ATI library in Tartu.


  • Additional textbook

Don Syme: Expert F#

- 5 copies at TUT: [4]


Lecture recordings

Lecture recordings are available in Moodle [5].

Lecture notes and courseworks

All lecture notes and courseworks are available at ITT8060 course materials on our Gitlab instance.

Task for the first lab:

You need your ID card or residence permit with a chip to sort out your access to the systems at TUT.

If you do not have an ID card or residence permit with a chip proceed as follows:

  • Learn your Uni-ID and set a password at the kind admins at room ICT-410. Write the Uni-ID down, because you will need it to submit your homeworks!
  • To get access to the study information system without a chip card, go to room SOC-132. (The Campus Map will help you find your way).

The rest of the tasks and lecture notes be available at https://ained.ttu.ee under the course ITT8060-2019.

The marks to courseworks are available at [6]. To log in use your uni-id@ttu.ee as an e-mail address (it actually is an e-mail address as well!). Once logged in, please enroll to ITT8060-2019.


Warning: you are required to solve the courseworks yourself. It is OK to ask questions in class and in the course forum, and discuss the problems with fellow students, but it is not OK to share solutions. If you get caught submitting somebody else's work, you and the person copied from will be penalised by receiving 0 marks and your act will be reported to the program manager. Repeated offence will result in losing your student status.

Tentative lecture titles (there will be some modifications)

Lecture 1: Introduction. Basic concepts of F#

Recommended reading: Chapters 1-2 in RWFP, Chapter 1 in FPuF#.

Lecture 2: Tuples, lists, recursion. Functions as values

Lecture 3: Lists and recursion

Lecture 4: Discriminated unions and higher order functions

Lecture 5: Discriminated unions and higher order functions continued

Lecture 6: Behaviour centric programs

Lecture 7: Units of measure. Charting. Accessing CSV files with CsvFile and CSV type provider

Lecture 8: Property based testing: FsCheck

Lecture 9: Accessing .Net libraries, implementing interfaces, Unit testing in F#

Lecture 10: Efficiency of data structures. Tail recursion

Lecture 11: Sequences and computation expressions

Lecture 12: F# for the web: compiling F# to JavaScript with Fable

Lecture 13: Asynchronous computations and reactive programming

Lecture 14: Data analysis with FsLab

Lecture 15: Parallel computations in F#

Submission of courseworks

(From week 2)

You are required to upload courseworks to a GIT repository provided by the university.

You are required to set the repository up yourself. To do that you are required to go to

https://gitlab.cs.ttu.ee

log in using your Uni-ID, and create a project itt8060-2021. NB! It is very important that you use all small caps, because renaming it later will cause problems)

Your repository GIT URL will then become:

https://your-tut-username@gitlab.cs.ttu.ee/your-tut-username/itt8060-2021.git

You should be able to clone the empty repository by running the following command

git clone https://your-tut-username@gitlab.cs.ttu.ee/your-tut-username/itt8060-2021.git


First time submission

To submit the courseworks the first time you should create appropriate subdirectories into the freshly cloned directory. For example, if your name is John Doe and your TUT Uni-ID user name is jodo, then you would run the following commands from Git Bash:

To set your user details:

git config --global user.name "John Doe"
git config --global user.email john.doe@example.com

To clone the repository and copy courseworks into it:

git clone https://jodo@gitlab.cs.ttu.ee/jodo/itt8060-2021.git
cd itt8060-2021
mkdir coursework1

NB! The permissions have been pre-configured for you when you create the correct URL. Some courseworks will run automated tests and you will not get any points if you have not set up the repository according the the instructions.

Now copy coursework1.fsx into the newly created directory "coursework1" and run

git add coursework1/coursework1.fsx

To commit a logical set of changes you run commit:

git commit -a

Your default text editor will be Vi unless your settings say otherwise. To make it easier, Esc + : + x saves and exits, Esc + : + q! quits without saving (note that + is a separator, i.e. you should not type +)

To upload the contents to the server run

git push origin main

NB! Remember to replace jodo with your own TUT UNI-ID username which you can find out from [7] if you have an ID card or residence permit, or from the kind admins in room ICT-410!


Submission of additional files to a non-empty repository

Once you have successfully submitted your first homework, you will be asked to submit further homeworks to the same repository.

We assume that you have a local copy of the repositori in directory called "myrepo". You can always clone a fresh copy by running the following command from Git Bash:

git clone https://your-tut-username@gitlab.cs.ttu.ee/your-tut-username/itt8060-2021.git mylocalrepodir

This command is also useful to check if your submission of homeworks has been useful. Just replace "mylocalrepodir" with some temporary directory to check what got uploaded to the GIT server.

When you modify a file that is already registered with git, e.g. you modify the coursework that you already committed and pushed, the only thing you need to do is commit the modifications and push them again.

The following assumes that you have a local copy of the repo and you have changed directory into that repository by running e.g.

cd mylocalrepodir

For example, you modified coursework1/coursework1.fsx and want to upload the modifications. What you need to do is to commit the changes:

git commit coursework1/coursework1.fsx -m "Description of the modifications"

And then, to upload the changes to the server by running

git push

To add new files, e.g. coursework2.fsx, you will need to run the "git add" command after copying the new file to the appropriate location in the myrepo directory:

git add coursework2/coursework2.fsx
git commit coursework2/coursework2.fsx -m "Some message describing the commit"
git push


NB! Never attempt to add directories, i.e. only add files! Git figures directories out automatically, you can only add files that have been already placed in appropriate directories.

NB! Please add only the files required by the instructions to the repository. Also, please do not use Git Submodules in the homework repositories as this is not supported.

If you run "git commit" without the "-m" switch, you will be prompted with the default text editor in your system. If you are using Git Bash, the editor tends to be Vim. Look at the Vi reference card for survival tips.

Issues regarding the repository access should be reported to your lecturer.

If git seems to be doing something different from what you expect it to do, check what state it is in by running in myrepo

git status

The output will show which files are tracked and which are not. To track untracked files add them by "git add". If you accidentally added some files you do not want to be tracked, run "git rm file-not-to-be-tracked".

To see the history of commits in the repository, run

git log

You can also visualise the history by running

gitk

Further info is available in the Git book, which is highly recommended reading for every developer.