Differences

This shows you the differences between two versions of the page.

Link to this comparison view

pp:24:limbaje [2024/02/24 12:19]
mihnea.muraru created
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 [[https://ctipub.sharepoint.com/:u:/s/03acsla2s2ppcacbcc/EW4TcrHGczFKurDufDtMBVEBZ5BmDZ7mPTqAbvmDP4Kn_g?​e=5T9Fc4|aici]]. 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):
pp/24/limbaje.1708769994.txt.gz · Last modified: 2024/02/24 12:19 by mihnea.muraru
CC Attribution-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0