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 . 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.