Haskell Programming Language - Learn Functional Programming 9.4
Вы сможете скачать в течение 5 секунд.
О Haskell Programming Language - Learn Functional Programming
Классический язык программирования Haskell для iPad, iPhone и iPod touch. Язык программирования является идеальным инструментом для изучения, сложного математического расчета, развлечения и многих других полезных задач. Приложение особенно полезно для изучения языка программирования Haskell. Вы должны купить компиляции внутри приложения. Требуется подключение к Интернету. - Отличный инструмент программирования на AppStore. - Ваш язык программирования для iOS поражает! ОСОБЕННОСТИ - Составить и запустить свою программу. - Ввод текста перед запуском программы и выходом текста. - Улучшенный редактор исходных кодов с синтаксисом, номерами строк, цветными темами и дополнительной клавиатурой. - Онлайн ссылка на язык и несколько образцов программы. ОГРАНИЧЕНИЯ - Подключение к Интернету требуется для компиляции и запуска программы. - Графика, сеть, файловая система и ввод в режиме реального времени не поддерживаются. - Максимальное время времени времени времени работы программы составляет 15 секунд. Спасибо за использование приложения! ====================================== Haskell является стандартизированным, общего назначения чисто функциональный язык программирования, с не-строгой семантики и сильной статической ввода. Он назван в честь логика Хаскелл Карри. В Хаскелле "функция является первоклассным гражданином" языка программирования. В качестве функционального языка программирования основной конструкцией управления является функция. После выхода Miranda компанией Research Software Ltd в 1985 году интерес к ленивым функциональным языкам вырос: к 1987 году существовало более десятка не строгих, чисто функциональных языков программирования. Из них Миранда была наиболее широко используемой, но была несвободным программным обеспечением. На конференции по функциональным языкам программирования и компьютерной архитектуре в Портленде, штат Орегон, было проведено совещание, в ходе которого участники сформировали сильный консенсус в отношении того, что для определения открытого стандарта для таких языков должен быть создан комитет. Цель Комитета состоит в том, чтобы объединить существующие функциональные языки в общий язык, который послужит основой для будущих исследований в области функционального языка. Haskell имеет ленивую оценку, сопоставление шаблонов, понимание списка, классы типов и полиморфизм типа. Это чисто функциональный язык, что означает, что в целом функции в Haskell не имеют побочных эффектов. Существует четкая конструкция для представления побочных эффектов, ортогонал к типу функций. Чистая функция может вернуть побочный эффект, который впоследствии выполняется, моделируя нечистые функции других языков. Haskell имеет сильную, статичную систему типа, основанную на выводе типа Хиндли Милнера. Основной инновацией Haskell в этой области является добавление классов типов, которые первоначально были задуманы как принципиальный способ добавить перегрузки к языку, но с тех пор нашли гораздо больше применений. Конструкция, представляющая побочные эффекты, является примером монады. Monads — это общая структура, которая может моделировать различные виды вычислений, включая обработку ошибок, недетерминизм, разбор и транзакционной памяти программного обеспечения. Монады определяются как обычные типы данных, но Haskell предоставляет некоторые синтаксического сахара для их использования. Язык имеет открытую, опубликованную спецификацию, и существует множество реализаций. Существует активное сообщество вокруг языка, и более 5400 сторонних библиотек с открытым исходным кодом и инструменты доступны в онлайн-хранилище пакетов Hackage. Основной реализацией Haskell, GHC, является как переводчик, так и компилятор родного кода, который работает на большинстве платформ. GHC издается своей высокой производительностью реализации параллелизма и параллелизма, а также за наличие богатой системы типа, включающей последние инновации, такие как обобщенные алгебраические типы данных и типы семейств.