Przejdź do zawartości

OCaml

50% Status
Z Wikibooks, biblioteki wolnych podręczników.

Spis treści

[edytuj]
Wikibooks
Wikibooks
Jest dostępny podręcznik w formie biblii: OCaml (edycja), w wersji do druku.

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]