Functional Programming in QI

by Mark Tarver

Since its inception in 2005, Qi has generated great interest over the internet. Here for the first time is the hardcopy exposition of the language, remastered for the issue of Qi II in 2008. This second edition fixes the language standard for Qi.

The book is both a comprehensive introduction to Qi and to functional programming. The first half of the book covers foundational material and is suitable for an undergraduate introduction to functional programming.

The second half of the book exposes the theoretical foundations of Qi, including lambda calculus, type theory and logic programming and concludes with Qi applications in computational logic and expert systems.

Genres: Computer Science

440 pages, Paperback

First published January 1, 2008

Reviews

[Peteris Erins · Rating 4 out of 5]

Disguised as a Qi manual, this book has a lot to tell about functional programming, non-determinism, types, pattern matching, logic programming, proof, expert systems among other things.