Название: Effective Theories in Programming Practice
Автор: Jааdеv Мisrа
Издательство: ACM Books
Год: 2023
Страниц: 564
Язык: английский
Формат: pdf (true), epub
Размер: 20.7 MB

Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a number of those fundamental algorithms to programming students in a concise, yet precise, manner. The book includes the background material needed to understand the explanations and to develop such explanations for other algorithms. The author demonstrates that clarity and simplicity are achieved not by avoiding formalism, but by using it properly. The book is self-contained, assuming only a background in high school mathematics and elementary program writing skills. It does not assume familiarity with any specific programming language. Starting with basic concepts of sets, functions, relations, logic, and proof techniques including induction, the necessary mathematical framework for reasoning about the correctness, termination and efficiency of programs is introduced with examples at each stage. Recursive programming is explained in Chapter 7 where an elementary version of the programming language Haskell is introduced.

Название: Effective Haskell: Solving Real-World Problems with Strongly Typed Functional Programming
Автор: Rebecca Skinner
Издательство: Pragmatic Bookshelf
Год: July 2023 (Book version: P1.0)
Страниц: 663
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

Put the power of Haskell to work in your programs, learning from an engineer who uses Haskell daily to get practical work done efficiently. Leverage powerful features like Monad Transformers and Type Families to build useful applications. Realize the benefits of a pure functional language, like protecting your code from side effects. Manage concurrent processes fearlessly. Apply functional techniques to working with databases and building RESTful services. Don't get bogged down in theory, but learn to employ advanced programming concepts to solve real-world problems. Don't just learn the syntax, but dive deeply into Haskell as you build efficient, well-tested programs. Haskell is a pure functional programming language with a rich ecosystem of tools and libraries. Designed to push the boundaries of programming, it offers unparalleled power for building reliable and maintainable systems. But to unleash that power, you need a guide. Effective Haskell is that guide. Written by an engineer who understands how to apply Haskell to the real world and uses it daily to get practical work done, it is your ticket to Haskell mastery. Gain deep understanding of how Haskell deals with IO and the outside world by writing a complete Haskell application that does several different kinds of IO. Reinforce your learnings with practice exercises in every chapter.

Название: Happy Learn Haskell Tutorial Volume 1
Автор: GetContented
Издательство: Leanpub
Год: January 18, 2022
Страниц: 248
Язык: английский
Формат: pdf (true) +Extras
Размер: 19.4 MB

This tutorial has a funny name, and friendly face, but it's serious about making learning Haskell fun. Volume 1 is a most enjoyable way for programming beginners to start with Haskell. It will take your reading from zero to halfway thru beginner-level, and your writing to the tiniest pre-beginner (basic) programs. Uses gradual, staged, small whole programs and fun examples with useful illustrations. Many books don't address the subject of how to craft solutions, or they just leave you with nothing but some exercises and your own intuition. Most are focussed heavily on programming language topics first, and how you use them to do things second, if at all. You'll notice we're primarily interested in you learning how to do useful things, rather than the language for its own sake. Practical things will anchor the language more in your memory and experience. Our material is cleverly crafted to gradually introduce you to the entire language. We do this over the course of the various, interesting examples which are present in every chapter, across all the volumes. We chose this way because the other way bores people to sleep, which is inconsiderate and tedious. Countless people have found programming difficult to learn because of boring examples, unpolished writing, or material being organised for language features rather than learner interest. On the other hand, we've seen great success in material that uses varied repetition, amusing useful pictures, fun examples using real-world topics and small graded steps. This guided our choices in building the entire series, one volume of which you have in your hands. If motivation really is what pulls us through practice, then we sincerely hope we've inspired motivation and excitement in you with this series, and wish you never forget the love that we all share for learning and programming. May it guide you always.

Название: Haskell Mini Reference: A Hitchhiker's Guide to the Modern Programming Languages, #10
Автор: Harry Yoon
Издательство: Coding Books Press
Год: 2023-02-22 (Revision 1.0.1)
Страниц: 375
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.2 MB

Improve Your Haskell Programming Skills in a Weekend! This book is a "mini" language reference on Haskell, which is one of the most widely used (pure) functional programming languages. We go through all salient features of the modern Haskell programming language in this book (based on the Haskell 2010 Language Report). Although it is written as a reference, you can read it more or less from beginning to end and you should be able to get the overall picture of the Haskell language if you have some prior experience with functional programming in Haskell or other ML-style functional programming languages. This book is, however, not for absolute beginners. Functional programming is different from imperative programming. But, not necessarily more difficult. Haskell is one of the most widely used functional programming languages. Haskell has been around for over 30 years, and it has influenced the language designs of numerous (modern) programming languages, including many popular imperative languages such as Python, javascript, C#, Julia, and Rust to name a few.

Название: О Haskell по-человечески, 2-е издание
Автор: Шевченко Д.
Издательство: Интернет-издание
Год: 2016
Страниц: 147
Язык: русский
Формат: pdf
Размер: 10.6 MB

Перед вами - книга о Haskell, удивительном и прекрасном языке программирования. Функциональное программирование - своеобразное гетто посреди мегаполиса нашей индустрии. Доля функциональных языков пока ещё очень мала, и многие разработчики побаиваются знакомства с этими языками, и с Haskell в особенности. Моя цель - разрушить этот страх. Вероятно, вы слышали, что Haskell - это что-то архисложное, сугубо научное и непригодное для реальной жизни? Читайте дальше и вскоре вы убедитесь в обратном.

Название: Haskell Programming: A Step-by-Step Guide to Learn, in an Easy Way the Fundamentals of Haskell Programming Language, 4nd edition
Автор: Emma William, Ariadna Moore, Rufus Stewart
Издательство: NLN LLC
Год: 2021
Страниц: 254
Язык: английский
Формат: pdf, azw3, epub
Размер: 10.1 MB

A balance of flexible and inflexible qualities make Haskell a fascinating programming language to learn and use. First, the Haskell programming language is not named after Eddie Haskell, the sneaky double-dealing neighbor kid in the ancient TV sitcom, Leave It To Beaver. Haskell is named after Haskell Brooks Curry, an American mathematician and logician. If you don't know, logicians create models to describe and define human reasoning, for example, problems in mathematics, computer science, and philosophy. Haskell’s main work was in combinatory logic, a notation designed to eliminate the need for variables in mathematical logic.

Название: Программируй на Haskell
Автор: Уилл Курт
Издательство: ДМК Пресс
Год: 2019
Страниц: 649
Язык: русский
Формат: pdf
Размер: 11.4 MB

Языки программирования зачастую отличаются лишь отдельными элементами: несколько ключевых слов, библиотек или платформенных решений. Haskell формирует абсолютно новую точку зрения. По мнению пионера программного обеспечения Алана Кея, смена парадигмы может дать 80 баллов IQ, и разработчики на Haskell соглашаются с исключительными преимуществами мышления в стиле Haskell: функционального подхода с ориентацией на типобезопасность, математическую определённость и многое другое.

Название: Чисто функциональные структуры данных
Автор: Крис Окасаки
Издательство: ДМК Пресс
ISBN: 978-5-97060-233-1
Год: 2016
Язык: Русский
Страниц: 252
Формат: pdf
Размер: 54.75 MB

Большинство книг по структурам данных предполагают использование императивного языка программирования, например, C/C++ или Java. Однако реализации структур данных на таких языках далеко не всегда хорошо переносятся на функциональные языки программирования, такие как Стандартный ML, Haskell или Scheme. В этой книге структуры данных описываются с точки зрения функциональных языков, в пей содержатся примеры и предлагаются подходы к проектированию, которые могут использоваться разработчиками при создании их собственных структур данных.

Название: Изучай Haskell во имя добра!
Автор: Миран Липовача
Издательство: ДМК Пресс
Год: 2012
Страниц: 490
Формат: DJVU
Размер: 33,9 МБ
ISBN: 978-5-94074-749-9
Качество: Отличное
Язык: Русский

Изучай Haskell во имя добра! - На взгляд автора, сущность программирования заключается в решении проблем. Программист всегда думает о проблеме и возможных решениях - либо пишет код для выражения этих решений.