Haskell Programming Language - Learn Functional Programming for iOS

Opis

Klasyczny język programowania Haskell dla iPada, iPhone'a i iPoda touch. Język programowania to doskonałe narzędzie do nauki, skomplikowanych obliczeń matematycznych, rozrywki i wielu innych przydatnych zadań. Aplikacja jest szczególnie przydatna do nauki języka programowania Haskell. Musisz kupować kompilacje wewnątrz aplikacji. Wymagane jest połączenie z Internetem. - Świetne narzędzie programistyczne w AppStore. - Twój język programowania na iOS jest niesamowity! * CECHY * - Skompiluj i uruchom swój program. - Wprowadzanie tekstu przed uruchomieniem programu i wyprowadzanie tekstu. - Ulepszony edytor kodu źródłowego z podświetlaniem składni, numerami linii, motywami kolorystycznymi i dodatkową klawiaturą. - Odniesienie do języka online i kilka przykładów programów. * OGRANICZENIA * - Do skompilowania i uruchomienia programu wymagane jest połączenie z Internetem. - Grafika, sieć, system plików i dane wejściowe w czasie rzeczywistym nie są obsługiwane. - Maksymalny czas trwania programu to 15 sekund. Dziękujemy za korzystanie z aplikacji! ====================================== Haskell to ustandaryzowany, czysto funkcjonalny język programowania ogólnego przeznaczenia , z nieścisłą semantyką i silnym statycznym typowaniem. Jego nazwa pochodzi od logika Haskella Curry'ego. W Haskell „funkcja jest obywatelem pierwszej klasy” języka programowania. Jako funkcjonalny język programowania podstawową konstrukcją sterowania jest funkcja. Po wydaniu Mirandy przez Research Software Ltd w 1985 r. wzrosło zainteresowanie leniwymi językami funkcjonalnymi: do 1987 r. istniało kilkanaście nieścisłych, czysto funkcjonalnych języków programowania . Spośród nich Miranda była najczęściej używana, ale było to oprogramowanie zastrzeżone. Na konferencji na temat języków programowania funkcjonalnego i architektury komputerowej w Portland w stanie Oregon odbyło się spotkanie, podczas którego uczestnicy osiągnęli mocny konsensus, że należy utworzyć komitet w celu zdefiniowania otwartego standardu dla takich języków. Celem komitetu było skonsolidowanie istniejących języków funkcjonalnych we wspólny język, który posłuży jako podstawa do przyszłych badań nad projektowaniem języków funkcjonalnych. Haskell oferuje leniwą ocenę, dopasowywanie wzorców, rozumienie list, klasy typów i polimorfizm typów. Jest to język czysto funkcjonalny, co oznacza, że ​​generalnie funkcje w Haskell nie mają skutków ubocznych. Istnieje odrębna konstrukcja reprezentująca skutki uboczne, prostopadłe do typu funkcji. Czysta funkcja może zwrócić efekt uboczny, który jest następnie wykonywany, modelując nieczyste funkcje innych języków. Haskell ma silny, statyczny system typów oparty na wnioskowaniu o typie HindleyMilner. Główną innowacją Haskella w tej dziedzinie jest dodanie klas typów, które pierwotnie były pomyślane jako podstawowy sposób na dodanie przeciążenia do języka, ale od tego czasu znalazły o wiele więcej zastosowań. Konstrukt reprezentujący skutki uboczne jest przykładem monady. Monady to ogólna struktura, która może modelować różne rodzaje obliczeń, w tym obsługę błędów, niedeterminizm, parsowanie i programową pamięć transakcyjną. Monady są definiowane jako zwykłe typy danych, ale Haskell dostarcza trochę cukru syntaktycznego do ich użycia. Język ma otwartą, opublikowaną specyfikację i istnieje wiele implementacji. Wokół języka istnieje aktywna społeczność, a w repozytorium pakietów online Hackage dostępnych jest ponad 5400 bibliotek i narzędzi typu open source innych firm. Główną implementacją Haskella, GHC, jest zarówno interpreter, jak i kompilator kodu natywnego na większości platform. GHC słynie z wysokowydajnej implementacji współbieżności i równoległości, a także z bogatego systemu typów zawierającego najnowsze innowacje, takie jak uogólnione typy danych algebraicznych i rodziny typów.