Paket: agda-stdlib (1.3-2)

[ Quellcode: agda-stdlib  ]

Standardbibliothek für Agda

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 komplette Bibliothek.

Markierungen: Rolle: Laufzeit-Bibliothek

Andere Pakete mit Bezug zu agda-stdlib

• dep: libghc-agda-dev (<< 2.6.2~)

  Abhängig typisierte, funktionale Programmiersprache

  dep: libghc-agda-dev (>= 2.6.1)

• enh: elpa-agda2-mode

  Abhängig typisierte, funktionale Programmiersprache - Emacs-Modus

agda-stdlib herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	71.520,6 kB	94.995,0 kB	[Liste der Dateien]