Der einfach getypte Lambda-Kalkül - Steffen Smolka

Der einfach getypte Lambda-Kalkül (eBook)

Steffen Smolka (Autor)

eBook Download: PDF

2012 | 1. Auflage
16 Seiten
GRIN Verlag
978-3-656-10288-5 (ISBN)

Der einfach getypte Lambda-Kalkül (simply typed lambda-calculus) wurde von Alonso Church (1940) und Haskell Curry (1958) entwickelt. Er erweitert den ungetypten Lambda Kalkül um Typen, die über die Typrelation mit den Termen in Beziehung stehen. Da bereits der ungetypte Lambda-Kalkül turing-mächtig ist, ist nicht zu erwarten, dass die Einführung von Typen die Berechnung zusätzlicher Funktionen ermöglicht. Stattdessen ist die Einführung von Typen hauptsächlich durch folgende Aspekte motiviert: Für die Praxis am bedeutsamsten ist die automatisierte, statische Fehlererkennung, die durch Typisierung ermöglicht wird. So können Laufzeitfehler auf ein Minimum reduziert werden und bedeutungslose Terme, wie etwa die Summe aus einer Zahl und einem booleschen Wert, frühzeitig abgefangen werden. Deswegen kommen heutzutage bei größren Softwareprojekten fast ausschließlich Programmiersprachen mit einer entsprechenden Typisierung zum Einsatz. Zwar ist der Lambda-Kalkül keine in der Praxis eingesetzte Programmiersprache, jedoch basieren praxisrelevante funktionale Programmiersprachen wie ML oder Haskell und deren Typsysteme auf dem getypten Lambda-Kalkül. Historisch gesehen war die Einführung von Typen dem Anliegen Churchs geschuldet, den Lambda-Kalkül zur Kodierung und Berechnung logischer Aussagen zu verwenden. [...]

Erscheint lt. Verlag	17.1.2012
Sprache	deutsch
Themenwelt	Mathematik / Informatik ► Informatik
ISBN-10	3-656-10288-0 / 3656102880
ISBN-13	978-3-656-10288-5 / 9783656102885

Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?

PDF (Ohne DRM)
Größe: 415 KB

Digital Rights Management: ohne DRM
Dieses eBook enthält kein DRM oder Kopierschutz. Eine Weitergabe an Dritte ist jedoch rechtlich nicht zulässig, weil Sie beim Kauf nur die Rechte an der persönlichen Nutzung erwerben.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.