[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

Steve Dekorte wrote:

> On Friday, June 13, 2003, at 12:28 PM, Shriram Krishnamurthi wrote:
> > 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).
> I thought number was the only type in typical spreadsheets(?)

That's why we worked on unit checking (though the type checking is a
bit atypical -- the types are row and column labels, not traditional
language types).