[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? 

    titto


More information about the Haskell-Cafe mailing list