en | de

Funktionale Programmierung

Bachelorstudium

VO2 + PS1  SS 2020  703024 + 703025

Überblick

LFU:online Link PS
OLAT Link PS
Voraussetzungen keine
Zeit & Ort Siehe LFU:online

Neuigkeiten

  • 2020-02-12: Zweite Gruppe
    Es wird nun eine zweite Proseminargruppe angeboten. Sie findet jeden Montag von 14:15-15:00 im Rechnerraum 22 statt.
  • 2020-02-11: Wiederholungsklausur 2020
    Im September 2020 wird voraussichtlich die dritte Wiederholungsklausur zur Vorlesung "VO Funktionale Programmierung" aus dem Wintersemester 2019/20 angeboten. Sie können an dieser teilnehmen, auch wenn sie nicht zur Vorlesung im Wintersemester angemeldet waren. Somit steht Ihnen die Möglichkeit zur Verfügung, dass Sie das komplette Modul "Funktionale Programmierung" in diesem Sommersemester abschließen.
  • 2020-02-11: Angebot Sommersemester 2020
    Im Sommersemester 2020 wird nur das Proseminar Funktionale Programmierung angeboten. Videoaufzeichnungen und Unterrichtsmaterial aus der Vorlesung im Wintersemester 2019/20 werden online zur Verfügung gestellt.
  • 2020-01-30: Homepage
    Dies ist die Homepage für das Proseminar Funktionale Programmierung im Sommersemester 2020. Im Sommersemester 2020 wird nur das Proseminar und keine Vorlesung angeboten. Stoff und Prüfungsmodus des Proseminar werden ähnlich zum vorherigen Semester sein. Siehe dazu die Homepage des Proseminars im Wintersemester 2019.

Folien

Der Kurs wird auf den Folien der Vorlesung aus dem Wintersemester 2019/20 aufbauen. Link.

Übungsblätter

Jede Woche gibt es ein hier ein neues Übungsblatt. Die bearbeiteten Aufgaben müssen in OLAT markiert werden und bei Programmieraufgaben müssen die Haskell-Dateien ebenfalls in OLAT verfügbar gemacht werden. Die Abgabefrist ist jeweils 10 Uhr vormittags vor dem Proseminar.

Inhalt

Der Kurs behandelt unter anderem die folgenden Themen:
  • Einführung in die funktionale Programmierung
  • Auswertungsstrategien
  • Pattern Matching
  • verschiedene Arten von Rekursion
  • Polymorphismus
  • Typen und Typ-Klassen
  • Algebraische Datentypen
  • Funktionen höherer Ordnung
  • List Comprehension
  • Programmierung mit Lazy Evaluation
  • ...

Literatur

Introduction to Functional Programming using Haskell (2nd edition), Richard Bird, ULB Permalink

Anmeldung

Die Anmeldung für das Proseminar endet am 21. Februar 2020.

Lecturers

room consultation hours
PS Maximilian W. Haslbeck 3M09

Haskell Setup

Haskell platform

Die "Haskell platform" kann hier heruntergeladen werden.

ghci

Texteditoren

Folgende Texteditoren sind einfach zu benutzen, um Haskellcode zu editieren: Natürlich steht es Ihnen frei, welche Software Sie zum programmieren benutzen, solange es nicht eine Textverarbeitung (Word, Pages, OpenOffice) ist.·

Die Kommandozeile

Als Informatikstudent sollten Sie sich auf der Kommandozeile zurechtfinden. Hier finden Sie einige Anleitungen:

Linux Workstations

Alle Rechner an der Universität Innsbruck haben ein Linuxbetriebssystem mit einer funktionierenden Haskellumgebung vorinstalliert. Für den Zugang zu diesem System müssen Sie einen Benutzerantrag ausfüllen. Mehr Informationen finden Sie hier.

Feedback

Sie können anonymes Feedback hier hinterlassen.