OCaml
Z Wikibooks, biblioteki wolnych podręczników.
[edytuj] Spis treści
[edytuj] Wstęp
- O podręczniku
- Dla kogo, od kogo i o czym.
- Wybór języka
- Który język funkcyjny i dlaczego OCaml?
- Konfiguracja środowiska pracy
- Przegląd narzędzi przydatnych przy tworzeniu kodu w OCamlu.
- Najważniejsze cechy języka
- Przegląd najważniejszych cech, które charakteryzują Camla
[edytuj] Objective Caml
- Pierwsze kroki w OCamlu
- Przykłady, opisy, rozważania - Funkcje jako wartości
- Co sprawia, że język nazywamy funkcyjnym? - Rekurencja i iteracje
- Przykłady funkcji rekurencyjnych
[edytuj] Struktury danych w języku
- Listy
- Przykłady i opisu list wraz ze zwięzłym wstępem do polimorfii - Krotki
- Charakterystyka "krotek". - Tablice
- Opis imperatywnych tablic. - Typy wariacyjne i dopasowywanie
- Jeśli nazwać mielibyśmy jedną cechę, która czyni ten język wartym uwagi to byłyby to typy wariacyjne.
- Rekordy i zmienne
- Rekordy w OCamlu i imperatywne zmienne. - Pierwszy program
- Opis podstawowych I/O oraz kompilacji programów napisanych w OCamlu.
[edytuj] Mechanizmy języka
- Wyjątki
- Coś co każdy nowoczesny język posiadać powinien - Nazwane i opcjonalne argumenty funkcji
- Ułatwiacze życia
[edytuj] TODO
- Polimorficzne typy wariacyjne
- Wykorzystanie polimorficznych typów wariacyjnych - Funktory
- Leniwe obliczanie wartości i strumienie danych
- Dzielenie programu na moduły
- Moduły, przestrzenie nazw - Wstęp do obiektowości
- Miła, prosta, szybka - Tworzenie lekserów
- naturalnie za pomocą ocamllex - Parsowanie języków
- z wykorzystaniem ocamlyacc
[edytuj] Linki zewnętrzne
- Bardzo dobry tekst, który pozwala zgłębić co nieco tajniki OCamla: OCaml Tutorial
- Klasyczny wstęp, również bardzo przydatny: User Manual
- Opis bibliotek języka OCaml: Language Reference
