Logo
Unionpedia
Communicatie
Ontdek het op Google Play
Nieuw! Download Unionpedia op je Android™ toestel!
Installeren
Snellere toegang dan browser!
 

Hylomorfisme (informatica)

Index Hylomorfisme (informatica)

In de informatica en met name in het functioneel programmeren is een hylomorfisme een recursieve functie, die overeenkomt met de samengestelde functie van een anamorfisme (die eerst een verzameling resultaten opbouwt; ook bekend als 'unfolding') en een catamorfisme (die vervolgens deze resultaten in een finale returnwaarde vouwt).

25 relaties: Anamorfisme, Aristoteles, Binaire operatie, Catamorfisme, Datastructuur, Duale (categorietheorie), Element (wiskunde), Faculteit (wiskunde), Fold, Functiecompositie, Functioneel programmeren, Haskell (programmeertaal), Informatica, Isomorfisme, Lijst (informatica), Ontbossing (informatica), Oudgrieks, Plaatsigheid, Predicatenlogica, Product (wiskunde), Programmeertaal, Recursie, Returnwaarde, Rij van Fibonacci, Sommatie.

Anamorfisme

Een anamorfisme is een concept uit het functioneel programmeren dat gegrond is in de categorietheorie.

Nieuw!!: Hylomorfisme (informatica) en Anamorfisme · Bekijk meer »

Aristoteles

Rafaël Aristoteles (Oudgrieks: Ἀριστοτέλης, Aristotélēs) (Stageira, 384 v.Chr. – Chalkis, 322 v.Chr.) was een Griekse filosoof en wetenschapper die met Socrates en Plato wordt beschouwd als een van de invloedrijkste klassieke filosofen in de westerse traditie.

Nieuw!!: Hylomorfisme (informatica) en Aristoteles · Bekijk meer »

Binaire operatie

In de wiskunde is een binaire operatie een bewerking waarbij twee operanden betrokken zijn, met andere woorden een operatie met plaatsigheid twee.

Nieuw!!: Hylomorfisme (informatica) en Binaire operatie · Bekijk meer »

Catamorfisme

Het concept van een catamorfisme is gegrond in de categorietheorie en is toegepast in het functioneel programmeren.

Nieuw!!: Hylomorfisme (informatica) en Catamorfisme · Bekijk meer »

Datastructuur

Een datastructuur is in de informatica een manier waarop de elementen (in dit verband ook wel componenten, delen of items genoemd) van een samengestelde variabele samenhangen.

Nieuw!!: Hylomorfisme (informatica) en Datastructuur · Bekijk meer »

Duale (categorietheorie)

In de categorietheorie, een deelgebied van de wiskunde, is dualiteit een correspondentie tussen de eigenschappen van een categorie C en de zogenaamde duale eigenschappen van de tegenovergestelde categorie Cop.

Nieuw!!: Hylomorfisme (informatica) en Duale (categorietheorie) · Bekijk meer »

Element (wiskunde)

In de verzamelingenleer is een element een onderdeel van een verzameling of, meer algemeen, van een klasse.

Nieuw!!: Hylomorfisme (informatica) en Element (wiskunde) · Bekijk meer »

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.

Nieuw!!: Hylomorfisme (informatica) en Faculteit (wiskunde) · Bekijk meer »

Fold

In functionele programmeertalen is een fold (of reduce) een hogere-ordefunctie waarmee een recursieve datastructuur geanalyseerd kan worden.

Nieuw!!: Hylomorfisme (informatica) en Fold · Bekijk meer »

Functiecompositie

Functiecompositie g \circ f van de functies f en g, bijvoorbeeld is (g \circ f)(3).

Nieuw!!: Hylomorfisme (informatica) en Functiecompositie · Bekijk meer »

Functioneel programmeren

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

Nieuw!!: Hylomorfisme (informatica) en Functioneel programmeren · Bekijk meer »

Haskell (programmeertaal)

Haskell is een functionele programmeertaal vernoemd naar de wiskundige Haskell Brooks Curry.

Nieuw!!: Hylomorfisme (informatica) en Haskell (programmeertaal) · Bekijk meer »

Informatica

Informatica richt zich op de theoretische grondslagen van informatie, de mechanische (automatische) verzameling en verwerking ervan, evenals de praktische toepassingen die eruit voortvloeien.

Nieuw!!: Hylomorfisme (informatica) en Informatica · Bekijk meer »

Isomorfisme

In de abstracte algebra, een deelgebied van de wiskunde, is een isomorfisme of isomorfie, van het Griekse: ἴσος, isos, gelijk en μορφή, morphē, vorm, een bijectie f zodat zowel f als de inverse f^ ervan homomorf zijn, dat wil zeggen, structuurbewarende afbeeldingen.

Nieuw!!: Hylomorfisme (informatica) en Isomorfisme · Bekijk meer »

Lijst (informatica)

In de informatica is een lijst (Engels: list) een lineaire datastructuur.

Nieuw!!: Hylomorfisme (informatica) en Lijst (informatica) · Bekijk meer »

Ontbossing (informatica)

In de theorie van de programmeertalen in de informatica is ontbossing (ook bekend als fuseren) een programmatransformatie om boomstructuren te verwijderen.

Nieuw!!: Hylomorfisme (informatica) en Ontbossing (informatica) · Bekijk meer »

Oudgrieks

Oudgrieks,, hē Hellēnikē glōtta, is een verzamelnaam (omdat er geen 'hoofdtaal' was) voor de dialecten die in het oude Griekenland, Ionië en in de Griekse kolonies werden gesproken.

Nieuw!!: Hylomorfisme (informatica) en Oudgrieks · Bekijk meer »

Plaatsigheid

De plaatsigheid of ariteit van een relatie of een functie is het aantal argumenten of operanden van die relatie of functie.

Nieuw!!: Hylomorfisme (informatica) en Plaatsigheid · Bekijk meer »

Predicatenlogica

Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.

Nieuw!!: Hylomorfisme (informatica) en Predicatenlogica · Bekijk meer »

Product (wiskunde)

In de wiskunde is een product het resultaat van een vermenigvuldiging of een uitdrukking die de vermenigvuldiging van de factoren laat zien.

Nieuw!!: Hylomorfisme (informatica) en Product (wiskunde) · Bekijk meer »

Programmeertaal

Python. Een programmeertaal is een formele taal waarin de opdrachten die een computer moet uitvoeren, worden geschreven.

Nieuw!!: Hylomorfisme (informatica) en Programmeertaal · Bekijk meer »

Recursie

Recursie (Latijn: recurrere, 'teruglopen') is het optreden van een opeenvolging van constructies waarvan elk afzonderlijk gebaseerd is op een of meer soortgelijke voorgaande constructies.

Nieuw!!: Hylomorfisme (informatica) en Recursie · Bekijk meer »

Returnwaarde

De returnwaarde is de waarde (het resultaat, de uitkomst) die een functie in de informatica geeft.

Nieuw!!: Hylomorfisme (informatica) en Returnwaarde · Bekijk meer »

Rij van Fibonacci

De rij van Fibonacci is genoemd naar Leonardo van Pisa, bijgenaamd Fibonacci, zoon van Bonaccio, van Guglielmo dei Bonaccio.

Nieuw!!: Hylomorfisme (informatica) en Rij van Fibonacci · Bekijk meer »

Sommatie

Sommatie is het optellen van een groep getallen, het resultaat hiervan is de som of het totaal.

Nieuw!!: Hylomorfisme (informatica) en Sommatie · Bekijk meer »

UitgaandeInkomende
Hey! We zijn op Facebook nu! »