Logic and functional programming books

9.54  ·  2,103 ratings  ·  657 reviews
Posted on by
logic and functional programming books

Functional programming books overview

A style of programming that emphasizes the evaluation of expressions, rather than execution of commands. The expressions in these language are formed by using functions to combine basic values. A Gentle Introduction to Haskell. Applicative Programming and Specification. Computational Semantics and Type Theory. Developing Applications With Objective Caml. Foundations of Computer Science.
File Name: logic and functional programming books.zip
Size: 48686 Kb
Published 13.01.2019

Functional Programming for Beginners

Skip to main content Functional Programming. Functional Programming in Scala.

Functional programming books overview

This book is a step-by-step introduction to functional programming in Scheme. It takes the reader on an entertaining and informative tour through the language. A comprehensive first course in Scheme , covering all of its major features: abstraction, functional programming, data types, recursion, and semantic programming. The fourth edition has been substantially revised and expanded to bring the content up to date with the current Scheme standard, the Revised6 Report on Scheme. This book works hard to make the somewhat tricky ideas of Scheme accessible. It stresses small sections on key language features, from basic functions, variables, and onward to recursion and other functional programming concepts. This thoroughly updated edition of The Scheme Programming Language provides an introduction to Scheme and a definitive reference for standard Scheme, presented in a clear and concise manner.

Unfortunately, I don't have time anymore to update this list, the last additions were about 2 years ago The first variant of this article was published in the first issue of Russian magazine " Practice of functional programming ", but I decided to continue to maintain it, as more books were released Russian version of this article also includes description of books published in Russian. You can leave comments and suggestions in the comment widget on this page, or send them to me via e-mail Updates to this page usually happening not so often — every months. Descriptions for the books are relatively short — just to give an overview of the book's topics, otherwise this article will become too big. For some of books there are more detailed reviews published in my blog. You can also follow my reviews on Goodreads. If you will order some of these books, please if possible , use links from this page — this allows me to buy new books and add them to review.

After a long time learning and working with object-oriented programming, I took a step back to think about system complexity. Doing some research, I found functional programming concepts like immutability and pure function. Those concepts are big advantages to build side-effect-free functions, so it is easier to maintain systems — with some other benefits. In this post, I will tell you more about functional programming, and some important concepts, with a lot of code examples. This article uses Clojure as a programming language example to explain Functional Programming.



3 thoughts on “

  1. Before reading this book, I have learnt functional programming from Haskell . is the study of logic and proof functions, and the logic behind programming and.

Leave a Reply