Innehållsförteckning
32 relationer: Alonzo Church, Bugg (dator), Clojure, Common Lisp, Datastruktur, Dator, Datorprogram, Erlang (programspråk), Exekvering, F Sharp, Fortran, Funktion, Funktioner av högre ordning, Haskell (programspråk), Imperativ programmering, Instruktionsuppsättning, Lambdakalkyl, Lat beräkning, Lisp, Logo (programspråk), Memoisation, Miranda (programspråk), ML (programspråk), Optimering, Polymorfism (objektorienterad programmering), Procedurell programmering, Programmering, Programspråk, Rekursiv funktion, Sats (programmering), Scheme, Sekvens (programmering).
- Programmeringsparadigm
Alonzo Church
Alonzo Church, född 14 juni 1903 i Washington, D.C., död 11 augusti 1995, var en amerikansk matematiker och logiker, som lämnade fundamentala bidrag till datavetenskapen.
Se Funktionell programmering och Alonzo Church
Bugg (dator)
En bugg, även lus, är en felaktighet i datorprogram som gör att programmet inte beter sig som tänkt.
Se Funktionell programmering och Bugg (dator)
Clojure
Clojure är en dialekt inom Lisp-familjen av programmeringsspråk.
Se Funktionell programmering och Clojure
Common Lisp
Common Lisp utvecklades ursprungligen i början av åttiotalet som en konsolidering av Lisp-dialekter sprungna ur MacLisp, och beskrevs i boken Common Lisp: the Language av Guy L. Steele.
Se Funktionell programmering och Common Lisp
Datastruktur
Datastruktur syftar inom datavetenskap på en strukturering av data på ett sådant sätt att en dator på ett effektivt sätt kan lagra och komma åt närbesläktad data.
Se Funktionell programmering och Datastruktur
Dator
Superdatorn Columbia hos NASA. Illustration av en modern persondator. En dator (tidigare datamaskin eller matematikmaskin) är en maskin som kan bearbeta data och utföra beräkningar automatiskt, effektivare än vad som kan göras manuellt.
Se Funktionell programmering och Dator
Datorprogram
editorn Geany Användargränssnitt för ett datorprogram som tillverkar grafiska figurer Ett datorprogram, även kallat dataprogram, är en serie instruktioner som styr en dator, och beskriver de operationer som datorn ska utföra, då programmet körs.
Se Funktionell programmering och Datorprogram
Erlang (programspråk)
Erlang är ett generellt programspråk som från början (år 1987) utvecklades på forskningsavdelningen hos telebolaget Ericsson AB vid utvärderingen av olika programspråk för implementation av styrsystemen i telefonväxlar.
Se Funktionell programmering och Erlang (programspråk)
Exekvering
Inom informationstekniken innebär termen exekvera att göra en körning av ett datorprogram.
Se Funktionell programmering och Exekvering
F Sharp
F# (uttalas F Sharp) är ett funktionellt programspråk som ursprungligen utvecklades av Don Syme på Microsoft Research.
Se Funktionell programmering och F Sharp
Fortran
Fortran är ett av de allra första högnivåprogramspråken, ursprungligen konstruerat på 1950-talet och fortfarande i bruk.
Se Funktionell programmering och Fortran
Funktion
En funktion ''f'' tar ett invärde ''x'', och returnerar ett utvärde ''f(x)''. En liknelse är att beskriva funktionen som en maskin eller hemlig låda som för vissa invärden returnerar bestämda utvärden.
Se Funktionell programmering och Funktion
Funktioner av högre ordning
Funktioner av högre ordning (en: higher order functions) är inom matematik och programmering funktioner som i sig har andra funktioner som input och/eller output.
Se Funktionell programmering och Funktioner av högre ordning
Haskell (programspråk)
Haskells logotyp Haskell är ett funktionellt programspråk.
Se Funktionell programmering och Haskell (programspråk)
Imperativ programmering
Imperativ programmering är ett programmeringsparadigm inom vilket ett datorprogram programmeras som en sekvens satser (uttryckta i imperativ form).
Se Funktionell programmering och Imperativ programmering
Instruktionsuppsättning
0-operandmaskin (stackmaskin) 1-operandmaskin (accumulator) 2-operandmaskin 3-operandmaskin minne-till-minne-maskin En instruktionsuppsättning eller ISA (från engelskans Instruction Set Architecture) beskriver vilka tillgångar som finns tillgängliga för programmeringen av en processor.
Se Funktionell programmering och Instruktionsuppsättning
Lambdakalkyl
Lambdakalkyl (λ-kalkyl) är ett formellt system som skapades för att undersöka funktioner och rekursion.
Se Funktionell programmering och Lambdakalkyl
Lat beräkning
Lat beräkning (engelska: lazy evaluation eller call-by-need), även selektiv evaluering, är en optimeringsteknik för kompilatorer eller vid programmering.
Se Funktionell programmering och Lat beräkning
Lisp
Lisp, förkortning av "LISt Processing", är ett funktionellt programspråk skapat av John McCarthy 1958.
Se Funktionell programmering och Lisp
Logo (programspråk)
Rekursivt programmerad spiral Logo är ett interaktivt programspråk som konstruerades framför allt för att beskriva sköldpaddsgrafik och att vara ett enkelt nybörjarspråk för barn.
Se Funktionell programmering och Logo (programspråk)
Memoisation
Memoisation, memoisering, är en teknik för att optimera datorprogram som innebär att resultatet av uträkningar som sker medan programmet körs lagras i en tabell.
Se Funktionell programmering och Memoisation
Miranda (programspråk)
Miranda är ett funktionellt programspråk som skapades i mitten av 1980-talet av britten David Turner.
Se Funktionell programmering och Miranda (programspråk)
ML (programspråk)
ML är ett allmänt funktionellt programspråk som utvecklades av Robin Milner med flera i slutet av 1970-talet vid University of Edinburgh, vars syntax inspirerats av ISWIM.
Se Funktionell programmering och ML (programspråk)
Optimering
Att optimera innebär att finna den bästa, "optimala", lösningen på ett problem utifrån de förutsättningar som ges.
Se Funktionell programmering och Optimering
Polymorfism (objektorienterad programmering)
Polymorfism innebär inom objektorienterad programmering att flera olika subklasser under en superklass kan hanteras som om de vore instanser av superklassen.
Se Funktionell programmering och Polymorfism (objektorienterad programmering)
Procedurell programmering
Med procedurell programmering menas i programmeringssammanhang att källkoden skrivs med användande av subrutiner.
Se Funktionell programmering och Procedurell programmering
Programmering
En programstump i BASIC. Programmering handlar om att instruera en maskin eller del av en maskin, till exempel en mikrodator, dator, robot eller NC-maskin att utföra ett visst arbete.
Se Funktionell programmering och Programmering
Programspråk
Java. Programmet skriver ut meddelandet "Hello World!". Programspråk, eller programmeringsspråk, är ett formellt språk som en människa använder för att skapa datorprogram.
Se Funktionell programmering och Programspråk
Rekursiv funktion
En rekursiv funktion är en matematisk funktion som definieras med hjälp av rekursion, det vill säga med hjälp av referenser till sig själv.
Se Funktionell programmering och Rekursiv funktion
Sats (programmering)
En sats eller programsats är inom datavetenskap den minsta fristående enheten i ett imperativt högnivåspråk.
Se Funktionell programmering och Sats (programmering)
Scheme
Scheme stöder lambdakalkyl och har därför tecknet lambda som ett av sina "varumärken" Scheme är en dialekt av programspråket Lisp, utvecklad av Guy Lewis Steele Jr. och Gerald Jay Sussman på MIT någon gång på 1970-talet.
Se Funktionell programmering och Scheme
Sekvens (programmering)
Begreppet sekvens har flera olika betydelser inom programmering, och kan referera bland annat till den interna strukturen i ett program, till den data som bearbetas och till ett arbete som skall utföras av ett (datorstyrt) system.
Se Funktionell programmering och Sekvens (programmering)
Se även
Programmeringsparadigm
- Aspektorienterad programmering
- Deklarativ programmering
- Funktionell programmering
- Imperativ programmering
- Jackson Structured Programming
- Logikprogrammering
- Objektorienterad programmering
- Procedurell programmering
- Programmeringsparadigm
- Skriptspråk
- Strukturerad programmering
- Villkorsprogrammering
Även känd som Funktionella språk, Funktionellt, Funktionellt programspråk.