Book Image

Mastering Clojure

By : Akhil Wali
Book Image

Mastering Clojure

By: Akhil Wali

Overview of this book

Clojure is a general-purpose language from the Lisp family with an emphasis on functional programming. It has some interesting concepts and features such as immutability, gradual typing, thread-safe concurrency primitives, and macro-based metaprogramming, which makes it a great choice to create modern, performant, and scalable applications. Mastering Clojure gives you an insight into the nitty-gritty details and more advanced features of the Clojure programming language to create more scalable, maintainable, and elegant applications. You’ll start off by learning the details of sequences, concurrency primitives, and macros. Packed with a lot of examples, you’ll get a walkthrough on orchestrating concurrency and parallelism, which will help you understand Clojure reducers, and we’ll walk through composing transducers so you know about functional composition and process transformation inside out. We also explain how reducers and transducers can be used to handle data in a more performant manner. Later on, we describe how Clojure also supports other programming paradigms such as pure functional programming and logic programming. Furthermore, you’ll level up your skills by taking advantage of Clojure's powerful macro system. Parallel, asynchronous, and reactive programming techniques are also described in detail. Lastly, we’ll show you how to test and troubleshoot your code to speed up your development cycles and allow you to deploy the code faster.
Table of Contents (19 chapters)
Mastering Clojure
Credits
About the Author
About the Reviewer
www.PacktPub.com
Preface
References
Index

Diving into logic programming


In Clojure, logic programming can be done using the core.logic library (https://github.com/clojure/core.logic/). This library is a port of miniKanren, which is a domain-specific language for logic programming. miniKanren defines a set of simple constructs for creating logical relations and generating results from them.

Note

miniKanren was originally implemented in the Scheme programming language. You can find out more about miniKanren at http://minikanren.org/.

A program written using logic programming can be thought of as a set of logical relations. Logical relations are the elementary building blocks of logic programming, just as functions are for functional programming. The terms relation and constraint are used interchangeably to refer to a logical relation. The core.logic library is in fact an implementation of constraint-based logic programming.

A relation can be thought of as a function that returns a goal, and a goal can either be a success or a failure...