OCaml

Z Wikibooks, biblioteki wolnych podręczników.
Przejdź do nawigacji Przejdź do wyszukiwania

Spis treści[edytuj]

Wikipedia
Wikipedia, nasz siostrzany projekt, zawiera artykuł na temat OCaml.
Wikibooks
Jest dostępna wersja do druku podręcznika OCaml (edycja)

Wstęp[edytuj]

O podręczniku Etap rozwoju: 50%(w dniu 16.05.2007)
- Dla kogo, od kogo i o czym.
Wybór języka Etap rozwoju: 50%(w dniu 16.05.2007)
- Który język funkcyjny i dlaczego OCaml?
Konfiguracja środowiska pracy Etap rozwoju: 50%(w dniu 16.05.2007)
- Przegląd narzędzi przydatnych przy tworzeniu kodu w OCamlu.
Najważniejsze cechy języka Etap rozwoju: 25%(w dniu 16.05.2007)
- Przegląd najważniejszych cech, które charakteryzują Camla

Objective Caml[edytuj]

Pierwsze kroki w OCamlu Etap rozwoju: 50%(w dniu 16.05.2007)
- Przykłady, opisy, rozważania
Funkcje jako wartości Etap rozwoju: 50%(w dniu 16.05.2007)
- Co sprawia, że język nazywamy funkcyjnym?
Rekurencja i iteracje Etap rozwoju: 25%(w dniu 16.05.2007)
- Przykłady funkcji rekurencyjnych

Struktury danych w języku[edytuj]

Listy Etap rozwoju: 25%(w dniu 16.05.2007)
- Przykłady i opisu list wraz ze zwięzłym wstępem do polimorfii
Krotki Etap rozwoju: 25%(w dniu 16.05.2007)
- Charakterystyka "krotek".
Tablice Etap rozwoju: 25%(w dniu 16.05.2007)
- Opis imperatywnych tablic.
Typy wariacyjne i dopasowywanie Etap rozwoju: 25%(w dniu 16.05.2007)
- Jeśli nazwać mielibyśmy jedną cechę, która czyni ten język wartym uwagi to byłyby to typy wariacyjne.
Rekordy i zmienne Etap rozwoju: 25%(w dniu 16.05.2007)
- Rekordy w OCamlu i imperatywne zmienne.
Pierwszy program Etap rozwoju: 25%(w dniu 16.05.2007)
- Opis podstawowych I/O oraz kompilacji programów napisanych w OCamlu.

Mechanizmy języka[edytuj]

Wyjątki Etap rozwoju: 25%(w dniu 16.05.2007)
- Coś co każdy nowoczesny język posiadać powinien
Nazwane i opcjonalne argumenty funkcji Etap rozwoju: 25%(w dniu 16.05.2007)
- Ułatwiacze życia

TODO[edytuj]

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

Linki zewnętrzne[edytuj]