Cyclone

Cyclone jest niskopoziomowym językiem programowania, którego korzenie sięgają języka C. Został tak zaprojektowany, by uniknąć głównych wad swojego pierwowzoru.

Wskaźniki w Cyclone dzielą się na cztery grupy:

• zwykłe wskaźniki (takie jak w C) – ograniczona możliwości rzutowania, jest zabroniona arytmetyka wskaźników; Cyclone przy dereferencji wskaźnika (np. rekord→pole) sprawdza czy wskaźnik ma wartość NULL.
• fat pointers ("grube" wskaźniki) – wskaźnik jest samoopisujący: zawiera zarówno adres obszaru pamięci, jak również rozmiar tego obszaru; arytmetyka wskaźników jest dowolna, bowiem łatwo wykryć próby dostępu do pamięci spoza przydzielonego zakresu;
• not-NULL pointers (niepuste wskazania) – Cyclone gwarantuje że taki wskaźnik nigdy nie będzie miał wartości NULL.
• wskaźniki na łańcuch znaków zakończony zerem.

W Cyclone wprowadzono regiony pamięci, które mogą być statyczne lub dynamiczne (tworzone w trakcie działania programu). Z regionem pamięci powiązane są wskaźniki, tak że jeśli region jest niszczony (np. został stworzony w funkcji, która już została zakończona) to wszystkie wskaźniki – a ogólnie: obiekty stworzone w jego zakresie – automatycznie stają się nieważne.

Dodatkowe cechy tego języka to: wyjątki znane z C++, ułatwienia w tworzeniu tablic (automatyczna alokacja pamięci, inicjalizacja wyrażeniami), abstrakcyjne typy danych, krotki, funkcje polimorficzne, pattern matching.