30 Jul
2005
30 Jul
'05
6:55 p.m.
On Sat, Jul 30, 2005 at 11:57:48AM -0700, Daan Leijen wrote:
(Ian: I haven't studied your proposal in detail, but I can't see directly why you propose a separate FilePath class?)
If I understand correctly, we are saying the same thing up to my System.IO.Impl, but for you this would be System.IO itself. By making System.IO a layer on top of this we get backwards compatibility with existing code (except where type sigs need to be added) and we don't need to have explicit conversion functions (between the FileName type and filenames the user enters as strings through getLine, filenames we get from a GUI library etc) throughout the code we write. Thanks Ian