This is an old revision of the document!
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.
.sh
descărcat de pe pagina de mai sus. Executați fișierul descărcat în linia de comandăstack
din directorul unde ați dezarhivat în /usr/local/bin
: ln -s <cale-absolută-spre-stack> /usr/local/bin/stack
stack upgrade
stack setup --resolver lts-18.26
(acest resolver corespunde cu versiunea de GHCi 8.10.7)
stack install random-1.1
stack.yaml
:~/.stack/global-project/stack.yaml
C:\sr\global-project
resolver: lts-18.26
extra-deps: [random-1.1]
stack setup
până când nu mai are niciun rezultatcheck-haskell-stack-install.hs
stack exec ghci check-haskell-stack-install.hs
*Main>
, apoi dați comanda check
Install OK
.stack exec ghci
pentru o consolă fără a încărca un fișier
stack exec ghci fisier.hs
pentru a încărca fișierul dat
Ctrl+D
C:\Users\Name\AppData\Roaming\SWI-Prolog
), cu numele init.pl~/.config/swi-prolog/init.pl
:- set_prolog_flag(encoding,utf8).
edit.
din consolă (pare că în windows această configurare nu merge dacă prologul este pornit cu `swipl` din consola sistemului):pce-emacs
):- set_prolog_flag(editor, pce_emacs).
pce_emacs
cu numele editorului preferat, dacă nu îl vreți pe acestaCtrl-V
pentru Paste și Ctrl-S
pentru Save:key_binding.style: cua
(prin eliminarea semnului de exclamare de la începutul liniei), se dă File → Save și se repornește Prologul.prolog
, swi-prolog
, sau swi-prolog.swipl-win
(dacă a fost instalat ca snap)swipl
prolog fisier.pl
din consola sistemuluiswipl fisier.pl
din consola sistemuluiload_files('fisier.pl').
edit.
sau, dacă sunt mai multe fișiere încărcate, edit('fisier.pl').
Compile Buffer
(din meniul Compile
), sau cu scurtătura Ctrl-c Ctrl-b după salvare. Practic, trebuie apăsat Ctrl-s Ctrl-c Ctrl-b.make.