Re: I'd rather edit my spreadsheet with a text editor

[Shriram Krishnamurthi <address@hidden>]

Geoffrey Knauth wrote:

> I forget the name of the project, but I remember seeing, several months 
> ago, that someone was developing a spreadsheet that would check itself 
> for correctness.

There have been several people building spreadsheet languages, perhaps
the most notable being Margaret Burnett's group at Oregon State, as
part of a larger drive towards "visual programming languages".  In
contrast, some people (such as us PLT Scheme folks) have built type-
and unit-checkers that check existing Excel spreadsheets.

I'm not sure which particular work you have in mind, and especially
what "check itself" means (whether something profound, or merely
something like a type system).

Shriram