[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: I'd rather edit my spreadsheet with a text editor
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).