common lisp

Land of Lisp

Lambda the Ultimate - Programming Languages Weblog  Thu, 10/28/2010 - 15:16

Conrad Barski's Lisp book, Land of Lisp, is out. There's an example chapter implementing a Hunt the Wumpus remake.

The book was previously mentioned with an April's 1st special, War of the Worlds.

Comments?

Critiques?

Blurb:


 

Scribble: Closing the Book on Ad Hoc Documentation Tools

Lambda the Ultimate - Programming Languages Weblog  Tue, 07/20/2010 - 19:18

Scribble: Closing the Book on Ad Hoc Documentation Tools.

Matthew Flatt, Eli Barzilay, and Robert Bruce Findler. ICFP '09.


 

The Development of Sage

Lambda the Ultimate - Programming Languages Weblog  Fri, 12/11/2009 - 15:53

Sage is a project to create a viable free open source alternative to Magma, Maple, Mathematica and Matlab.

The lead developer/manager William Stein has recently written Mathematical Software and Me: A Very Personal Recollection, a rather enjoyable story of his experience with mathematical software, especially Magma, and how Sage came to be.


 

Scheme to be split into two languages

Lambda the Ultimate - Programming Languages Weblog  Fri, 08/21/2009 - 07:02

According to a draft statement, Scheme is to be split into a small and a large language, the small being designed for educators and "50-page purists", the large for "programmers, implementors".

The small language should remain true to the language design precepts found in the RnRS introduction ("Programming languages should be designed not by piling feature on top of feature, …").


 

Phosphorous, The Popular Lisp

Lambda the Ultimate - Programming Languages Weblog  Fri, 07/10/2009 - 03:48

Joseph F. Miklojcik III, Phosphorous, The Popular Lisp.

We present Phosphorous; a programming language that draws on the power and elegance of traditional Lisps such as
Common Lisp and Scheme, yet which brings those languages into the 21st century by ruthless application of our “popular is better” philosophy into all possible areas of programming language design.


 

Qi II

Lambda the Ultimate - Programming Languages Weblog  Sat, 11/29/2008 - 17:20

Qi II has been released. Qi is a functional programming language built on top of Common Lisp.

It has an optional static type system based on sequent calculus and a general focus on logic based programming.

For version II, see the what's new page.

Rule closures in particular look very interesting.


 

Solutions to SICP Exercises

Lambda the Ultimate - Programming Languages Weblog  Sun, 10/05/2008 - 01:31

SICP gets many nods when it comes to introductory texts to programming and the study of PLs. I've been slowly working my way through SICP in a number of different PLs, most notably Oz and Alice ML.

In that process, I've come across Eli Bendersky's methodical solutions to the SICP Exercises in a series of blog posts.


 

The little b language: shared models built from reusable parts

Lambda the Ultimate - Programming Languages Weblog  Wed, 02/13/2008 - 13:46

The little b project is an effort to provide an open source language which allows scientists to build mathematical models of complex systems.

The initial focus is systems biology. The goal is to stimulate widespread sharing and reuse of models.


 

MACLISP Manual Comes To The Web

Lambda the Ultimate - Programming Languages Weblog  Wed, 02/13/2008 - 12:09

Internet, December 16, 2007—The Revised Maclisp Manual, originally published in hardcopy at MIT in 1983 as the Saturday Evening Edition, is now available on the web as the Sunday Morning Edition.