Paket: agda-stdlib-doc (2.1-3)

[ Quellcode: agda-stdlib  ]

Standardbibliothek für Agda - Dokumentation

Agda ist eine abhängig typisierte, funktionale Programmiersprache: Sie verfügt über induktive Familien, die Haskells GADTs entsprechen, jedoch mit Werten und nicht nur mit Typen indiziert werden können. Zusätzlich verfügt sie über parametrisierte Module, ternäre Operatoren, Unicode-Zeichen und eine interaktive Emacs-Schnittstelle (die Typüberprüfung kann bei der Entwicklung Ihres Codes hilfreich sein).

Agda ist auch ein Beweisassistent, ein interaktives System zum Schreiben und Überprüfen von Beweisen. Agda basiert auf der intuitionistischen Typentheorie, einem grundlegenden System für konstruktive Mathematik, entwickelt vom schwedischen Logiker Per Martin-Löf. Es ähnelt anderen Beweisassistenten, die auf abhängigen Typen basieren, wie Coq, Epigram und NuPRL.

Die Agda-Standardbibliothek enthält Module für viele gebräuchliche Datenstrukturen und Beweismuster. Enthaltene Module sind:

 - Algebra: Spezifizierung von und Beweisführung bei abstrakten
   Algebrastrukturen
 - Category: Verwendet Idiome von Kategorientheorie bis
   strukturfunktionalen Programmen
 - Coinduction: Unterstützung für »Coinduction«-Programmierung
 - Data: Datentypen und Eigenschaften von Datentypen
 - Foreign: Zugehörig zur Schnittstelle für fremde Funktionen
 - Induction: Generelles Rahmenwerk für Induktionsbeweise
 - IO: Eingabe/Ausgabe-bezogene Funktionen
 - Level: Universale Ebenen
 - Relations: Eigenschaften und Beweise von Verhältnissen
 - Size: Größen, die vom »sized types«-Mechanismus verwendet werden

Dieses Paket enthält die verlinkte Bibliotheksdokumentation.

Markierungen: Software-Entwicklung: Dokumentation, Hergestellt aus: HTML, Hypertext Markup Language (Hypertext-Auszeichnungssprache), Rolle: Dokumentation

Andere Pakete mit Bezug zu agda-stdlib-doc

• sug: agda-stdlib

  Standardbibliothek für Agda

agda-stdlib-doc herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	3.624,4 kB	52.023,0 kB	[Liste der Dateien]