Resultats de la cerca
- El llenguatge de programació Scheme és un llenguatge funcional (si bé "impur", ja que, per exemple, les seves estructures de dades no són immutables) i...13 Ko (1.632 paraules) - 11:46, 6 feb 2024
- Idris és un llenguatge de programació funcional amb tipus dependents de valors, desenvolupat a la Universitat escocesa de Saint Andrews sota la direcció...11 Ko (1.382 paraules) - 14:02, 9 abr 2022
- 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.362 paraules) - 19:47, 29 feb 2024
- LOGO fou el llenguatge de programació desenvolupat per Seymour Papert, Cynthia Solomon i Wally Feurzeig el 1967 a Cambridge, Massachusetts amb l'objectiu...3 Ko (246 paraules) - 14:01, 12 feb 2024
- Scala és un llenguatge de programació modern multi-paradigma dissenyat per a expressar patrons de programació generals d'una manera concisa, elegant i...120 Ko (14.092 paraules) - 21:23, 18 feb 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
- Mercury és un llenguatge de programació lògic-funcional dirigit a aplicacions del món real. Està desenvolupat a la Universitat de Melbourne sota la supervisió...5 Ko (548 paraules) - 08:00, 24 des 2023
- 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
- Clean és un llenguatge de programació funcional pur, de semàntica no estricta (avaluació tardana: les expressions s'avaluen només quan se'n demana el valor)...15 Ko (1.659 paraules) - 19:24, 14 març 2024
- Curry és un llenguatge experimental de programació en lògica funcional, basat en el llenguatge Haskell, que combina elements de llenguatge de programació...1 Ko (103 paraules) - 05:23, 17 juny 2023
- Hume (Higher-order Unified Meta-Environment, ‘meta-entorn unificat d'ordre superior’) és un llenguatge de programació funcional i tipificació forta per...9 Ko (1.016 paraules) - 04:52, 23 març 2024
- Frege és un llenguatge de programació funcional, pur, d'avaluació tardana, de la família del llenguatge Haskell i influenciat pel Java. Té un sistema de...15 Ko (1.693 paraules) - 03:23, 25 set 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