== Haskell :: Функциональное программирование с типами ==
'''Haskell''' — функциональный язык программирования. Если вы уже программировали на чём-либо и хотите посмотреть как Haskell работает и его отличия от других языков, вы можете прочитать [[/Overview|краткий обзор]].
Haskell уникален по двум причинам. Во-первых, он это ''чистый'' функциональный язык. Если у вас есть функция и вы вызываете её в двух разных местах с одинаковыми аргументами, то вы гарантированно получите одинаковые результаты в обоих случаях. Во-вторых, Haskell обеспечиваетпредоставляе вам самую современную систему типов, включая такие возможности как классы типов и GADT.обобщённые алгебраические типы Наврядданных ли(Мы стоитне ожидатьждём, что эти термины что-то означают для вас в настоящее время, но подождите -— эта книга поможет вам. Итак, в чем привлекательность Haskell для его поклонников? В том, что он включает в себя уникальные и современные конструкции? Нет. Людям, программирующим на Haskell нравится их работа, поскольку имея дело с чистыми функциями намного легче понять свои программы и доказать, что они корректны. Кроме того, развитая система типов помогает вылавливать наши ошибки, как глупые, так и весьма коварные).
Итак, в чем привлекательность Haskell для его поклонников? В том, что он включает в себя уникальные и современные конструкции? Нет. Людям, программирующим на Haskell, нравится их работа, поскольку имея дело с чистыми функциями, намного легче понять свои программы и доказать, что они корректны. Кроме того, развитая система типов помогает нам обнаруживать наши ошибки, как глупые, так и весьма коварные.
Цель этой книги ввести вас как в мир языка Haskell, от основ до сложных понятий, и, одновременно, в мир компьютерного программирования. Вы можете быть опытным программистом, тем более мы просим вас быть особенно внимательным и терпеливым в процессе обучения. При всей своей похожести, языки, с которыми вы, скорее всего, наиболее знакомы, сильно отличаются от Haskell, и навыки, привитые ими могут затруднить понимание, как устроен наш язык: ничего сложного, но по-другому. Поэтому отнеситесь к этому, как к приключению, погружению в совершенно другой мир, смотря на него через затейливую математическую призму функционального программирования. ▼
▲Цель этой книги — ввести вас как в мир языка Haskell, от основ до сложных понятий, и, одновременно, в мир компьютерного программирования. ВыОпытные можете быть опытным программистомпрограммисты, тем более мы просим вас быть особенно внимательнымвнимательными и терпеливымтерпеливыми в процессе обучения. ПриСкорее всейвсего, своейзнакомые похожести,вам языки , с которыми вы, скорее всего, наиболее знакомы, сильно отличаются от Haskell , и. навыкиНавыки, привитые ими , могут затруднить понимание , каксути устроен наш языкпроисходящего: ничего сложногопросто, но по-другому. Поэтому отнеситесь к этому, как к приключению, погружению в совершенно другой мир, смотря на него через затейливую математическую призму функционального программирования.
== Обзор ==
|