[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Chicken-users] Chicken Gazette - Issue 21
[Chicken-users] Chicken Gazette - Issue 21
Wed, 23 Nov 2011 16:11:59 +0000
Mozilla-Thunderbird 22.214.171.124 (X11/20090707)
Dear Chicken Fans,
I am proud to give you issue 21.
Read it here in plaintext or a fully hyperlinked version at
_/_/_/ _/ _/ _/
_/ _/_/_/ _/_/_/ _/ _/ _/_/ _/_/_/
_/ _/ _/ _/ _/ _/_/ _/_/_/_/ _/ _/
_/ _/ _/ _/ _/ _/ _/ _/ _/ _/
_/_/_/ _/ _/ _/ _/_/_/ _/ _/ _/_/_/ _/ _/
--[ Issue 21 ]------------------------------------- G A Z E T T E
brought to you by the Chicken Team
== 0. Introduction
Welcome to the 21st issue of the Chicken Gazette.
In this issue we have updates on several parts of the Chicken
community, including trips, meetups, eggs, testing as well as
developments in the core itself. Over in the Omelette section
we have the second installment of Alaric Snell-Pym's much coveted
"financial book-keeping in scheme" series.
Rounding up all the changes since the last edition has been a rather
task which wouldn't have been possible without the friendly help of all my
contributors and fellow editors in the #chicken chat channel , so many, many
thanks are due to them. Also, if you haven't already joined us in
in and chat about Chicken specific aspects of scheme.
Enjoy and look out for issue 22 soon!
== 1. Chickens Out & About
=== Nuremberg (December 2011)
Christian Kellermann wrote (2011/10/22 17:38Z) to confirm the planned
Hacking Sprint scheduled for the beginning of December.
Interested and available Chickenauts will meet in Nuremberg on the weekend
of 9th, 10th and 11th of December. If you haven't done so already, you can
let us know that you will be joining us by placing a note at the foot of
the wiki page (https://wiki.call-cc.org/chicken-sprint-nuremberg). If you
can't attend in person then we'll be keeping an eye on IRC so feel free
to book yourself a slot in your cave at home and join us throughout the
weekend and into the evenings, Central European Time.
For those of you keeping score, this will bring the total number of
Chicken meets this year to 5 (FOSDEM, Cologne, FrOSCon, T-DOSE and
=== Cologne (March 2011)
In March, Chickens met up at the Chaos Computer Club in Cologne, Germany
Chicken Hacking Weekend. Here's Moritz Heidkamp's report on what they got up
The usual suspects Peter Bex, Felix Winkelmann, Christian Kellermann and
for two and a half days of exchanging ideas and hacking. While we also
good share of bugs our main goal for this weekend was to create a working
prototype of a distributed egg system. By the end of Sunday, mostly
Peter's effort, we had something that was already pretty similar to what
use today see his announcement on the mailing list
Apart from that some interested visitors stopped by every now and then.
nice chats, food and the occasional beers were had which hopefully helped to
spread the Chicken word.
=== FrOSCon (August 2011)
At FrOSCon in August we sported not only a project booth but a
presentation room as well so we took the opportunity to lay on a couple of
talks for the delegates.
Moritz Heidkamp presented "An introduction to Lisp : Why to talk to
in parentheses" whilst Christian Kellermann offered "A guided tour
republic of CHICKEN : get up to speed with the practical scheme
implementation". Christian has been keeping his talk up-to-date and you can
find the latest version on the wiki
Naturally, there are pictures
=== T-DOSE 2011 (November 2011)
European Chickens met up at T-DOSE in Eindhoven, The Netherlands on the
of the 5th, 6th and 7th of November. Peter Bex arranged for us to
"Chicken Scheme Project Booth" and we subsequently lured a few Dutch hackers
into #chicken on IRC.
Christian Kellermann knocked up some impressive demos of PONG
(http://en.wikipedia.org/wiki/Pong) using Chicken's Cairo Egg.
Alaric Snell-Pym finished off the tests for his Ugarit backup egg which
him to release version 1.0.
...and Moritz Heidkamp started on a replacement for the Environments Egg
has unfortunately has been overtaken by developments in the Chicken
Pictures are up in the usual place
(http://www.call-cc.org/pictures/t-dose2011/) on the Chicken website.
== 2. Chicken Talk
=== R7RS to be dedicated to the memory of John McCarthy
Matt Welland wrote in with the sad news that the "Father of Lisp", John
McCarthy had sadly passed away (2011/10/25 15:59Z). John Cowan, member
R7RS working group, told us that R7RS, the upcoming version of the Scheme
standard, would be dedicated to his memory (16:22Z).
=== Parallel build patch for Chicken Makefile
A lively discussion broke out on the Chicken Users mailing list regarding
parallelisation of the Chicken build process.
Vitaly Magerya supplied a patch (2011/10/06 12:37Z) to fix some problems
been having with builds failing when specifying the `-j` to `gmake`. Mario
Domenech Goulart noted that this functionality was already being
ticket 526 (2011/10/06 12:39Z) and Vitaly was keen to see it committed
as he maintains the FreeBSD port and people had been asking him for parallel
builds (2011/10/06 14:24Z). Whilst still keen, Mario advised caution as he
wanted to see it proven (2011/10/06 14:40Z).
Vitaly was keen to push things forward (2011/10/06 15:45Z) and offered
continued testing under FreeBSD 8.2-RELEASE on x86_64. He noted that,
as he could tell, `gmake check` passed when using his patch, modified with
Moritz Wilhelmy's suggestions. Moreover, he offered to try the patch from
ticket 526 as well.
Mario suggested that using the ticket 526 patch was a good idea as it
far as he knew, received testing under Linux and MacOSX.
Toby Thain spoke in favour of the patch, saying that a working parallel
gives confidence that the Makefile is, in fact, correct. He offered to
three platforms, namely Solaris 10 SPARC SMP and both PowerPC and Intel
of MacOSX SMP.
Vitaly updated the ticket 526 patch to the then current sources and
that the build worked at `-j8` and the tests passed in his FreeBSD
8.2-RELEASE,x86_64 environment. He did, however, note that
parallelisation does not work
for the install phase (2011/10/08 12:29Z).
Toby Thain reported successful builds on the 64-bit version MacOSX-10.6
as MacOSX-10.5 on a dual-processor G5. He noted "`make -j8` reduces the make
step from 3:39 to 0:47 on my 8-core system". Unfortunately `make check`
pass on either system, with or without the patch (2011/10/12 01:59Z &
Christian Kellermann noted that it might necessary to install the compiled
binaries (2011/10/15 20:07Z) however, Toby did not report back as to whether
this had any effect on the results of the tests.
=== 64-bit SPARC Build
Nicolas Pelletier came to the mailing list unable to build for Solaris 10
running on SPARC64 due to a missing `apply-hack.S` (2011/11/09 11:48Z).
It turned out that there was no SPARC64 support for Chicken at all and John
Cowan came to the rescue (15:36Z) with instructions for how to add it to the
supported architectures list and disable the apply hack. Christian
chimed in with affirmations around the utility of using Chicken without an
apply hack (15:54Z)
Nicolas struggled with disabling the apply hack (2011/11/10 11:10Z) due
Two Lies Of The README. Over the course of the next few minutes
Mario Domenech Goulart confirmed that the lies, which related to the way
bootstrap compilers are distributed and invoked, had already been fixed
Meanwhile, Toby Thain tried the build on his SPARC64 (12:40Z) and discovered
that GNU make 3.82 is required as well as the addition of `-lrt` in
`Makefile.solaris`. Toby's build eventually succeeded and appeared to be
albeit having only used 1 of his 4 CPUs and with a couple of `make check`
Later on the Thursday, Jim Ursetto noted (16:47Z) that the parallel
in ticket 526 still works on Chicken 126.96.36.199-st. Toby confirmed that the
did indeed work on Solaris and build time was reduced to 10 just of his
minutes from the original 40. Of course, user time across the four CPUs was
still in the region of 40 minutes in total. :-)
To round everything off, Toby offered binary SYSV packages for Solaris 10 on
SPARC64. Contact him via the mailing list if you're interested.
=== Static Linking & Standalone Binaries.
Serg Kozhemyakin asked whether it is possible to build static binaries after
having trouble using the `-static` flag to `csc`. He also wondered about
building standalone binaries for Windows. Christian Kellermann advised
static linking as many of the eggs cannot cope with it. He did, however,
suggest that the `-deploy` option may well solve both issues as it
all the DLLs (including the Chicken runtime and other shared objects) are
bundled together into a single directory.
=== Tracing with `,tr` moved to an egg
Mario Domenech Goulart helped Curtis Cooley in his search for the `,tr`
command. The functionality had been moved from the core into an egg in
=== `gmake check` sometimes fails.
Pekka Niiranen wrote to tell us about problems with `gmake check` in Chicken
4.7.0-st on OpenBSD 5.0.
Jim Ursetto said that one of the failures had been fixed in the stability
branch after the Chicken 4.7.0-st release and he filed ticket 724 for the
segmentation fault issue.
Peter Bex mentioned that the ticket 724 segmentation fault had also been
observed under NetBSD and Arch Linux. He said that "It's known to be broken"
but that it is not properly reproducible as it only happens some of the time
== 3. Salmonella and other tests
Salmonella is Chicken's egg testing framework.
For some time we have had daily salmonella runs of the master development
version of Chicken under Linux on x86. Throughout November,
also been regularly experiencing the runs. Mario Domenech Goulart who
the testing effort at http://tests.call-cc.org/, as well as the Salmonella
codebase itself, is always on the lookout for more feeds. We are aware that
testing on other platforms is being organised but if you've got a private
Salmonella running regularly on an interesting operating system or
Chicken then give us a shout and we'll see if we can get it included
other reports on http://tests.call-cc.org/
There is also an entirely new version of Salmonella over at github so
too. The new version is more modular -- some features that were previously
built in salmonella are now independent eggs (e.g.,
salmonella-feeds). There's also a new egg that provides a new feature:
salmonella-diff which generates HTML output to render differences
Here's short list of new salmonella features:
* egg lint mode: salmonella can now easily check for common egg
mistakes before the code hits the egg repository. Just run `salmonella
--this-egg` from the egg directory
* a new execution mode that can significantly reduce salmonella
execution times. In this mode, salmonella won't set the temporary egg
installation directory empty before installing new eggs. While this
mode won't spot egg dependencies problems, it can drastically effect
the execution time
* a new tool to take advantage of multi-core systems
* a simple text mode log file viewer (`salmonella-log-viewer`)
reverse dependencies graphs. That can be useful, for example, to
ilustrate how many eggs depend on a given egg.
Alaric Snell-Pym is one of the people who has been setting up a Chicken
environment. After some discussion, he chose Chicken 4.5.0 under NetBSD
(2011/10/06 21:18Z). He's been keeping track of all the Egg
plans to publish them as a list of NetBSD pkgsrc packages.
Thanks to bevuta IT GmbH (http://www.bevuta.com/), the CHICKEN test
infrastructure will soon have more machines available to test the CHICKEN
compiler, tools and eggs. A new salmonella environment for Linux/x86-64 is
currently being set up.
In addition to salmonella, work on the Chicken Playground project has been
resumed. The Chicken Playground project provides environments that can
by tools like `chroot` to test CHICKEN tools and eggs. Those environments
contain tools and libraries required to build and test most eggs.
Linux/x86 environment is available. A Linux/x86-64 environment is under
development and should be available soon.
The new test infrastructure, based on new versions of salmonella and
Chicken Playground and running on new platforms will probably go into
production during the Nuremberg hackaton.
== 4. Core Development
Since the last issue most core development took place in the
"scrutinizer", the flow-analysis pass used for determining the number and
types of values as they propagate through Scheme expressions. The results
of this analysis is now used to replace various primitive operations by
more efficient code, taking advantage of the obtained type information.
Over the last months the typing and rewrite rules of all core library
procedures (which can be found in the installed "types.db" file) have been
heavily improved and debugged. Depending on the nature of the code, these
optimizations can result in significant performance improvements. For more
information on specialisation see the respective section at readscheme.org
A couple of months ago the CHICKEN team has formalised the development
a bit as can be seen on its wiki page
(http://wiki.call-cc.org/development-process). Others already joined in the
discussion of patches on the chicken-hackers mailing list and you are
welcome to join in.
As more people are trying git checkouts, the question of how to bootstrap
a git checkout properly keeps reappearing on the mailing list. So the
* Build & install a stable release (http://code.call-cc.org) or a
development snapshot (http://code.call-cc.org/dev-snapshots)
* Checkout chicken-core from git (see http://code.call-cc.org)
* Build a boot-chicken: `make boot-chicken`
* Use this chicken to build the real chicken: `make
* Install the chicken and run tests: `make install && make check`
== 5. Stability is for Chickens
Jim Ursetto has set up a Chicken Stability Branch effort over at
http://wiki.call-cc.org/stability. Jim describes it as "a fork of the
Scheme core which backports certain useful bugfixes and minor features
future to 'stable' maintenance versions". Releases for stability/4.7.0 have
version numbers like `4.7.0.x-st` (for example, `188.8.131.52-st`). If you're
interested in running a stable Chicken in production, we recommend that you
check out Jim's work.
== 6. Hatching Farm
There has been a lot of egg activity over the course of the past few
months. I've selected a few, focussing on ones that were announced or
discussed on the mailing list (https://wiki.call-cc.org/mailing-lists).
By far the most notable thing to have happened is the
announcment and implementation of the new distributed egg system
written by Chicken Hackers during the Cologne Chicken Meetup in March.
* Ivan Raikov's proposal
to recategorise eggs filed under "Uncategorized or invalid" and
"Miscellaneous" was met with enthusiasm with a number of people
to help as well as Peter Bex suggesting that the category list be
(2011/10/11 08:12Z). Peter specifically suggested the addition of a
* Thomas Chust announced some new eggs: bindings to WebKitGTK+ and
binding for the BerkelyDB library
* Christian Kellermann fixed some bugs in the Cairo Egg and tagged version
* Alan Post patched the Sandbox Egg to bring it up-to-date with API
in the Chicken core. His patch was duly accepted.
* Moritz Heidkamp released the stemmer egg which provides bindings
for the Snowball project's (http://snowball.tartarus.org/) libstemmer.
== 7. Donations
It's now possible to donate to your favourite scheme (as long as it's
We've already had two donations since the account opened a month ago so
get donating before it fills up! :-)
Thank you Sven Hartrumpf and Ross Lonstein!
== 8. Omelette Recipes
This issue's omelette is the second installment of Alaric Snell-Pym's
book-keeping in scheme" series. If you missed the first part, check it out
Now, to make things easy, I parse the ledger by just defining a heap of
procedures and macros, and then diving into the ledger with eval. It's
just Scheme code that, as it is executed, builds up the data structures.
We'll need some helpers to set up third parties properly:
(define (define-third-party name address group)
(string-append name ".balance")
(string-append name ".expenses")
name address balance-account expenses-account)))
(account-third-party-set! balance-account third-party)
(account-third-party-set! expenses-account third-party)
(set! (hash-table-ref *third-parties* name) third-party)))
Now we can work on a way of representing bills and invoices. A nice input
syntax would be:
(define-third-party "clients.widgetcorp" "123 Any Street" 'clients)
(register-account! (make-account "income.work" 'delta 'income #f))
(register-account! (make-account "expenses.travel" 'delta 'travel #f))
(register-account! (make-account "stock.balance" 'balance 'stock #f))
(register-account! (make-account "cash" 'balance 'cash #f))
(register-account! (make-account "taxes.vat" 'balance 'vat #f))
(invoice "INV005" "clients.widgetcorp" (ymd 2011 04 25)
(service "income.work" 800 (vat20) "Router setup and installation")
(sale "stock.balance" 350 (vat20) "1 of LX300 router, serial number
(expense (ymd 2011 03 02) "expenses.travel" "cash" 35 () "Travel to
The idea is that the sales taxes incurred on a line are specified as a
list after the amount. If there's no taxes due, then we use an empty list.
Otherwise we have a list of taxes, which are either plain tax names (to
have the system compute the tax due itself) or two-element lists joining
a tax name to a precomputed amount (often, when we pass on an expense, we
know the tax we paid as it's on the receipt, so we should use that (even
if they made a mistake working it out) rather than calculating our own).
A nice way to implement that might be to make "invoice" a macro that
absorbs its first three arguments as an invoice code, the name of the
third party to invoice, and the date; then treats the rest as a body to
be wrapped in a dynamic environment in which a parameter allows `sale`,
`expense`, and `service` to add lines to the invoice. This is easily
(define-record date year month day)
name date third-party lines)
(define (register-line! invoice line)
(cons line (invoice-lines invoice))))
;; Compute sales taxes
(define (compute-tax tax amount)
((vat20) (* 0.20 amount)) ;; Current UK rate
((vat15) (* 0.15 amount)) ;; Previous UK rate
((vat175) (* 0.175 amount)))) ;; Previous UK rate
;; Expand a list of taxes, some of which might be bare symbols
;; naming taxes to work out, or (<tax> <amount>) lists for
;; ready-computed taxes, into an alist of tax names to tax amounts
(define (resolve-taxes amount taxes)
(map (lambda (tax-desc)
(if (list? tax-desc)
(cons (car tax-desc) (cadr tax-desc))
(cons tax-desc (compute-tax tax-desc amount))))
income-account amount taxes description)
((service income-account amount taxes description)
(register-service! (*current-invoice*) income-account amount
(define (register-service! invoice income-account amount taxes
(resolve-taxes amount taxes)
(register-line! invoice service)))
stock-account amount taxes description)
(define (register-sale! invoice stock-account amount taxes description)
(resolve-taxes amount taxes)
(register-line! invoice sale)))
((sale stock-account amount taxes description)
(register-sale! (*current-invoice*) stock-account amount 'taxes
expense-account payment-account amount taxes description)
(define (register-expense! invoice date expense-account
payment-account amount taxes description)
(resolve-taxes amount taxes)
(register-line! invoice expense)))
((expense (ymd year month day) expense-account payment-account
amount taxes description)
(make-date year month day)
(define *current-invoice* (make-parameter #f))
(define *invoices* (make-hash-table))
(syntax-rules (service sale expense)
((invoice name third-party (ymd year month day) body ...)
(make-date year month day)
(hash-table-ref *third-parties* third-party)
(begin body ...))
(set! (hash-table-ref *invoices* name) inv)
We end the expansion of the `invoice` macro with a call to
`generate-invoice-transactions!`, which will do the task of creating
the double-entry transactions for the invoice. Other types of summary
structure can be added by calling additional generator procedures at
this point. This is largely a matter of going through the invoice lines,
handling them on a case-by-case basis to generate lists of transaction
splits that we can append together to generate the invoice transaction.
The case of expense lines is interesting, in that an extra transaction has
to be generated for each expense, to record its initial spending, as well
as a split to record the expense being claimed in the invoice.
For now, let's just handle one case:
(define (generate-invoice-transactions! inv)
(string-append "Invoice " (invoice-name inv) " for "
(third-party-full-name (invoice-third-party inv)))
(list)) ;; FIXME: Not implemented
(list)) ;; FIXME: Not implemented
(- (invoice-service-line-amount line))
(define (make-tax-splits taxes txn-balance-account)
(map (lambda (tax)
(let ((tax-type (car tax))
(tax-amount (cdr tax)))
((vat20 vat15 vat175)
Feeding in the above example invoice, then checking out the resulting
double-entry transaction list, shows that it worked:
(lambda (date txns)
(printf "Date: ~A Desc: ~A\n"
(for-each (lambda (split)
(printf "Acct: ~A Delta: ~A Notes: ~A\n"
date: #<date> Desc: Invoice INV005 for Widget Corp
Acct: income.work Delta: -800 Notes: Router setup and installation
Acct: taxes.vat Delta: -160.0 Notes: #f
Acct: clients.widgetcorp.balance Delta: 160.0 Notes: #f
Acct: clients.widgetcorp.balance Delta: 800 Notes: #f
We've ended up with multiple splits for the same account, as we record
that both VAT and the money due for the service are to come from the
client's balance account - and other splits will add plenty more. To fix
this, we need to write a procedure that canonicalises a list of splits,
and call that on the splits before calling `make-txn`. Canonicalisation
consists of finding all the splits that refer to the same account and
have the same notes (be it `#f` or a string) and merging them into
one with the total of the amounts. But I'll leave that (along with
implementing bills, payments, and some actual reports) as an exercise to
the reader... It's easy to imagine how to generate a VAT report from the
list of transactions, by filtering them for membership of the required
date range and looking for splits involving "taxes.vat", or to generate
a nicely formatted invoice by extracting a single invoice record, or to
work out the balance of an account at any point in time by adding up all
the transaction splits that involve it up to that point in time. Also,
the core engine needs to be wrapped up in a module that only exposes the
required bindings, and hides internals.
Having automated one's book-keeping and financial reporting, many
operations (such as the VAT returns) can be done without involving an
accountant; in my case, the accountant is only needed to help with the
annual corporation tax computation and filing of official accounts,
which requires deep understanding of the UK tax system to do everything
properly. Having said that, if I studied the system properly (and tracked
the changes each year), I'm sure I could automate that, too...
== 9. About the Chicken Gazette
The Gazette is produced occasionally by a volunteer from
the Chicken community. The latest issue can be found at
http://gazette.call-cc.org or you can follow it in your feed reader at
http://gazette.call-cc.org/feed.atom. If you'd like to write an issue,
consult the wiki (http://wiki.call-cc.org/gazette) for the schedule and
[ --- End of this issue --- ]
- [Chicken-users] Chicken Gazette - Issue 21,
Andy Bennett <=