Leanpub Header

Skip to main content

Filters

Category: "Functional Programming"

Functional Programming

  1. Certainty by Construction
    Certainty by Construction
    Software and Mathematics in Agda
    Sandy Maguire
    No Description Available
  2. Rust Blockchain: A Full-Stack Implementation Guide
    Rust Blockchain: A Full-Stack Implementation Guide
    From whitepaper to running blockchain
    Bill Kunyiha

    Most blockchain books teach the theory. This one walks you through building a complete Bitcoin-style blockchain in Rust, end to end — cryptography, consensus, networking, persistence, REST API, desktop wallets, and Kubernetes deployment.

  3. Gleam in Depth
    Gleam in Depth
    A Practical Guide to Building Robust Concurrent Systems
    Steve Publications

    Build a strong foundation in Gleam and learn how to turn its simplicity into reliable, concurrent systems. From language basics and the BEAM to OTP, web development and deployment, this practical guide uses clear explanations and runnable examples to help you build software that is safe, scalable and ready for production.

  4. Java Challengers
    Java Challengers
    Master the Java Fundamentals with fun Java Code Challenges! Become a Java Challenger!
    Rafael Chinelato del Nero

    Master the Java fundamentals and have a lot of fun solving the Java code Challenges of this book. You will see if you really know core Java concepts well. There are more than 70 well-elaborated Java code Challenges for you to challenge yourself and refine your Java skills to the very best so you can get rid of bugs far more easily.

  5. Programming in System Fω using Dhall

    Why is Dhall is the most powerful and safe language for templated configuration files? Because Dhall implements System Fω, the type system at the core of Haskell - the most powerful type system short of adopting full dependent types. I found Dhall to be a delightfully lucid vehicle for learning the core patterns of functional programming. Non-Turing-completeness for the win!

  6. Pragmatic Type-Level Design
    Pragmatic Type-Level Design
    Practical introduction to type-level programming: design principles, design patterns, methodologies, approaches
    Alexander Granin

    An approachable, well-written, practice-oriented, academism-free guide into programming with types. How to build useful real-world type-level programs with low complexity and low risks.

  7. Functional programming in Modern Java

    Write code that you can understand without holding the entire system in your head. This book shows you how Java's modern functional features—records, sealed types, lambdas, streams—combine into a powerful approach to design. You'll learn: • How to eliminate race conditions without synchronized blocks • How to write tests that test business logic, not mock frameworks • How to compose complex behaviors from simple, reusable functions • How to manage deeply nested immutable data without boilerplate • How to adopt functional patterns incrementally in existing codebases Written for working developers. Filled with production-ready code examples.

  8. Functional Design and Architecture (Early Edition, 2020)
    Functional Design and Architecture (Early Edition, 2020)
    Building real programs in static functional languages: application architectures, design patterns, best practices and approaches
    Alexander Granin

    Software Design in Functional Programming, Design Patterns and Practices, Methodologies and Application Architectures. How to build real software in Haskell with less efforts and low risks. The first complete source of knowledge.

  9. The OCaml Handbook
    The OCaml Handbook
    A Complete Guide from First Program to Production Systems
    Steve Publications

    Discover the power and elegance of OCaml, from your very first program to production-ready applications. The OCaml Handbook combines clear explanations, practical examples, and real-world insights to help students and experienced developers alike master one of the most expressive programming languages in use today.

  10. NixOS in Production
    NixOS in Production
    The NixOS handbook for professional use ONLY
    Gabriella Gonzalez

    Want to use NixOS "for real" at work? Interested in learning one of the hottest emerging DevOps technologies? Jumpstart your professional career by reading this book authored by a professional user of NixOS.

  11. Practical FP in Scala
    Practical FP in Scala
    A hands-on approach
    Gabriel Volpe

    A practical book aimed for those familiar with functional programming in Scala who are yet not confident about architecting an application from scratch. Together, we will develop a purely functional application using the best libraries in the Cats ecosystem, while learning about design patterns and best practices.

  12. Unwrapping Monads & Friends
    Unwrapping Monads & Friends
    Shining Light on Functional Programming's Scariest Concepts
    Kyle Simpson

    Are you scared by mathematical symbols or formal terms like "monad"? Unwrapping Monads & Friends offers a clear, approachable path through functional programming’s most intimidating concepts—no math degree required. If you've ever said "I kind of get it, but not really," this is the guide that finally makes it click.

  13. An Elm Primer for React Developers
    An Elm Primer for React Developers
    The Best Way to Learn Real Functional Programming
    Christian Ekrem

    Tired of React runtime errors despite TypeScript? Elm guarantees zero runtime exceptions—if it compiles, it works. This practical guide shows React developers how Elm's strict functional programming approach eliminates entire classes of bugs while teaching you real FP concepts that transfer to any language. Learn the pattern that inspired Redux, discover compile-time safety that catches errors TypeScript misses, and see side-by-side code comparisons from a production codebase with 150,000+ lines of Elm. Your React knowledge is your advantage—this book meets you where you are. Why this book exists: Christian believes Elm is the fastest and most effective way for developers to truly learn functional programming—not watered-down FP patterns, but real, uncompromising functional thinking. Whether you adopt Elm professionally or not, learning it will make you a better developer in any language. This book is his way of sharing that insight with React developers who are ready to level up.

  14. Essential F#
    Essential F#
    Ian Russell

    Everywhere you look, programming languages are gaining functional features. The problem is that it's not the individual features that make functional programmers happy, it's the way that your approach to writing software and the features work together to help you write simple code to solve interesting problems. This concise, practical ebook will help you discover why F# is such a popular language with those who have spent time learning its secrets. 

  15. Thinking Functionally in PHP

    Approaching PHP from a functional perspective. Yes, really. (With just a pinch of category theory.)