Differences
This shows you the differences between two versions of the page.
|
pp:24:limbaje [2024/02/24 12:22] mihnea.muraru [Limbaje] |
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.4.html|versiunea 8.4]] (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 |
| - | * Racket vine cu Editor / mediu de execuție integrat, numit DrRacket, deci nu este necesară utilizarea altui editor. | + | * 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. | ||
| ===== Haskell ===== | ===== Haskell ===== | ||
| - | * pentru Haskell vom folosi [[https://docs.haskellstack.org/en/stable/README/|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 22: | Line 24: | ||
| * **atât pe Linux cât și pe Windows**, apelați dintr-o consolă comenzile: | * **atât pe Linux cât și pe Windows**, apelați dintr-o consolă comenzile: | ||
| * <code>stack upgrade</code> | * <code>stack upgrade</code> | ||
| - | * <code>stack setup --resolver lts-18.26</code> (acest resolver corespunde cu versiunea de GHCi 8.10.7) | + | * <code>stack setup</code> |
| - | * <code>stack install random-1.1</code> | + | * <code>stack install random-1.2.1.2</code> |
| * este bine apoi să | * este bine apoi să | ||
| * identificați fișierul ''stack.yaml'': | * identificați fișierul ''stack.yaml'': | ||
| Line 29: | Line 31: | ||
| * în Windows, calea ar trebui să fie ''C:\sr\global-project'' | * în Windows, calea ar trebui să fie ''C:\sr\global-project'' | ||
| * în acest fișier, opțiunile ar trebui să fie: | * în acest fișier, opțiunile ar trebui să fie: | ||
| - | * ''resolver: lts-18.26'' | + | * ''extra-deps: [random-1.2.1.2]'' |
| - | * ''extra-deps: [random-1.1]'' | + | |
| * dacă a fost nevoie să efectuați modificări în fișier, mai rulați din nou ''stack setup'' până când nu mai are niciun rezultat | * dacă a fost nevoie să efectuați modificări în fișier, mai rulați din nou ''stack setup'' până când nu mai are niciun rezultat | ||
| * pentru verificare: | * pentru verificare: | ||
| Line 45: | 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): | ||
