[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).
Shriram