HiTeX Press, 2024. — 594 p. — ISBN: B0DKFNPC44 "Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming" is an authoritative guide for programmers who aspire to harness the power of Idris, a cutting-edge functional programming language known for its robust type system and theorem-proving capabilities. This book is meticulously crafted to equip...
Independently published, 2024. — 244 p. — ISBN-13: 978-1661212568. This version was published on 2024-08-11 All software design is composition: the act of breaking complex problems down into smaller problems and composing those solutions. Most developers have a limited understanding of compositional techniques. It’s time for that to change. In Composing Software , Eric Elliott...
Manning Publications, 2016. — 362 p. — ISBN: 978-1633430105. Functional Reactive Programming teaches the concepts and applications of FRP. It offers a careful walk-through of core FRP operations and introduces the concepts and techniques you'll need to use FRP in any language. Today's software is shifting to more asynchronous, event-based solutions. For decades, the Observer...
Addison-Wesley Professional, 2023. — 384 p. — (Robert C. Martin Series). — ISBN 0138176396. A Practical Guide to Better, Cleaner Code with Functional Programming. In Functional Design , renowned software engineer Robert C. Martin ("Uncle Bob") explains how and why to use functional programming to build better systems for real customers . Martin compares conventional...
2nd Edition. — Apress Media LLC., 2023. — 169 p. — ISBN-13: 978-1-4842-9486-4. Master functions and discover how to write functional programs in R. In this book, updated for R 4, you’ll learn to make your functions pure by avoiding side effects, write functions that manipulate other functions, and construct complex functions using simpler functions as building blocks. In...
Apress Media, LLC, 2023. — 128 p. — ISBN 978-1-4842-9259-4. Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties. The first part of the book...
Manning, 2022. — 520 p. — ISBN 1617291838, 9781617291838. There’s no need to fear going functional! This friendly, lively, and engaging guide is perfect for any perplexed programmer. It lays out the principles of functional programming in a simple and concise way that will help you grok what FP is really all about. In Grokking Functional Programming you will learn: Designing...
Pearson, 2022. — 258 p. The functional and concurrent programming language features supported by modern languages can be challenging, even for experienced developers. These features may appear intimidating to OOP programmers because of a misunderstanding of how they work. Programmers first need to become familiar with the abstract concepts that underlie these powerful features....
O’Reilly Media, 2022. — 48 p. — ISBN 9781098111748, 1098111745. Learn how to think and write code like a functional programmer. With this practical guide, software developers familiar with object-oriented programming will dive into the core concepts of functional programming and learn how to use both functional and OOP features together on large or complex software projects....
Manning Publications, 2021. — 593 p. — ISBN 978-1617296208. Grokking Simplicity is a friendly, practical guide that will change the way you approach software design and development. Distributed across servers, difficult to test, and resistant to modification—modern software is complex. Grokking Simplicity is a friendly, practical guide that will change the way you approach...
Leanpub, 2020. — 238 p. — ISBN: 978-1661212568. This version was published on 2020-05-05 All software design is composition: the act of breaking complex problems down into smaller problems and composing those solutions. Most developers have a limited understanding of compositional techniques. It’s time for that to change. In “Composing Software”, Eric Elliott shares the...
Wiley, 2019. — 320 р. — ISBN: 978-1-119-52750-3. Functional programming mainly sees use in math computations, including those used in Artificial Intelligence and gaming. This programming paradigm makes algorithms used for math calculations easier to understand and provides a concise method of coding algorithms by people who aren't developers. Current books on the market have a...
O’Reilly Media, 2014. — 150 p. — ISBN: 9781449368173. If you have an imperative (and probably object-oriented) programming background, this hands-on book will guide you through the alien world of functional programming. Author Joshua Backfield begins slowly by showing you how to apply the most useful implementation concepts before taking you further into functional-style...
Pragmatic Bookshelf, 2017. — 284 p. Explore functional programming and discover new ways of thinking about code. You know you need to master functional programming, but learning one functional language is only the start. In this book, through articles drawn from PragPub magazine and articles written specifically for this book, you'll explore functional thinking and functional...
The Pragmatic Programmers, LLC., 2013. — 253 p. — ISBN13: 978-1-937785-47-5. На англ. языке. Functional languages have their own patterns that enable you to solve problems with less code than object-oriented programming alone. This book introduces you, the experienced Java programmer, to Scala and Clojure: practical, production-quality languages that run on the JVM and...
Комментарии