Qi (programming Language) - Development

Development

As of January 2009, Qi has been updated several times since the first release (6.1) in April 2005, and the current release, Qi II 1.07, released in July, 2009, runs under both Windows and Linux on the CLISP, CMU Common Lisp, Allegro Common Lisp and Steel Bank Common Lisp (SBCL) platforms.

Qi II incorporates the following improvements over the original Qi, as follows:

  • A complete reimplementation of Qi from the ground up.
  • New license.
  • Type secure lazy evaluation on demand.
  • Improved programmable syntax.
  • 4 speed compiler which utilises type information.
  • Improved integration with Common Lisp.
  • Runs under LispWorks.
  • Common functions made polyadic.
  • Improved connection to Prolog.
  • Rule closures for embedding sequent reasoning into Qi functions.
  • Improved handling on dependent types.
  • A type secure class system in a library.

Before this, an earlier version, 9.0, incorporated an optional factoring code compiler (Turbo-E) for optimising pattern-matching. In a comparative shoot-out against several Lisp programs and OCaml, Qi 9.0 performed at the speed of the fastest and most heavily hand-optimised Lisp version. A release (Qi/Tk) incorporating a type secure version of Tcl/Tk embedded into Qi appeared in March 2009.

In January 2010, a successor version to Qi II was announced designed to implement many of the ideas in Tarver's lectures. The new version is designed to run under Common Lisp, Clojure and Python and is also targeted for the Dalvik Virtual Machine. Contributors include Dr Mark Tarver, Carl Shapiro of Google and Stefan Tampe.

Alternatively, the developers and proponents of the ideas set forth in Qi, have come up with a successor to Qi, dubbed Shen (programming language). Shen is a more compact language as compared to Qi, although it is mostly compatible with Qi. As such, further development on Qi may be stalled, with the result being more effort spent on Shen.

Read more about this topic:  Qi (programming Language)

Famous quotes containing the word development:

    The man, or the boy, in his development is psychologically deterred from incorporating serving characteristics by an easily observable fact: there are already people around who are clearly meant to serve and they are girls and women. To perform the activities these people are doing is to risk being, and being thought of, and thinking of oneself, as a woman. This has been made a terrifying prospect and has been made to constitute a major threat to masculine identity.
    Jean Baker Miller (20th century)

    Dissonance between family and school, therefore, is not only inevitable in a changing society; it also helps to make children more malleable and responsive to a changing world. By the same token, one could say that absolute homogeneity between family and school would reflect a static, authoritarian society and discourage creative, adaptive development in children.
    Sara Lawrence Lightfoot (20th century)

    Ultimately, it is the receiving of the child and hearing what he or she has to say that develops the child’s mind and personhood.... Parents who enter into a dialogue with their children, who draw out and respect their opinions, are more likely to have children whose intellectual and ethical development proceeds rapidly and surely.
    Mary Field Belenky (20th century)