|
  |
 Lambda Kalkül, kombinatorische Logik, Haskell |
Nocta
unregistriert
 |
|
| Lambda Kalkül, kombinatorische Logik, Haskell |
     |
Meine Frage:
Guten Tag,
ich bin Informatik-Student und lerne zur Zeit (freiwillig nebenher) die Programmiersprache Haskell.
Da es aber so aussieht, dass wir im Studium nicht auf die theoretischen Grundlagen von Haskell eingehen (also Lambda-Kalkül etc), würde ich diese gerne aus einem gut verständlichen Buch lernen.
Ich habe bereits eine Vorlesung zum Thema online gefunden, allerdings werden da mehr oder weniger nur die "Basics" zum Lambda Kalkül vermittelt, was mir noch keine tieferen Einblicke ermöglicht.
Optimal wäre natürlich ein Buch, welches diese theoretischen Themen dann auch direkt noch mit Haskell verknüpft, aber notwendig ist es nicht unbedingt 
PS: Natürlich sind auch andere Lernquellen als ein Buch erwünscht, sofern ihr da was für mich habt
Meine Ideen:
-
|
|
12.12.2012 17:26 |
|
|
Karlito 
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Hallo,
ich denke Wikipedia ist ein guter Einstieg. Auch da ist ein längeres Skript verlinkt:
http://www.southampton.ac.uk/~doctom/tea...mbda/index.html
Das scheint mir recht gut zu sein. Ich weiß nicht wie es bei euch ist, bei uns gibt es in den höheren Semestern eine Lehrveranstaltung "Funktionale Programmierung und Typtheorie". Wenn Du dich dafür interessierst, kannst Du dich ja an deiner Uni umhören, ob es etwas ähnliches gibt.
VG,
Karlito
|
|
|
12.12.2012 23:18 |
|
|
Nocta
unregistriert
|
|
Hey, danke für den Link, das sieht auf den ersten Blick echt nicht schlecht aus.
Ob ich in den höheren Semestern sowas lernen kann, weiß ich nicht, aber ich würde auch ungern noch 5 Semester warten
(Im Bachelor gibt es jedenfalls nichts dazu)
|
|
|
13.12.2012 15:03 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Hi,
wende dich doch an den entsprechenden Lehrstuhl. Vielleicht kannst Du dir das als Vertiefung anrechnen lassen. Bei uns ist es tw aber auch möglich, im Bachelor bereits Master-Veranstaltungen zu besuchen und prüfen zu lassen. Ich kann dir nur raten, einfach mit den Leuten zu reden. Wenn Dich das so brennend interessiert, wird sich da sicher ein Weg finden lassen. Bei uns sind auch gerade die Theoretiker sehr froh, wenn Leute auf sie zukommen.
VG,
Karlito
|
|
|
13.12.2012 15:14 |
|
|
|
|
|
|
|
|
