Re: FilePath as ADT

2006-02-06 Thread Marcin 'Qrczak' Kowalczyk
Ben Rudiak-Gould <[EMAIL PROTECTED]> writes: > I don't like the idea of using U+, because it looks like an ASCII > control character, and in any case has a long tradition of being used > for something else. Why not use a code point that can't result from > decoding a valid UTF-8 string? U+

Re: FilePath as ADT

2006-02-05 Thread Ben Rudiak-Gould
Marcin 'Qrczak' Kowalczyk wrote: Encouraged by Mono, for my language Kogut I adopted a hack that Unicode people hate: the possibility to use a modified UTF-8 variant where byte sequences which are illegal in UTF-8 are decoded into U+ followed by another character. I don't like the idea of u

Re: FilePath as ADT

2006-02-04 Thread Marcin 'Qrczak' Kowalczyk
Axel Simon <[EMAIL PROTECTED]> writes: > The solution of representing a file name abstractly is also used by > the Java libraries. I think it is not. Besides using Java UTF-16 strings for filenames, there is the File class, but it also uses Java strings. The documentation of listFiles() says that

Re: FilePath as ADT

2006-02-03 Thread Aaron Denney
On 2006-02-03, Ross Paterson <[EMAIL PROTECTED]> wrote: > On Fri, Feb 03, 2006 at 12:24:28PM +, Axel Simon wrote: >> Yes, and I suppose not being opaque about a file name (i.e. FilePath = >> [Word8]) is superior. > > Maybe. You might want [Word8] under Unix and [Word16] under Win32. Right. I

Re: FilePath as ADT

2006-02-03 Thread Ross Paterson
On Fri, Feb 03, 2006 at 12:24:28PM +, Axel Simon wrote: > Yes, and I suppose not being opaque about a file name (i.e. FilePath = > [Word8]) is superior. Maybe. You might want [Word8] under Unix and [Word16] under Win32. > So why is the whole Unicode proposal under "adopt: none"? Did nobody >

Re: FilePath as ADT

2006-02-03 Thread Axel Simon
On Fri, 2006-02-03 at 12:13 +, Ross Paterson wrote: > On Fri, Feb 03, 2006 at 12:06:28PM +, Axel Simon wrote: > > I think this is not yet discussed on the wiki: > > > > [FilePath as String or ADT] > > The issue (and the related one with program arguments and environment > variables) is men

Re: FilePath as ADT

2006-02-03 Thread Ross Paterson
On Fri, Feb 03, 2006 at 12:06:28PM +, Axel Simon wrote: > I think this is not yet discussed on the wiki: > > [FilePath as String or ADT] The issue (and the related one with program arguments and environment variables) is mentioned under CharAsUnicode. _

FilePath as ADT

2006-02-03 Thread Axel Simon
I think this is not yet discussed on the wiki: >From the recent post to the Haskell list: Forwarded Message From: Krasimir Angelov <[EMAIL PROTECTED]> To: haskell Subject: [Haskell] System.FilePath survey [..] * Will you be happy with a library that represents the file pat