Scheme: Różnice pomiędzy wersjami

Składnia języka jest budowana z S-wyrażeń w sposób klasyczny dla Lispu. Różne elementy języka, jak np. [[Deklaracja (informatyka)|deklaracje]] i definicje, warunki, [[Przypisanie|podstawienia]], [[Selekcja (programowanie)|selekcje]] itp. przedstawione są w postaci list. Lista taka składa się z elementów [[Separator (programowanie)|oddzielonych]] tzw. ''białymi znakami'' (czyli znakami odstępu, tabulacji lub nowego wiersza) i otoczona jest parą nawiasów[[nawias]]ów (w niektórych [[Implementacja (informatyka)|implementacjach]] dopuszcza się też w celu poprawienia czytelności kodu nawiasy kwadratowe). Pierwszym elementem listy jest identyfikator (nazwa) funkcji, kolejnymi są [[Argument (informatyka)|argumenty]].

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

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

[[Identyfikator (programowanie)|Identyfikatory]] można tworzyć z [[Litera|liter]] [[Alfabet łaciński|alfabetu łacińskiego]] (<tt>A-Z</tt> i <tt>a-z</tt>), cyfr (<tt>0-9</tt>) oraz znaków <tt>! $ % & * + - . / : < = > ? @ ^ _ ~</tt>. Dodatkowo, aby uniemożliwić mylenie identyfikatorów ze [[Literał liczbowy|stałymi liczbowymi]], niedozwolone są identyfikatory rozpoczynające się od znaków, od których mogą zaczynać się liczby - czyli od [[Cyfra|cyfr]] lub jednego ze znaków: <tt>+ - .</tt>. Od tej reguły też jednak są wyjątki: <tt>+ - i ...</tt> 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:

* operatory [[Konwersja typu|konwertujące]] jeden typ na inny oznaczamy <tt>typ1 → typ2</tt>

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

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

Pytania o typ składają się z nazwy typu i [[Pytajnik|znaku zapytania]] (<tt>?</tt>).

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

Zamiast [[Pętla (informatyka)|pętli]] wykorzystuje się możliwości stwarzane przez [[rekursja|rekursję]], szczególnie przez [[rekursja ogonowa|rekursję ogonową]].