[Haskell-cafe] Re: practicality of typeful programming
Pasqualino 'Titto' Assini
tittoassini at gmail.com
Thu Jun 28 09:50:52 EDT 2007
On Wednesday 27 June 2007 23:28:44 oleg at pobox.com wrote:
> In his system, the type of the matrix includes includes the matrix
> size and dimensions, so invalid operations like improper matrix
> multiplication can be rejected statically. And yet, his library
> permits matrices read from files.
Read from files but still at compile time, correct?
More information about the Haskell-Cafe