Leanpub Header

Skip to main content

Filters

Category: "Functional Programming"

Functional Programming

  1. Abstraction Logic
    Abstraction Logic
    A New Foundation for Reasoning, Computing, and Understanding
    Steven Obua

    Abstraction logic is a new logic combining exceptional simplicity with astonishing generality. It combines the best features of first-order logic and higher-order logic, while avoiding their respective drawbacks. It manages to do so because it is based on a simple understanding of the mathematical universe, its operations and, in particular, its operators.

  2. Foundations of Clojure
    Foundations of Clojure
    Rakhim Davletkaliyev

    Explore the essence of Clojure. Learn about higher order functions, composition, immutable data structures, macros, iteration, abstractions and other fundamental aspects of Clojure, LISP and functional programming.

  3. Mastering TypeScript Core Utility Types
    Mastering TypeScript Core Utility Types
    The Ultimate Guide from Beginner to Pro: 300+ Examples, Practical Exercises, and Best Practices for Mastering Advanced TypeScript
    Kristiyan Velkov

    The Ultimate Guide from Beginner to Pro: 300+ Examples, Practical Exercises, and Best Practices for Mastering Advanced TypeScript

  4. 100 LINQ PUZZLES
    100 LINQ PUZZLES
    for Job Interviews and Certification Exams
    Cristian Scutaru

    LINQ Puzzles for Job Interviews and Certification Exams!

  5. Modern C++23 QuickStart Pro
    Modern C++23 QuickStart Pro
    Advanced programming including variadic templates, lambdas, async IO, multithreading and thread sync
    GitforGits | Asian Publishing House

    Programming in the modern era requires power and efficiency, and C++23 signifies the beginning of that era. This book captures that demand. To take your C++ skills to the next level, This book is about creating and breaking down real-world examples. You'll discover techniques that you can immediately apply to your own work.

  6. 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!

  7. Quality Code with Go
    No Description Available
  8. Programación con CLisp
    Programación con CLisp
    Sergio Adrian Martin

    Este libro explica las características de Clisp como lenguaje open source, su particular sintaxis y sus aplicaciones.

  9. Functional Programming in TypeScript: An Approachable Guide
    Functional Programming in TypeScript: An Approachable Guide
    functional programming through the lens of TypeScript
    Adegoke Akintoye

    Functional programming through the lens of TypeScript

  10. Web Development from Beginner to Paid Professional, Volume 3
    Web Development from Beginner to Paid Professional, Volume 3
    Learn JavaScript Algorithms & Data Structures Step By Step. Examples, Practice Exercises and Projects Included.
    Bolakale Aremu

    This book is volume 3 of Web Development from Beginner to Paid Professional. In this volume, you'll learn JavaScript Algorithms and Data Structures. You'll learn the fundamentals of JavaScript including variables, arrays, objects, loops, and functions.

  11. Result Library for Java
    Result Library for Java
    The Definitive Guide
    Guillermo Calvo

    Wave goodbye to slow exceptions and embrace clean, efficient error handling by encapsulating operations that may succeed or fail in a type-safe way.

  12. Parallel Python with Dask
    Parallel Python with Dask
    Make code reusable and deployed for high performance web apps
    GitforGits | Asian Publishing House

    "Parallel Python with Dask" is not just a book for Python developers or data scientists. It's for anyone who wants to unlock the potential of parallel computing, whether you are a student, researcher, or professional. It also covers advanced topics like fault tolerance and scaling, essential for building robust and scalable parallel applications.

  13. Accelerated Linux API for Software Diagnostics
    Accelerated Linux API for Software Diagnostics
    With Category Theory in View
    Dmitry Vostokov

    The book contains the full transcript of Software Diagnostics Services training with 16 hands-on exercises on various topics related to Linux API.

  14. + 50 Math Puzzles - Solved using functional Julia
    + 50 Math Puzzles - Solved using functional Julia
    Solved using functional Julia
    Ace Alumni Ore

    “And there is really a practical utility in puzzle-solving. Regular exercise is supposed to be as necessary for the brain as for the body, and in both cases it is not so much what we do as the doing of it from which we derive benefit.” writes Henry Dudeney on the Introduction of The Canterbury Puzzles.

  15. Certainty by Construction
    Certainty by Construction
    Software and Mathematics in Agda
    Sandy Maguire
    No Description Available