Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: agda-stdlib  ]

Paket: agda-stdlib (0.17-1)

Links für agda-stdlib

Screenshot

Debian-Ressourcen:

Quellcode-Paket agda-stdlib herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu agda-stdlib

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

agda-stdlib herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 32.247,9 kB43.615,0 kB [Liste der Dateien]