Inhoudsopgave
54 relaties: Agda, Alonzo Church, APL (programmeertaal), C (programmeertaal), C Sharp, C++, Clean (programmeertaal), Curry (programmeertaal), De facto, F Sharp, Facebook, Faculteit (wiskunde), Filter (hogere-ordefunctie), Fold, Functie (wiskunde), Functioneel programmeren, Git (software), Glasgow Haskell Compiler, Haskell Curry, Helium (Haskell), Hello world (programma), Hogere-ordefunctie, Hugs, Imperatief programmeren, Java (programmeertaal), Lambdacalculus, Language Integrated Query, Lisp (programmeertaal), Luie evaluatie, Map (hogere-ordefunctie), ML (programmeertaal), Nijmegen, Open standaard, Perl 6, Platform-onafhankelijke software, Portable software, Portland (Oregon), Programmeertaal, Propriëtaire software, Python (programmeertaal), Scala (programmeertaal), Scheme, Simon Peyton Jones, Turingmachine, Type-inferentie, Universiteit Utrecht, Universiteit van Glasgow, Universiteit van St Andrews, Versiebeheersysteem, Webapplicatie, ... Uitbreiden index (4 meer) »
Agda
Agda is een afhankelijk getypeerde functionele programmeertaal, oorspronkelijk ontwikkeld door Ulf Norell aan de Technische Universiteit Chalmers.
Bekijken Haskell (programmeertaal) en Agda
Alonzo Church
Alonzo Church (Washington D.C., 14 juni 1903 - Hudson (Ohio), 11 augustus 1995) was een Amerikaans wiskundige en logicus.
Bekijken Haskell (programmeertaal) en Alonzo Church
APL (programmeertaal)
APL is een programmeertaal.
Bekijken Haskell (programmeertaal) en APL (programmeertaal)
C (programmeertaal)
De programmeertaal C is een imperatieve programmeertaal, gebaseerd op de programmeertaal B, die zelf weer op BCPL was gebaseerd.
Bekijken Haskell (programmeertaal) en C (programmeertaal)
C Sharp
Voorbeeld van 'n HalloWêreld (Zuid-Afrikaans) C# (Engels uitgesproken als "C sharp") is een programmeertaal ontwikkeld door Microsoft als deel van het.NET-initiatief, en later geaccepteerd als standaard door ECMA (ECMA-334) en ISO (ISO/IEC 23270).
Bekijken Haskell (programmeertaal) en C Sharp
C++
Hello world (programma), geschreven in C++ C++ (uitgesproken als C plus plus) is een programmeertaal gebaseerd op C. In tegenstelling tot C is C++ een multi-paradigmataal, wat inhoudt dat er verschillende programmeerparadigma's gebruikt kunnen worden.
Bekijken Haskell (programmeertaal) en C++
Clean (programmeertaal)
Clean is een functionele programmeertaal, ontwikkeld aan de Radboud Universiteit Nijmegen.
Bekijken Haskell (programmeertaal) en Clean (programmeertaal)
Curry (programmeertaal)
Curry is een functionele en logische programmeertaal die gebaseerd is op de syntaxis van de functionele programmeertaal Haskell.
Bekijken Haskell (programmeertaal) en Curry (programmeertaal)
De facto
De facto is Latijn voor "in feite" of "in de praktijk".
Bekijken Haskell (programmeertaal) en De facto
F Sharp
F# (F sharp) is een mix van een functionele en een objectgeoriënteerde programmeertaal voor het.NET-platform van Microsoft.
Bekijken Haskell (programmeertaal) en F Sharp
Facebook is een Amerikaans online sociaalnetwerksite van het bedrijf Meta, dat eerder zelf Facebook heette.
Bekijken Haskell (programmeertaal) en Facebook
Faculteit (wiskunde)
De faculteit van een natuurlijk getal n, genoteerd als n! (n faculteit), is het product van de getallen 1 tot en met n: Recursief geldt dus voor de faculteit: Voor bijvoorbeeld n.
Bekijken Haskell (programmeertaal) en Faculteit (wiskunde)
Filter (hogere-ordefunctie)
In programmeertalen is filter een hogere-ordefunctie waarmee een datastructuur (vaak een lijst) in een bepaalde volgorde wordt doorlopen om een nieuwe datastructuur te produceren die alleen de elementen bevat uit de oorspronkelijke datastructuur waarvoor een predicaat waar is.
Bekijken Haskell (programmeertaal) en Filter (hogere-ordefunctie)
Fold
In functionele programmeertalen is een fold (of reduce) een hogere-ordefunctie waarmee een recursieve datastructuur geanalyseerd kan worden.
Bekijken Haskell (programmeertaal) en Fold
Functie (wiskunde)
Grafiek van de functie f(x).
Bekijken Haskell (programmeertaal) en Functie (wiskunde)
Functioneel programmeren
In de informatica is functioneel programmeren een programmeerstijl en een programmeerparadigma.
Bekijken Haskell (programmeertaal) en Functioneel programmeren
Git (software)
Git is een vrij gedistribueerd versiebeheersysteem.
Bekijken Haskell (programmeertaal) en Git (software)
Glasgow Haskell Compiler
De Glasgow Haskell Compiler (of GHC) is een open source compiler voor de functionele programmeertaal Haskell.
Bekijken Haskell (programmeertaal) en Glasgow Haskell Compiler
Haskell Curry
Haskell Brooks Curry (Millis (Massachusetts), 12 september 1900 - State College (Pennsylvania), 1 september 1982) was een Amerikaanse wiskundige en logicus.
Bekijken Haskell (programmeertaal) en Haskell Curry
Helium (Haskell)
Helium is een compiler en taalvariant speciaal ontwikkeld voor het leren van de functionele programmeertaal Haskell.
Bekijken Haskell (programmeertaal) en Helium (Haskell)
Hello world (programma)
Perl Een Hello world-programma is een eenvoudig computerprogramma dat niets anders doet dan de tekst "Hello world" op het scherm tonen.
Bekijken Haskell (programmeertaal) en Hello world (programma)
Hogere-ordefunctie
In de wiskunde en in de informatica is een hogere-ordefunctie (of een functionaal) een functie die aan een van de volgende voorwaarden voldoet.
Bekijken Haskell (programmeertaal) en Hogere-ordefunctie
Hugs
Hugs (Haskell Users' Gofer System) is een interpreter voor de functionele programmeertaal Haskell.
Bekijken Haskell (programmeertaal) en Hugs
Imperatief programmeren
Imperatief programmeren (ook wel procedureel programmeren genoemd) is een programmeerconcept uit de informatica waarbij programma's opgesteld worden in de vorm van opdrachten die direct uitgevoerd kunnen worden.
Bekijken Haskell (programmeertaal) en Imperatief programmeren
Java (programmeertaal)
Java is een objectgeoriënteerde programmeertaal.
Bekijken Haskell (programmeertaal) en Java (programmeertaal)
Lambdacalculus
De lambdacalculus, soms ook als λ-calculus geschreven, is een formeel systeem dat in de wiskunde en theoretische informatica wordt gebruikt om het definiëren en uitvoeren van berekenbare functies te onderzoeken.
Bekijken Haskell (programmeertaal) en Lambdacalculus
Language Integrated Query
Language Integrated Query of LINQ is een onderdeel van het Microsoft.NET Framework.
Bekijken Haskell (programmeertaal) en Language Integrated Query
Lisp (programmeertaal)
Lisp is een functionele programmeertaal.
Bekijken Haskell (programmeertaal) en Lisp (programmeertaal)
Luie evaluatie
In programmeertalen is luie evaluatie (in het Engels: lazy evaluation) een evaluatie-strategie.
Bekijken Haskell (programmeertaal) en Luie evaluatie
Map (hogere-ordefunctie)
In veel programmeertalen is map een hogere-ordefunctie die een gegeven functie toepast op elk element van een collectie, bijvoorbeeld op een lijst, waarbij het resultaat dan een even grote lijst van resultaten is.
Bekijken Haskell (programmeertaal) en Map (hogere-ordefunctie)
ML (programmeertaal)
ML is een functionele programmeertaal, ontwikkeld door Robin Milner en anderen aan de Universiteit van Edinburgh.
Bekijken Haskell (programmeertaal) en ML (programmeertaal)
Nijmegen
Nijmegen (in het Nijmeegs: Nimwèège, Duits: Nimwegen, Latijn: Noviomagus, Frans: Nimègue, Spaans en Italiaans: Nimega) is een stad en gemeente in de Nederlandse provincie Gelderland, dicht bij de grens met Duitsland.
Bekijken Haskell (programmeertaal) en Nijmegen
Open standaard
Een open standaard (of norm) is een standaard (norm) die publiekelijk beschikbaar is en waaraan verschillende gebruiksrechten zijn verbonden.
Bekijken Haskell (programmeertaal) en Open standaard
Perl 6
Raku (Perl 6) is een versie van Perl, waaraan sinds 2000 gewerkt wordt.
Bekijken Haskell (programmeertaal) en Perl 6
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 Haskell (programmeertaal) en Platform-onafhankelijke software
Portable software
Portable software, stickware of draagbare software is een verzamelterm voor computerprogramma's die niet geïnstalleerd hoeven te worden en geen andere bestanden achterlaten op een computersysteem.
Bekijken Haskell (programmeertaal) en Portable software
Portland (Oregon)
Portland is een grote stad in het noordwesten van de Verenigde Staten, nabij de samenvloeiing van de Willamette en de Columbia River, in de staat Oregon.
Bekijken Haskell (programmeertaal) en Portland (Oregon)
Programmeertaal
Python. Een programmeertaal is een formele taal waarin de opdrachten die een computer moet uitvoeren, worden geschreven.
Bekijken Haskell (programmeertaal) en Programmeertaal
Propriëtaire software
Propriëtaire software, of eigendomsmatige software, wordt door de Free Software Foundation (FSF) gedefinieerd als elke software die niet aan de criteria van FSF voor vrije software voldoet.
Bekijken Haskell (programmeertaal) en Propriëtaire software
Python (programmeertaal)
Een stuk broncode in Python met syntaxiskleuring. Python is een programmeertaal die begin jaren 90 ontworpen en ontwikkeld werd door Guido van Rossum, destijds verbonden aan het Centrum voor Wiskunde en Informatica (daarvoor Mathematisch Centrum) in Amsterdam.
Bekijken Haskell (programmeertaal) en Python (programmeertaal)
Scala (programmeertaal)
Scala is een object-functionele programmeer- en scripttaal voor algemene toepassingen.
Bekijken Haskell (programmeertaal) en Scala (programmeertaal)
Scheme
Scheme is een functionele programmeertaal.
Bekijken Haskell (programmeertaal) en Scheme
Simon Peyton Jones
Simon Peyton Jones (Simonsdorp, Zuid-Afrika, 18 januari 1958) is een Brits informaticus die zich bezighoudt met het ontwerp, de implementatie en de toepassingen van luie functionele programmeertalen, zoals Haskell.
Bekijken Haskell (programmeertaal) en Simon Peyton Jones
Turingmachine
In de informatica is de turingmachine een model van berekening en berekenbaarheid, ontwikkeld door de wiskundige Alan M. Turing in zijn beroemde artikel On computable numbers, with an application to the Entscheidungsproblem uit 1936-37.
Bekijken Haskell (programmeertaal) en Turingmachine
Type-inferentie
In de informatica duidt type-inferentie (Engels: Type inference), of impliciete typering, op de mogelijkheid van sommige programmeertalen om automatisch het datatype van een expressie te bepalen.
Bekijken Haskell (programmeertaal) en Type-inferentie
Universiteit Utrecht
De Universiteit Utrecht (UU) is een Nederlandse universiteit in de stad Utrecht (tot 20 oktober 1992 bekend als de Rijksuniversiteit te Utrecht (RUU)).
Bekijken Haskell (programmeertaal) en Universiteit Utrecht
Universiteit van Glasgow
De Universiteit van Glasgow is een universiteit in de Schotse stad Glasgow.
Bekijken Haskell (programmeertaal) en Universiteit van Glasgow
Universiteit van St Andrews
De Universiteit van St Andrews in St Andrews (Schotland) is de oudste universiteit van Schotland en, na Oxford en Cambridge, de oudste universiteit van de Engelssprekende wereld.
Bekijken Haskell (programmeertaal) en Universiteit van St Andrews
Versiebeheersysteem
Een versiebeheersysteem of VCS (Engels: Version Control System) is een computerprogramma of een verzameling programma's waarmee men de wijzigingen in documenten, programma's of andere informatie bewaard in computerbestanden kan beheren.
Bekijken Haskell (programmeertaal) en Versiebeheersysteem
Webapplicatie
Webapplicatie is een term die wordt gebruikt voor een programma dat op een webserver draait en via de webbrowser kan worden benaderd.
Bekijken Haskell (programmeertaal) en Webapplicatie
Windowmanager
Een windowmanager of vensterbeheerder is software die de plaatsing en het uiterlijk van vensters afhandelt in een venstersysteem.
Bekijken Haskell (programmeertaal) en Windowmanager
Wired
Logo Wired is een Amerikaans en Brits maandelijks tijdschrift.
Bekijken Haskell (programmeertaal) en Wired
Wiskunde
Wiskunde (minder gebruikelijk: mathematiek, mathematica of mathesis) is een formele wetenschap die onder andere getallen, patronen en abstracte structuren bestudeert.
Bekijken Haskell (programmeertaal) en Wiskunde
X Window System
Het X Window System, kortweg X of ook X11 genoemd, is een platform om onder verschillende besturingssystemen, zoals Unix en VMS, een grafische bediening te kunnen gebruiken.
Bekijken Haskell (programmeertaal) en X Window System
Ook bekend als Programmeertaal Haskell.