Differences

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

Link to this comparison view

pp:22:limbaje [2022/02/25 19:42]
andrei.olaru [Prolog]
pp:22:limbaje [2022/04/19 16:51] (current)
andrei.olaru [Haskell]
Line 1: Line 1:
 ====== Limbaje ====== ====== Limbaje ======
  
-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 lalinkul de mai jos. Mașina virtuală se poate importa în VMWare Player sau în VirtualBox. 
 + 
 +[[https://​ctipub.sharepoint.com/:​u:/​s/​03-ACS-L-A2-S2-PP-CA-CC-CD-2021/​EXr2xQ4WSJpHpWF4w5ouNLABRja3kT8aluyKCHR-KOdbLg]]
  
 ===== Racket ===== ===== Racket =====
Line 20: 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>​+      * <​code>​stack setup --resolver lts-18.26</​code> ​(acest resolver corespunde cu versiunea de GHCi 8.10.7)
       * <​code>​stack install random-1.1</​code>​       * <​code>​stack install random-1.1</​code>​
       * este bine apoi să       * este bine apoi să
Line 39: Line 43:
     * <​code>​stack exec ghci</​code>​ pentru o consolă fără a încărca un fișier     * <​code>​stack exec ghci</​code>​ pentru o consolă fără a încărca un fișier
     * <​code>​stack exec ghci fisier.hs</​code>​ pentru a încărca fișierul dat     * <​code>​stack exec ghci fisier.hs</​code>​ pentru a încărca fișierul dat
 +  * pentru ieșirea din interpretor,​ folosiți ''​Ctrl+D''​
  
  
pp/22/limbaje.1645810976.txt.gz · Last modified: 2022/02/25 19:42 by andrei.olaru
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