Программируй на Haskell

Одной из основных целей этой книги является формирование фундамента, необходимого для изучения более сложных абстрактных классов типов, чем те, которые можно изучить самостоятельно. Type classes начинается с рассмотрения интересных классов типов и затем переходит к более мощным абстрактным классам типов.

Автор: Уилл Курт Издательство: ДМК Пресс Год издания: 2018 Количество страниц: 648 ISBN: 978-5-97060-694-0 Цена: 999 руб.

Язык Haskell принадлежит к семейству функциональных языков программирования ML – Meta Language. Главной отличительной чертой ML-языков являются их мощные системы типов. Haskell, по распространенному мнению, считается самым сложным из семейства ML из-за совмещения ленивых вычислений, обеспечивающих чистое функциональное программирование, и абстрактных концепций, таких как монады. Он для тех, у кого есть опыт программирования и ктохочет поднять свои навыки программирования и понимания языков программирования на новый уровень.

Второе преимущество изучения Haskell в том, что оно, по сути, сопровождается ускоренным курсом теории языков программирования. Вы вряд ли сможете изучить Haskell на уровне, достаточном для написания нетривиальных программ, обойдясь без значительного объема знаний о функциональном программировании, ленивых вычислениях и сложных системах типов. Эти основы теории языков программирования не только полезны из академического любопытства, но ислужат вполне прагматичным целям. Элементы Haskell постоянно проникают как в новые языки программирования, так и в уже существующие. Знание Haskell и его особенностей поможет вам понять, чего можно ожидать на горизонтах программирования на годы вперед.

Освоение Haskell сложно в первую очередь из-за его непохожести на остальные языки. Haskell заставляет иначе взглянуть даже на привычные вещи. С другой стороны, многие программисты, попробовав писать на Haskell, категорически нежелают возвращаться к другим языкам.

Книга будет полезна программистам и разработчикам, у которых основной язык программирования – это Scala, или тем, кто в проектах сконцентрирован на написание программ в функциональном стиле на языке Haskell.

Type classes (классы типов) - это механизм в функциональных языках программирования, таких как Haskell, который позволяет определить общие интерфейсы или поведение для типов данных. Они позволяют создавать абстракции, которые могут быть использованы с различными типами данных, обеспечивая гибкость и повторное использование кода. Начиная с рассмотрения интересных классов типов, книга, вероятно, предоставляет примеры и объяснения, чтобы показать, как классы типов могут быть полезными и применяться на практике. Затем она переходит к более мощным абстрактным классам типов, которые, вероятно, предлагают более высокий уровень абстракции и сложность. Цель этой книги состоит в том, чтобы помочь читателям понять, как использовать классы типов для создания более абстрактных и мощных интерфейсов, которые могут быть применены к различным типам данных. Она предлагает фундаментальные знания и примеры, чтобы помочь читателям продвигаться в изучении этой темы и расширять свои навыки программирования на основе классов типов. Pay by Plate Invoice