[Qi] Fwd: book deal goes through with printer

["Kyle R. Burton" <kyle.burton@gmail.com>]

Don't know if any of you guys are following Qi, but the best way I can
paraphrase it's core concept is: Qi re-defines what 'strongly typed'
means for programming languages.  One of the things the tutorial goes
through is extending the type-system by creating a Prime Number type.
That type then becomes part of the compile-time analysis and type
checking.

Kyle


---------- Forwarded message ----------
From: Mark Tarver <dr.mtarver@ukonline.co.uk>
Date: Fri, Sep 19, 2008 at 10:49 AM
Subject: book deal goes through with printer
To: Qilang <Qilang@googlegroups.com>



"Functional Programming in Qi" (second edition) has now been sent to
the publisher.  Projected retail price is (est.) £20 plus postage and
packing.  It will be ordered online via Lambda Associates. The new
version includes appendix material on a revamped Qi Prolog and Qi YACC
and two new chapters - one on implementing classes in Qi and the other
on logic programming compilation techniques in Qi.  This is a complete
exposition of the language - standards and implementation techniques
included. Total page length (371 pages) is actually hardly longer than
the first edition since the formatting has changed.

>From the back cover blurb
______________________________
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 explores the theoretical
foundations of Qi,
including lambda calculus, type theory and logic programming and
concludes with Qi applications in computational logic and expert
systems.
________________________________

Note that the book is being produced in runs of 50-100.  The first run
is only 50 copies.   Hence I'll put a flag up here when it is
available about 12 hours or so before I put it up in the main groups
to give you a chance to get your own copy.  There will be later runs
and *anybody who orders will get a copy*; the gap between runs is only
a few days.  The size of the runs is determined by the orders.

Mark




-- 
------------------------------------------------------------------------------
Wisdom and Compassion are inseparable.
 -- Christmas Humphreys
kyle.burton@gmail.com http://asymmetrical-view.com/
------------------------------------------------------------------------------