Tartalomjegyzék
16 kapcsolatok: Adattípus, Edinburgh-i Egyetem, Elsőrendű nyelv, F Sharp, Faktoriális, Funkcionális programozás, Haskell (programozási nyelv), Hatókör, Hívási verem, Imperatív programozás, Lambda-kalkulus, Lisp (programozási nyelv), Polimorfizmus (informatika), SML, Szemétgyűjtés, Típuskövetkeztetés.
Adattípus
Python 3 adattípus-hierarchiája A számítástechnikában és a számítógépes programozásban az adattípus (vagy egyszerűen típus) adatértékek gyűjteménye vagy csoportosítása, amelyet általában a lehetséges értékek halmaza, az ezeken az értékeken végzett megengedett műveletek halmaza és/vagy ezen értékek megjelenítése határoz meg.
Megnézni ML (programozási nyelv) és Adattípus
Edinburgh-i Egyetem
A skót Edinburgh-i Egyetem, melyet 1583-ban alapították, híres oktatási és kutatási központ Edinburgh-ban.
Megnézni ML (programozási nyelv) és Edinburgh-i Egyetem
Elsőrendű nyelv
Az elsőrendű nyelvek (vagy másképpen elsőrendű logikai nyelvek) fogalma a matematikai logika egyik legalapvetőbb fogalma.
Megnézni ML (programozási nyelv) és Elsőrendű nyelv
F Sharp
Az F# egy a.NET keretrendszerhez kapcsolódóan kifejlesztett, több programozási irányelv szerint is alkalmazható (többelvű), szigorúan típusos programozási nyelv.
Megnézni ML (programozási nyelv) és F Sharp
Faktoriális
A matematikában egy n nemnegatív egész szám faktoriálisának az n-nél kisebb vagy egyenlő pozitív egész számok szorzatát nevezzük.
Megnézni ML (programozási nyelv) és Faktoriális
Funkcionális programozás
A funkcionális programozás (angolul: functional programming) egy programozási módszertan, vagyis egyike a programozási paradigmáknak.
Megnézni ML (programozási nyelv) és Funkcionális programozás
Haskell (programozási nyelv)
A Haskell tisztán funkcionális, lusta kiértékelésű, polimorf típusokat és magasabb rendű függvényeket tartalmazó programozási nyelv.
Megnézni ML (programozási nyelv) és Haskell (programozási nyelv)
Hatókör
A számítógép-programozásban a hatókör (angolul scope) alatt azt a kontextust értjük, amelyekben a változókat és a kifejezéseket értelmezzük.
Megnézni ML (programozási nyelv) és Hatókör
Hívási verem
A számítástechnikában a hívási verem olyan verem-adatstruktúra, amely információkat tárol a számítógépes program aktív alprogramjairól.
Megnézni ML (programozási nyelv) és Hívási verem
Imperatív programozás
A számítástechnikában az imperatív programozás olyan programozási paradigma, amely utasításokat használ, hogy egy program állapotát megváltoztassa.
Megnézni ML (programozási nyelv) és Imperatív programozás
Lambda-kalkulus
A lambda-kalkulus (vagy λ-kalkulus) egy formális rendszer, amit eredetileg matematikai függvények tulajdonságainak (definiálhatóság, rekurzió, egyenlőség) vizsgálatára vezettek be.
Megnézni ML (programozási nyelv) és Lambda-kalkulus
Lisp (programozási nyelv)
A Lisp programozási nyelv (helyesebben nyelvcsalád) hosszú történetre tekint vissza.
Megnézni ML (programozási nyelv) és Lisp (programozási nyelv)
Polimorfizmus (informatika)
A programozási nyelvekben és a típuselméletben a polimorfizmus (a görög πολύς, sok és a μορφή, alak szavakból) egy egységes interfészre utal, amit különböző típusok valósítanak meg.
Megnézni ML (programozási nyelv) és Polimorfizmus (informatika)
SML
Az SML programozási nyelv a lambda-kalkuluson alapuló funkcionális programozási nyelvek családjába tartozik, az ML programozási nyelv szabványosított kiterjesztése.
Megnézni ML (programozási nyelv) és SML
Szemétgyűjtés
A számítógép-programozásban a szemétgyűjtés (angolul garbage collection) egy formája a biztonságos memóriakezelésnek.
Megnézni ML (programozási nyelv) és Szemétgyűjtés
Típuskövetkeztetés
A típuskövetkeztetés a kifejezés típusának automatikus felismerésére vonatkozik egy formális nyelven.