OcamlKurs

Zurück zur Liste der KursAngebote und zum ZeitPlan.

Bugfrei programmieren in Ocaml

Ocaml ist eine moderne funktionale Programmiersprache aus Frankreich. Sie bietet höchsten Programmierkomfort durch

Sicherheit und die Garantie eines sauberen Programmierstils durch das statische Typsystem und die Verifikation von Programmen durch den Compiler
automatische Typinferenz, die die Typen aller Variablen schlussfolgert
eine klare Syntax, die Ocaml-Programme sehr bündig, prägnant und elegant macht
imperative und objektorientierte Sprachfeatures, um für jedes Problem das geeignete Paradigma zu wählen
schnelle Compiler für plattformunabhängigen Bytecode und höchst effizienten Maschinencode
u.v.m.

Ist aber alles halb so kompliziert und einfach eine schöne Sprache ... (×)

Der Kurs soll einen Überblick über die Sprache, ihre Features liefern und Lust auf mehr Ocaml machen.

Kursprofil

Thema: Eine Ocaml Einführung

Veranstalter: BenusBecker

Veranstaltungsart: Kurs (Theorie und Praxisübungen)

Termin: Montag, 10. Oktober bis Freitag, 14. Oktober vormittags (siehe ZeitPlan)

Ort: Gebäude 101, Raum 01-016

Schwierigkeitsgrad:

Voraussetzungen: Kontakt mit einer funktionalen Sprache, z.B. wie er in Info I stattfindet (also schon einmal eine Funktion als Argument übergeben haben )

(Das Veranstaltungsprofil kann nur von Kursleitern geändert werden; dazu bitte einloggen.)

Teilnehmer

NicoDietrich
Georg Schulz
KerstinSchmatzer
MarkusDobler
JohannaAndrae
ThomasStrotz
Zyki ( $/!\$ Konflikt mit RubyKurs)
DanielMaticzka

Da der Sommercampus vorbei ist, sind keine weiteren An- oder Abmeldungen mehr möglich.

Detailliertes Kursprogramm

Der Kurs wird die folgenden Abschnitte enthalten ( ocamlkurs-slides-release-candidate):

kurze Einführung in die funktionale Programmierung und weitere Infos zum Thema
Ocaml Core: der funktionale Kern von Ocaml
die imperativen Features
ein Besichtigung der mächtigen Modulsprache von Ocaml
das Klassensystem von Ocaml, Ausblicke in ein paar funktionale Programmiertechniken, Resourcen für Ocaml

... kombiniert mit vielen Übungen ...

Wohlan!

L-Systeme: Grundgeruest und Linksammlung

Kommentare

(×) das ist natürlich eine völlig subjektive Aussage: Ocaml ist, denke ich, anfangs für einen Java/C++-Vertrauten unintuitiv und seltsam, wie jede nicht imperative/objektorientierte Sprache. Allerdings ist es wirklich eine Chance sich anderen Paradigmen zu stellen und dadurch sowohl unbekannte Aspekte als auch die Einschränkungen der Sprache seines Vertrauens kennen zu lernen!

Fragen und Anregungen zum Kurs? Hier ist Platz dafür vorgesehen. Der Sommercampus lebt von Deiner Mithilfe!