Z Wikipedii

Scheme to funkcyjny język programowania, dialekt (wariant) LISP-a, którego główną ideą jest minimalizm. Oznacza to, że sam język zawiera jedynie podstawowe mechanizmy, a na ich bazie, już z użyciem Scheme, tworzone są bardziej zaawansowane rozwiązania. Scheme nie jest czystym funkcjonalnym językiem programowania, co oznacza, że dopuszczalne są efekty uboczne obliczeń. Scheme umożliwia również tworzenie programów w stylu proceduralnym i obiektowym. Jest to język o dynamicznym systemie typów. Zarządzanie pamięcią jest w pełni automatyczne.

Spis treści 1 Składnia 2 Elementy języka 2.1 Podstawowe operacje matematyczne 2.2 Identyfikatory 2.3 Komentarze 2.4 Podstawienia 2.5 Pytania o typ 2.6 Równość 2.7 Wartości i operatory logiczne 2.8 Funkcje i rekursja 2.9 I/O 3 Definicja języka 3.1 Standard IEEE i raport RnRS 3.2 Dokumenty SRFI 3.3 Przypisy

[edytuj] Składnia

Składnia języka podobna jest do składni LISP-a, z którego język ten się wywodzi. Różne elementy języka, jak np. deklaracje i definicje, warunki, podstawienia, selekcje itp. przedstawione są w postaci list. Lista taka składa się z elementów oddzielonych tzw. białymi spacjami (czyli znakami odstępu, tabulacji lub nowego wiersza) i otoczona jest parą nawiasów (w niektórych implementacjach dopuszcza się też w celu poprawienia czytelności kodu nawiasy kwadratowe). Pierwszym elementem listy jest identyfikator (nazwa) funkcji, kolejnymi są argumenty.

[edytuj] Elementy języka

[edytuj] Podstawowe operacje matematyczne

Działania, tak jak wszystkie inne funkcje, zapisujemy w notacji prefiksowej, to znaczy znak działania przed argumentami:

(+ 2 (* 2 2))
(+ 1 2 3 4)

W istocie działania matematyczne to zwykłe funkcje.

Można przekazywać im więcej niż 2 argumenty. Operatory działań mogą być przesłaniane podobnie jak inne zmienne (zobacz przykład przy podstawieniu).

[edytuj] Identyfikatory

Identyfikatory można tworzyć z liter alfabetu angielskiego (A-Z i a-z), cyfr (0-9) oraz znaków ! $ % & * + - . / : < = > ? @ ^ _ ~. Dodatkowo, aby uniemożliwić mylenie identyfikatorów ze staÅ‚ymi liczbowymi, niedozwolone sÄ… identyfikatory rozpoczynajÄ…ce siÄ™ od znaków, od których mogÄ… zaczynać siÄ™ liczby - czyli od cyfr lub jednego ze znaków: + - .. Od tej reguÅ‚y też jednak sÄ… wyjÄ…tki: + - i ... sÄ… prawidÅ‚owymi identyfikatorami. Niektóre implementacje mogÄ… dopuszczać też użycie innych identyfikatorów, które rozpoczynajÄ… siÄ™ od tych znaków, ale nie sÄ… liczbami. Dodatkowo przyjmuje siÄ™ nastÄ™pujÄ…ce konwencje tworzenia identyfikatorów:

• predykaty koÅ„czÄ… siÄ™ znakiem zapytania ?. W szczególnoÅ›ci zapytania o typ zmiennej tworzymy z nazwy typu i znaku zapytania (np. vector?).
• nazwy funkcji, które modyfikujÄ… swoje argumenty, oznaczamy wykrzyknikiem !, np. set!
• operatory konwertujÄ…ce jeden typ na inny oznaczamy typ1->typ2
• funkcje dziaÅ‚ajÄ…ce na wektorach, znakach i Å‚aÅ„cuchach oznacza siÄ™ przedrostkami vector-, char- i string-. Czasem stosowane jest to też do operacji na listach.

[edytuj] Komentarze

Komentarz do kodu źrodłowego (tekst pomijany przez interpreter/kompilator) rozpoczyna się od średnika i rozciąga się aż do końca nowej linii.

[edytuj] Podstawienia

W języku tym istnieje wiele sposobów przypisania zmiennym wartości.

(define zm wyr)

Deklaruje zmienną zm i nadaje jej wartość wyrażenia wyr. Zmienna jest dostępna do końca bloku, w którym została zdefiniowana. Próba ponownego zdefiniowania tej samej zmiennej skończy się błędem.

(let ((zm_1 wyr_1) ... (zm_n wyr_n)) 
  wyrazenie)

ustawia wartość zmiennych (zm_1, ... zm_n) na wyniki odpowiadających im wyrażeń (wyr_1, ... wyr_n) i wylicza na wartość wyrażenia wyrazenie. Zmienne nie są dostępne poza obrębem let. Jeśli zmienne te istnieją, to zostaną przesłonięte.

(let* ((zm_1 wyr_1) ... (zm_n wyr_n)) 
  wyrazenie)

Znaczenie podobne do let, jednak przy wyliczaniu wartości wyrażeń wyr_2, ...wyr_n brane są pod uwagę wartości wcześniej policzone.

(set! zmienna wartosc)

Podstawienie podobne do znanych ze "zwykłych" języków programowania. Zmienia wartość zmiennej na nową, najczęściej policzoną w jakimś wyrażeniu. Zmienna musi być zadeklarowana (np. przez define lub let albo być parametrem funkcji tworzonej przez lambda).

Przykłady:

(let ((x (+ 3 5)) 
      (y (- 4 7))) 
  (* x y))

Wartość wyrażenia

(let ((+ *)) (+ 3 8))

będzie równa 24 (= 3 * 8), ponieważ wewnątrz let + oznacza *.

[edytuj] Pytania o typ

Zmienne są typowane dynamicznie, czyli zmienna nie ma ustalonego typu - jest takiego typu jak wartość, którą przechowuje. Czasem musimy więc sprawdzić czy rzeczywiście przechowuje ona wartość odpowiedniego typu (np. przed użyciem w funkcji, które przyjmują wartości tylko określonego typu lub chcąc wybrać sposób potraktowania danych zależnie od typu)

(number? 5)
(number? "foo")
(string? "foo")

Pytania o typ składają się z nazwy typu i znaku zapytania (?).

[edytuj] Równość

Równość dwóch zmiennych sprawdzamy predykatem eq?. Dwie zmienne są równe jeśli są tą samą liczbą, tym samym symbolem lub wskazują na tę samą parę (w szczególności listę). Dwie listy o takich samych elementach zostaną wzięte za różne jeśli powstały niezależnie od siebie (czyli jedna z nich nie przyjęła wartości przez podstawienie drugiej ani).

(eq? "foo" "bar")
(eq? 5 (+ 2 3))
(eq? (eq? 2 3) (eq? 3 4))

[edytuj] Wartości i operatory logiczne

Wartości logiczne prawda i fałsz reprezentowane są odpowiednio symbolami #t i #f. Możemy na nich wykonywać np. operacje or (alternatywa lub), and (koniunkcja i) oraz not (negacja nie). Mają one jednak odrobinę szersze zastosowanie.

[edytuj] Funkcje i rekursja

Funkcje definiuje się za pomocą konstrukcji:(lambda (lista argumentów) (ciało funkcji)), przy czym może ona zostać wartością zmiennej (np. przez define lub let) albo zostać użyta bez nadawania jej nazwy.

(define fact 
  (lambda (x) 
    (if (= x 0) 
        1 
        (* x (fact (- x 1))))))

(define fib 
  (lambda (n) 
    (cond ((= n 0) 0)
          ((= n 1) 1)
          (else (+ (fib (- n 1)) (fib (- n 2)))))))

(define sum 
  (lambda (x)
    (cond ((null? x) 0)
          (else (+ (car x) (sum (cdr x)))))))

(fact 14)

(fib 10)

(map (lambda (x) (* x (+ 1 x))) ;;; obliczy listę wartości wyrażenia x*(x+1)
     '(1 3 6 9))                ;;; kolejno dla 1, 3, 6 i 9

(sum '(6 6 6 100))

(sum (map fib '(1 2 3 4)))

Zamiast pętli wykorzystuje się możliwości stwarzane przez rekursję, szczególnie przez rekursję ogonową.

Tak zdefiniowana rekursja może być wykonywana bez odkładania parametrów na stos, czyli tak jak zwykła iteracja.

[edytuj] I/O

Wejście i wyjście w języku Scheme reprezentowane jest przez porty. Są to obiekty, które (odpowiednio) są źródłem znaków (obiektów typu char) lub które mogą przyjmować znaki. Podstawowe procedury odczytu i zapisu to read i write. Przykład zastosowania:

(write (+ (read) (read)))

Standard języka opisuje również funkcje otwierające pliki i otwierające i zamykające porty.

[edytuj] Definicja języka

JÄ™zyk Scheme ciÄ…gle siÄ™ rozwija, dwa główne elementy tego rozwoju to dokument opisujÄ…cy rdzeÅ„ jÄ™zyka (RⁿRS) oraz proces zgÅ‚aszania dokumentów SRFI (Scheme Requests for Implementation) czyli propozycji rozszerzeÅ„ i ulepszeÅ„ jÄ™zyka opracowywanych przez użytkowników.

[edytuj] Standard IEEE i raport RⁿRS

Język Scheme opisany jest w dwóch dokumentach^[1]:

• standard organizacji IEEE (The IEEE standard, 1178-1990 (R1995))
• raport R⁶RS (Revised⁶ Report on the Algorithmic Language Scheme), szósta wersja dokumentu RⁿRS

Raport RⁿRS jest powszechnie uważany za oficjalnÄ… i podstawowÄ… definicjÄ™ jÄ™zyka: programiÅ›ci piszÄ… programy zgodne z RⁿRS, o implementacjach jÄ™zyka Scheme mówi siÄ™, że sÄ… w caÅ‚oÅ›ci lub częściowo zgodne z raportem RⁿRS.

Pierwszy dokument opisujÄ…cy jÄ™zyk Scheme powstaÅ‚ w roku 1975: "Scheme: an interpreter for extended lambda calculus", autorami byli Gerald Jay Sussman i Guy Lewis Steele Jr., twórcy jÄ™zyka. Raport R⁵RS zostaÅ‚ opublikowany 20 lutego 1998 roku, Do sierpnia 2007 roku trwaÅ‚y prace nad nowÄ… definicjÄ… jÄ™zyka - raportem R⁶RS^[2]. WstÄ™pna wersja nowego raportu o numerze 5.97 zostaÅ‚a poddana pod gÅ‚osowanie osób, które zgÅ‚osiÅ‚y zainteresowanie procesem tworzenia dokumentu. GÅ‚osowanie zakoÅ„czyÅ‚o siÄ™ 12 sierpnia, 29 sierpnia ogÅ‚oszono wyniki gÅ‚osowania i ratyfikacjÄ™ nowego raportu - R⁶RS^[3].

[edytuj] Dokumenty SRFI

Dokumenty zgÅ‚oszone i przyjÄ™te w procesie SRFI ^[4]sÄ… sposobem na w miarÄ™ szybkie wprowadzanie przenoÅ›nych miÄ™dzy implementacjami jÄ™zyka rozwiÄ…zaÅ„ uÅ‚atwiajÄ…cych tworzenie programów. Obecnie istnieje okoÅ‚o 60 dokumentów SRFI, opisujÄ… one sposób zaimplementowania takich funkcji czy rozwiÄ…zaÅ„ jak np. sposób notacji tablic, strumienie, obsÅ‚uga wyjÄ…tków, higieniczne makra, wykonywanie skryptów jÄ™zyka Scheme w systemach operacyjnych UNIX czy obsÅ‚uga wielowÄ…tkowoÅ›ci. RozwiÄ…zania te nie wchodzÄ… w skÅ‚ad oficjalnej definicji jÄ™zyka, jednak mogÄ… być brane pod uwagÄ™ przy tworzeniu kolejnych wersji raportu RⁿRS.

[edytuj] Przypisy

1. ↑ [1]
2. ↑ [2]
3. ↑ [3]
4. ↑ [4]

Powódź na Podkarpaciu - zginął 35-latek

Z powodu intensywnych opadów deszczu i burz, które przeszły nad powiatem bieszczadzkim (Podkarpackie) i wezbrania lokalnych potoków powyżej zbiornika wodnego w Solinie, tamtejszy starosta wprowadził wieczorem alarmy powodziowe dla gmin: Lutowiska i Czarna.

"Rozgrywającym ws. ustawy medialnej była lewica"

Platforma Obywatelska prowadziła arogancką politykę w zakresie ustawy medialnej w stosunku do SLD - twierdzi poseł niezrzeszony Maciej Płażyński.

Lubelskie: pogotowie przeciwpowodziowe

Wisła w Annopolu (Lubelskie) przekroczyła po południu stan alarmowy o 4 cm. W niżej położonych Puławach, poziom wody w rzece zbliżył się do stanu ostrzegawczego.

Lepper o Sejmie: to żenujące, kompromitacja

Andrzej Lepper, przewodniczący Samoobrony oświadczył w Olsztynie, że to, co dzieje się w Sejmie "jest żenujące", a "kłótnia między rządem, a pałacem prezydenckim kompromituje Polskę w oczach świata".

"Nie prowadzimy nagonki na Kurskiego i Wassermanna"

"Gazeta Wyborcza" nie prowadzi nagonki na posłów PiS Jacka Kurskiego i Zbigniewa Wassermanna. Wydaje się, że wyroki w procesach między "Gazetą" a nimi były sprawiedliwe - uważa z-ca redaktora naczelnego "Gazety" Piotr Pacewicz.

Linki: Strona g³ówna