Advanced programming 2016

Course code: ITT8060

Lecturers: Juhan Ernits, Wolfgang Jeltsch

Lab staff: Hendrik Maarand

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

Time and place:

Lectures: Wednesdays 14:00, ICT-A1 U06A-201.

Labs: Wednesdays 16:00, U05-103.

Past editions: Advanced programming - 2015 Advanced programming 2014

You can download Visual Studio via the Microsoft DreamSpark program. You will need to register as a user at a local server [1] and then wait for an e-mail from Dreamspark. 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 Linux is described here.

Installing F# tools on a Mac is described here.

For Dreamspark access please visit [2] and register an account.

Discussion group

The discussions should happen at the ITT8060 course page in https://ained.ttu.ee You will need to use your TUT university account to get into that environment.

Important dates

The midterm test will take place on November 2 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 November 2, you should let us know in writing by Monday, October 31st 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: [3] - Several copies available in Tartu

• Michael R. Hansen, Hans Rischel: Functional programming using F#

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

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

• Additional textbook

Don Syme: Expert F#

- 5 copies at TUT: [5]

Lecture notes and courseworks

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.

• To access the computers in the labs and electronic books at the library you will need and Uni-ID. You will be able to find it out at pass.ttu.ee by logging in with your ID card/residence permit.
• To access The study information system aka ÕIS of Tallinn University of Technology you will need your ID card/residence permit.

If you do not have and 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.

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.

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.

lecture1.fsx

coursework0.fsx

lecture2.fsx

coursework1.fsx (deadline Friday, September 23, submission to GIT. If your git repository does not appear to be present, e-mail to juhan.ernits@ttu.ee)

lecture3.fsx

coursework2.fsx (deadline Friday, September 30, submission to GIT. If your git repository does not appear to be present, e-mail to juhan.ernits@ttu.ee)

lecture4.fsx

coursework3.fsx (deadline Sunday, October 9, submission to GIT. If your git repository does not appear to be present, e-mail to juhan.ernits@ttu.ee)

lecture5.fsx

bonusA.fsx

lecture6.fsx

coursework4.fsx

lecture7.fsx

coursework5.fsx

fscheck.zip: binaries compiled from the branch that integrates FsCheck with NUnit 3.

Submission of courseworks

(From week 2)

You are required to upload courseworks to a GIT repository provided by the university. The URL of the GIT repository is (please note that this cannot be accessed over a browser, it has to be accessed by a GIT client, either from http://git-scm.com or elsewhere)

https://your-tut-username@git.ttu.ee/courses/itt8060/your-tut-username.git

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

git clone https://your-tut-username@git.ttu.ee/courses/itt8060/your-tut-username.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@git.ttu.ee/courses/itt8060/jodo.git
cd jodo
mkdir coursework1

NB! Note that there is no web access to your repository. Also the permissions have been pre-configured for you.

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 master

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@git.ttu.ee/courses/itt8060/your-tut-username.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. Git figures directories out automatically, you can only add files that have been already placed in appropriate directories.

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 itt8060-git@cs.ttu.ee.

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 available in the Git book.