Log of changes on this site
August 2000 through July 2001

Please refer to ChangeLog.html for the most recent changes

July 1, 2001

• UNIX pipes as IO monads. Monadic i/o and UNIX shell programming
• Literate XML/DTD programming
• Two approaches to subtraction, division, logarithms and other opposites in Lambda calculus

June 1, 2001

• Doubts about the concept of information; An elementary derivation of the Shannon entropy formula.
• Negative numbers, subtraction and division in lambda-calculus

May 4, 2001

• LaXmL: SXML as a higher-order markup language
• Universally polymorphic lists and a polymorphic FOLD in ANSI C without casts
• Cross-product of sequences

April 1, 2001

• A practical Lambda-Calculator
• Version 4.6 of the Functional XML parsing framework validates on SCM as well
• Version 3.1 of the Input parsing module. It now works not only for Gambit-C 3.0 but for SCM 5d2 and for Bigloo 2.2b (in compiled and interpreted modes).
• cond-expand added to the standard prelude. It implements SRFI-0 on platforms that do not support SRFI-0 natively: Gambit-C and SCM.

March 4, 2001

• Version 4.2 of the Functional XML parsing framework -- SAX/DOM and SXML parsers with support for XML Namespaces and validation
• SXML specification
• SXML specification in SXML -- an example of authoring HTML in SXML. Evaluation of SXML.scm file produced the SXML.html page mentioned in the item above.
• let-values* added to the standard prelude. The prelude as well as updated env.scm, util.scm, and catch-error.scm now work on Gambit, SCM and Bigloo.

February 4, 2001

• HTML/XML authoring in Scheme
• Version 3.5 of SXPath -- SXML query language, XPath implementation
• XEXPR, SXML, and "executable" XML code
• "Active Server Pages" in Scheme
• CDATA, #PCDATA, and ANY

January 5, 2001

• Version 2.4 of the Grayscale Image Processing classlib
• Equivalence of "mutable" closures, and capture-free renaming of free variables

November - December, 2000

• A wide-range optimized bit reader in Scheme and its performance
• Version 2.6 of the Advanced i/o and Arithmetic Compression classlib
• Noted that LinALg, a basic Linear Algebra and Optimization classlib, is also a FreeBSD port and a package
• Enumerating collections: searching for the best iterator
• Currying, Uncurrying, and the fold combinator

October 1, 2000

• XML and Scheme
• Implementing Metcast in Scheme
• Sendmail as a Turing machine

September 1, 2000

• Evaluating SXML: XSL Transformations in Scheme
• Type Arithmetics: Computation based on the theory of types (a.k.a. an ultimate static type system: division by zero as a type error)

August 4, 2000

A new set of pages about subtyping, OOP, and programming in C++ without assignments:

• Subtyping, Subclassing, and Trouble with OOP
• Subclassing errors, OOP style and mechanical rules to prevent them
• Annotated references, footnotes, and pointers to the source code

August 1999 through July 2000

December 1995 through August 1996