[Haskell-cafe] Data constructors versus types

Don Stewart dons at galois.com
Wed Jan 16 15:50:56 EST 2008

> I know nothing about theoretical computer science, but I was wondering
> if it possible to forget about types, and just keep the concept of data
> constructors, and have an analyzer determine correctness of the code and
> "staticness" of the data?

The analysis would be type inference and checking.

-- Don

More information about the Haskell-Cafe mailing list