Haskell - това
Haskell (руски Haskell и Haskell.) - функционален език за програмиране. Той е един от най-често срещаните мързеливи езици за програмиране. Тя е с много развита система на писане, но системата е проектирана модули по-лошо. Последно стандартен език, който се превърна в стандарт за функционално програмиране - Haskell-98. Тя произхожда от Миранда език. която беше разработена от Дейвид Търнър като стандарт функционален език. Кръстен математик Haskell Къри.
характеристики на езика
Основните Haskell езиковите характеристики са следните:
След приемането на стандарта за миналата език (Haskell98) е било необходимо много време и оттогава е с водещ език изпълнение (GHC и прегръдки) е удължен редица допълнителни функции:
- Полиморфизъм втората и по-висок ранг (ранг-2 и ранг-N полиморфизъм)
- Функционални зависимости (FD, функционални зависимости)
използването на
Той разполага с преводачи (един от най-известните - компилатори (един от най-известните - Глазгоу Haskell Compiler (GHC)).
Популярни в академичните среди, но малко известен сред приложните програмисти. Наскоро разширен набор от библиотеки за кандидатстване и език интегрирани в общи софтуерни системи (.Net [1]. COM / ActiveX HaskellScript. Java jaskell), което го прави на езика все повече и по-привлекателна за професионални програмисти.
Разширяване на езиковите реализации (отнася се за GHC):
Най-простият примерите
Следният пример показва синтаксиса Haskell при изпълнението на функциите за факториел:
Това определение описва процеса на факториела като рекурсивен функция. Това определение е подобен на този, който може да се намери в учебниците по компютърни науки. Най-изходния код език като Haskell математически означения аспекти на синтаксиса и използването, например, както в горния пример може да бъде пренаписана, както
което съответства на математическата дефиниция на факториел.
Вторият ред се основава на механизма на модел за съвпадение, което е важна характеристика на Haskell. Този механизъм предизвиква преводач взаимодействаме от горе до долу по подобие на определение и да намерят първата проба (т.е. набор от формални параметри, които отговарят на стойностите, наистина са прехвърлени параметри на функцията), както и определяне е записан с пробата. В този случай определянето на втория ред се избира, когато действителният параметър във функцията фак покана ще бъде нула.
Третият ред в допълнение към модел за съпоставяне механизъм за използване на защитен експресията - п> 0. Това гарантира, че функцията няма да работи за отрицателни числа, за които факториела е неопределена. Ако е отрицателно число се предава като реален параметър във функцията на фак. програмата ще спре със съобщение за грешка.
По-сложни примери
Най-простият калкулатора за изчисляване изрази RPN може да се определи на Haskell език с помощта на аудио функции:
В това определение, функцията на сгъване (пъти), причинена от действителните параметри [] (празен списък - начална стойност за кратно), F (функция за тълкуване на думата стойността на входа) и списъкът на получила оригиналната поредица разбити с изразяване на думи, т.е. линия , разделени един от друг чрез празно пространство. В резултат на списъка се получава, което се състои от междинните и крайните стойности, получени при изчисляването на въвеждане експресията.
Друг пример показва метод за изчисляване на безкраен списък от числата на Фибоначи в линейно време:
Endless списък е създаден с помощта на механизъм corecursion - списък на следните стойности са изчислени въз основа на наличната с първоначалния 0 и 1 като първите две позиции в списъка. Това определение е пример за използване на мързелив механизъм за оценка, който е съществена част Haskell език. За да се разбере как работи тази дефиниция, можем да считаме, изчисляването на първите шест числата на Фибоначи, с помощта на тази функция:
В една и съща функция може да се запише по-кратък и по-разбираеми, когато се използва разширение Haskell език, който се осъществява в GHC на компилатор (паралелното списъци детерминанти, Паралелни Списък разбирания):
Реализация на намирането на всички прости числа по обичайния начин (проверете всеки от простотата)
И получаване, като цяло, един безкраен списък от прости числа:
Приложения, написани на Haskell
- Agda - език за програмиране с зависими видове и доказателства за теореми.
- система за контрол на версиите
- Епиграма - език за програмиране с зависими видове.
- Къща - операционна система с графичен интерфейс
- Jaskell - функционален скриптов език, който работи в Java Virtual Machine
- Pugs - съставител и преводач на езика Perl 6
- терминален клиент за микроблогинг
- облицовка мениджър на прозорци за система за X Window
литература
Haskell (Арканзас) - City Haskell Haskell, Арканзас Държава SSHASSHA ... Wikipedia
Haskell (окръг, Тексас) - Хаскъл Хаскъл област Страна САЩ Статус Включено в Тексас административен център на ... Уикипедия
Haskell, Мървин Натаниел - Натаниел Мервин Haskell Натаниел Мервин Haskell ... Wikipedia
Л. Haskell - Haskell (Haskell) Арнолд Лионел (07.19.1903 Лондон, # 150; 14/11/80 прилеп), Eng. фигура балетна т ра. Завършва университета в Кеймбридж т (1926). През 1928 # 150; 35 написа критичен. статии в газ. Дейли Телеграф. През 1930 г., заедно с Е. Richardson и Е. Evans ... ... балетна. енциклопедия
Ueksler Haskell - (Уекслър) (р 02.06.1922.), Американски оператор, режисьор. Той е завършил Университета на Калифорния. В областта на киното от 1955 г. (документалния филм "Living City"). Първата работа на режисьора # 151; документален филм "Странно Victory" (1958). Излитане ... ... Филм: академично издание на речника
- Hekvort, Дейвид Haskell. Dzhessi Rassel. Тази книга ще бъде направено в съответствие с вашата поръчка на технологии технология за печат при поискване. Високо качество на съдържанието от статиите в Уикипедия! Девид Haskell Hekvort (роден Дейвид Haskell Hackworth ;. 11 ... Прочетете повече Купи за 1254 рубли
- Случаят на Златния мушка. Убийство в магазин за играчки. Криспин Д. млада актриса Изолда Haskell мразен от много хора, но които все още решава да отиде в убийството й? Докато полицията е даден списък с фенове и любители, чийто живот Изолда, така или иначе ... Прочетете повече Купи за 459 рубли
- Пет дни в Париж. Даниела Стил. Оливия - мистериозната малка жена с трагично минало. Преди да се срещне с нея в хотел в Париж Ritts` Петър Haskell не е имал представа, че животът му postroenana компрометира ... Прочетете още Купи за 200 рубли