Resultats de la cerca
- OCaml, anteriorment denominat Objective Caml és un llenguatge de programació de la família ML, extensió i versió actual del llenguatge de programació Caml...78 Ko (8.373 paraules) - 07:26, 5 maig 2024
- L'ML Estàndard, conegut per les sigles SML, de l'anglès Standard ML, és un llenguatge de programació funcional per a aplicacions de tota mena, amb comprovació...27 Ko (3.037 paraules) - 02:39, 17 nov 2023
- ML és un llenguatge de programació funcional desenvolupat per Robin Milner i altres a finals del 1970 a la Universitat d'Edimburg amb una sintaxi inspirada...4 Ko (320 paraules) - 10:24, 28 gen 2022
F# o F Sostingut, en anglès F Sharp és un llenguatge de programació multi-paradigma però amb èmfasi en la programació funcional, per a l'entorn .NET de...2 Ko (181 paraules) - 10:12, 12 nov 2023
ATS (Applied Type System) és un llenguatge de programació dissenyat per Hongwei Xi a la Universitat de Boston que incorpora "Tipus dependents de valors"...13 Ko (1.656 paraules) - 23:52, 4 març 2024
Ur també anomenat Ur/Web és un llenguatge de programació, d'àmbit d'aplicació específic per desenvolupar aplicacions web, creat per Adam Chlipala a l'Institut...3 Ko (358 paraules) - 11:33, 15 abr 2022
