This shows you the differences between two versions of the page.
pp:24:limbaje [2024/02/24 12:46] mihnea.muraru [Haskell] |
pp:24:limbaje [2024/05/23 15:13] (current) andrei.olaru [Prolog] |
||
---|---|---|---|
Line 3: | Line 3: | ||
Acestea sunt limbajele utilizate în cadrul cursului de Paradigme de Programare. | Acestea sunt limbajele utilizate în cadrul cursului de Paradigme de Programare. | ||
- | O **mașină virtuală** (identică cu cea de pe vmchecker) cu toate limbajele instalate se găsesște aici FIXME. Mașina virtuală se poate importa în VMWare Player sau în VirtualBox. | + | O **mașină virtuală** (identică cu cea de pe vmchecker) cu toate limbajele instalate se găsesște [[https://drive.google.com/file/d/1vKUeyIu7MsLKoxJgPDIS8pEK2nGPDN9s/view|aici]]. Mașina virtuală se poate importa în VMWare Player sau în VirtualBox. |
===== Racket ===== | ===== Racket ===== | ||
* Pentru Racket vom folosi [[https://download.racket-lang.org/racket-v8.12.html|versiunea 8.12]] (sau ulterior, dar pe vmchecker avem această versiune) | * Pentru Racket vom folosi [[https://download.racket-lang.org/racket-v8.12.html|versiunea 8.12]] (sau ulterior, dar pe vmchecker avem această versiune) | ||
- | * Pentru Linux, recomandăm instalarea folosind fișierul ''.sh'' descărcat de pe pagina de mai sus. Executați fișierul descărcat în linia de comandă | + | * Folosiți versiunea specifică sistemului vostru de operare |
+ | * Pentru Linux, recomandăm instalarea folosind fișierul ''.sh'' descărcat de pe pagina de mai sus. Executați fișierul descărcat (după ce i-ați dat permisiuni de execuție, eventual) în linia de comandă | ||
+ | * alternativ, puteți folosi <code>sudo snap install racket</code> | ||
* Racket vine cu editor / mediu de execuție integrat, numit DrRacket, deci nu este necesară utilizarea altui editor. | * Racket vine cu editor / mediu de execuție integrat, numit DrRacket, deci nu este necesară utilizarea altui editor. | ||
===== Haskell ===== | ===== Haskell ===== | ||
- | * pentru Haskell vom folosi [[https://docs.haskellstack.org/en/stable/|Haskell Stack]] | + | * pentru Haskell vom folosi [[https://docs.haskellstack.org/en/stable/|Haskell Stack]], versiunea 9.6.4 de GHC (acestea sunt instalate în mașina virtuală) |
* **instalare** | * **instalare** | ||
* Windows: | * Windows: | ||
Line 44: | Line 46: | ||
===== Prolog ===== | ===== Prolog ===== | ||
- | * Folosim [[http://www.swi-prolog.org/download/stable?show=all|SWI-Prolog]], versiunea 8.4.2 (sau ulterior, dar pe vmchecker avem această versiune) | + | * Folosim [[http://www.swi-prolog.org/download/stable?show=all|SWI-Prolog]], versiunea 9.2.1 (sau ulterior, dar pe vmchecker avem această versiune) |
- | * pentru Ubuntu Linux, recomandăm pașii de instalare din snap (vezi [[https://www.swi-prolog.org/build/snap.html|aici]]) | + | * pentru Ubuntu Linux, recomandăm instalarea pachetului ''swi-prolog'' |
+ | * | ||
+ | /* | ||
+ | pașii de instalare din snap (vezi [[https://www.swi-prolog.org/build/snap.html|aici]]) | ||
+ | */ | ||
* Configurări: | * Configurări: | ||
* fișierul de preferințe (dacă va fi nevoie să schimbați ceva, vedeți mai jos): | * fișierul de preferințe (dacă va fi nevoie să schimbați ceva, vedeți mai jos): |