6 les relacions: Haskell, Hume (llenguatge de programació), Kent, Mònada (programació funcional), OCaml, Programació d'ordinadors.
Haskell
Haskell és un llenguatge de programació funcional estandarditzat de semàntica no estricta i avaluació tardana de les expressions (ang: lazy evaluation) en el moment que se'n demana el valor i pren el nom del matemàtic Haskell Curry.
Nou!!: Processos comunicants seqüencials і Haskell · Veure més »
Hume (llenguatge de programació)
Hume (Higher-order Unified Meta-Environment, ‘meta-entorn unificat d'ordre superior’) és un llenguatge de programació funcional i tipificació forta per a sistemes amb recursos limitats que incorpora elements per assegurar l'execució acotada en temps i espai.
Nou!!: Processos comunicants seqüencials і Hume (llenguatge de programació) · Veure més »
Kent
Kent és un comtat del sud-est d'Anglaterra.
Nou!!: Processos comunicants seqüencials і Kent · Veure més »
Mònada (programació funcional)
En programació funcional una mònada és un TAD sense tipus concrets, corresponent a una estructura algebraica d'un sol element (d'aquí el nom de mònada), on la finalitat de les operacions és modelar la composició i la seqüencialitat de les computacions (accions amb efectes) mitjançant l'encadenament, separant la composició temporal, de l'execució, així com incorporar el resultat de cada operació sobre l'entorn.
Nou!!: Processos comunicants seqüencials і Mònada (programació funcional) · Veure més »
OCaml
OCaml, anteriorment denominat Objective Caml és un llenguatge de programació de la família ML, extensió i versió actual del llenguatge de programació Caml, acrònim de "Categorical Abstract Machine Language", creat per Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy i altres el 1996, amb construccions d'Orientació a Objectes, successora de l'extensió anterior del mateix llenguatge anomenada Caml Light.
Nou!!: Processos comunicants seqüencials і OCaml · Veure més »
Programació d'ordinadors
La programació d'ordinadors o programació informàtica (sovint abreujat programació o codificació) és el procés d'escriure, provar, depurar/solucionar problemes, i mantenir el codi font de programes.
Nou!!: Processos comunicants seqüencials і Programació d'ordinadors · Veure més »
Redirigeix aquí:
CSP.