Package: agda-stdlib (0.17-1)

[ Source: agda-stdlib  ]

libreria standard per Agda

Agda è un linguaggio di programmazione funzionale tipizzato in modo dipendente: ha famiglie induttive che sono simili alle GADT di Haskell, ma possono essere indicizzate in base ai valori e non soltanto ai tipi. Ha anche moduli parametrizzati, operatori mixfix, caratteri Unicode e un'interfaccia Emacs interattiva (il verificatore dei tipi può assistere nella scrittura del codice).

Agda è anche un assistente per dimostrazioni: è un sistema interattivo per scrivere e verificare dimostrazioni. Agda è basato sulla teoria intuizionista dei tipi, un sistema fondante per lo sviluppo della matematica costruttiva creata dal logico svedese Per Martin-Löf. Ha molte similitudini con altri assistenti per dimostrazioni basati su tipi dipendenti, come Coq, Epigram e NuPRL.

La libreria Agda standard contiene moduli per molte strutture dati comuni e modelli di dimostrazione. I moduli forniti includono:

 - Algebra: specifica e ragionamento relativo alle strutture algebriche
   astratte;
 - Category: uso di idiomi dalla teoria delle categorie a programmi di
   strutture funzionali;
 - Coinduction: gestione per programmazione coinduttiva;
 - Data: tipi di dati e proprietà relative ai tipi di dati;
 - Foreign: inerente alle interfacce per funzioni esterne;
 - Induction: un'infrastruttura generica per induzione;
 - IO: funzioni inerenti all'input e all'output;
 - Level: livelli universo;
 - Relations: proprietà e dimostrazioni relative alle relazioni;
 - Size: grandezze usate dal meccanismo dei tipi misurati.

Questo pacchetto contiene la libreria completa.

Tags: Role: Shared Library

Other Packages Related to agda-stdlib

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

  linguaggio di programmazione funzionale tipizzato in modo dipendente

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

• enh: elpa-agda2-mode

  linguaggio di programmazione funzionale tipizzato in modo dipendente - modalità Emacs

Download agda-stdlib

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	32,247.9 kB	43,615.0 kB	[list of files]