We werken aan het herstellen van de Unionpedia-app in de Google Play Store
UitgaandeInkomende
🌟We hebben ons ontwerp vereenvoudigd voor betere navigatie!
Instagram Facebook X LinkedIn

Agda

Index Agda

Agda is een afhankelijk getypeerde functionele programmeertaal, oorspronkelijk ontwikkeld door Ulf Norell aan de Technische Universiteit Chalmers.

Inhoudsopgave

  1. 4 relaties: Functioneel programmeren, Platform-onafhankelijke software, Technische Universiteit Chalmers, Turingvolledigheid.

  2. Functionele programmeertaal
  3. Haskell
  4. Programmeertaal
  5. Statisch getypeerde programmataal

Functioneel programmeren

In de informatica is functioneel programmeren een programmeerstijl en een programmeerparadigma.

Bekijken Agda en Functioneel programmeren

Platform-onafhankelijke software

Een toepassing op een computer of een aan een computer aangesloten apparaat, zoals een programmeertaal, software of hardware, heet multiplatform of cross-platform wanneer het op meer dan één systeemplatform werkt, bijvoorbeeld met Linux, Mac en Windows.

Bekijken Agda en Platform-onafhankelijke software

Technische Universiteit Chalmers

De technische universiteit Chalmers (Chalmers tekniska högskola) is een vooraanstaande universiteit op het gebied van natuurwetenschap en technologie.

Bekijken Agda en Technische Universiteit Chalmers

Turingvolledigheid

In de berekenbaarheidstheorie wordt een programmeertaal, of een ander systeem om bewerkingen mee uit te drukken, turingvolledig (vaker: turingcompleet) genoemd als het de uitdrukkingskracht heeft van een universele turingmachine.

Bekijken Agda en Turingvolledigheid

Zie ook

Functionele programmeertaal

Haskell

Programmeertaal

Statisch getypeerde programmataal