[Haskell-cafe] Re: Problems with building haskell-jvm-bridge-0.3.RC1

2005-01-31 Thread Ashley Yakeley
In article <[EMAIL PROTECTED]>, Dmitri Pissarenko <[EMAIL PROTECTED]> wrote: > I'm trying to build Haskell-JVM bridge (http://sourceforge.net/projects/jvm- > bridge/) under Windows (cygwin) and with Java 1.5. > > I can execute "configure" without errors. > > When I execute make, I get a lot of

[Haskell-cafe] Re: File path programme

2005-01-31 Thread Aaron Denney
On 2005-01-31, Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> wrote: > Peter Simons <[EMAIL PROTECTED]> writes: > >> http://cryp.to/pathspec/PathSpec.hs > >> There also is a function which changes a path specification >> into its canonic form, meaning that all redundant segments >> are stripped. >

[Haskell-cafe] Re: File path programme

2005-01-31 Thread Peter Simons
Sven Panne writes: > OK, but even paths which realpath normalizes to different > things might be the same (hard links!). Sure, but paths it normalizes to the same thing almost certainly _are_ the same. ;-) That's all I am looking for. In general, I think path normalization is a nice-to-have fea

Re: [Haskell-cafe] Re: File path programme

2005-01-31 Thread robert dockins
Well, there is a sort-of canonic version for every path; on most Unix systems the function realpath(3) will find it. Here is the BUGS listing from 'man realpath' on my system: Never use this function. It is broken by design since it is impossible to determine a suitable size for the output buffe

Re: [Haskell-cafe] Re: File path programme

2005-01-31 Thread Sven Panne
Peter Simons wrote: Sven Panne writes: > Hmmm, I'm not really sure what "equivalence" for file > paths should mean in the presence of hard/symbolic links, > (NFS-)mounted file systems, etc. Well, there is a sort-of canonic version for every path; on most Unix systems the function realpath(3) wil

[Haskell-cafe] Re: File path programme

2005-01-31 Thread Peter Simons
Sven Panne writes: > Hmmm, I'm not really sure what "equivalence" for file > paths should mean in the presence of hard/symbolic links, > (NFS-)mounted file systems, etc. Well, there is a sort-of canonic version for every path; on most Unix systems the function realpath(3) will find it. My inte

[Haskell-cafe] Re: mathematical notation and functional programming

2005-01-31 Thread Henning Thielemann
On Mon, 31 Jan 2005, Chung-chieh Shan wrote: > (Is Lemming the same person as Henning Thielemann?) Yes. :-) > > For the expression '1+x' I > > conclude by type inference that 'x' must be a variable for a scalar > > value, since '1' is, too. But the expression '1/O(n^2)' has the scalar > > va

Re: [Haskell-cafe] Re: File path programme

2005-01-31 Thread Ben Rudiak-Gould
This is a very good summary, and I'm interested to see what you come up with. robert dockins wrote: 1) File names are abstract entities. There are a number of ways one might concretely represent a filename. Among these ways are: a) A contiguous sequence of octets in memory (C

[Haskell-cafe] Re: ocr'ed version of "The implementation offunctional languages"

2005-01-31 Thread Ivan Boldyrev
On 9006 day of my life Victor Snezhko wrote: >> You haven't seen the book in DjVu format :) BTW, DjVu can contain > > I saw such books, but didn't have enough time to find good viewers. > I viewed them with IE plugin, and didn't like it. http://sourceforge.net/projects/windjview >> PS/PDF genera

Re: [Haskell-cafe] Re: ocr'ed version of "The implementation offunctional languages"

2005-01-31 Thread John Meacham
On Mon, Jan 31, 2005 at 09:56:45AM -, Simon Peyton-Jones wrote: > Matthew > > Yes, I'm happy for you to OCR the book, but can I ask that whatever you get > be made accessible from my web site, so there's one place people can go to > find everything that's available? > > What would OCR buy u

Re: [Haskell-cafe] Re: File path programme

2005-01-31 Thread Marcin 'Qrczak' Kowalczyk
Peter Simons <[EMAIL PROTECTED]> writes: > http://cryp.to/pathspec/PathSpec.hs > There also is a function which changes a path specification > into its canonic form, meaning that all redundant segments > are stripped. It's incorrect: canon (read "x/y/.." :: RelPath Posix) gives "x", yet on Uni

Re: [Haskell-cafe] Re: File path programme

2005-01-31 Thread Ben Rudiak-Gould
Peter Simons wrote: >The module currently knows only _relative_ paths. I am still >experimenting with absolute paths because I have recently >learned that on Windows something like "C:foo.txt" is >actually relative -- not absolute. Very weird. "\foo.txt" is also relative on Win32. And "con.txt" is

Re: [Haskell-cafe] Re: File path programme

2005-01-31 Thread Sven Panne
Peter Simons wrote: [...] There also is a function which changes a path specification into its canonic form, meaning that all redundant segments are stripped. So although two paths which designate the same target may not be equal, they can be tested for equivalence. Hmmm, I'm not really sure what "

Re: [Haskell-cafe] Typing in haskell and mathematics

2005-01-31 Thread Henning Thielemann
On Mon, 31 Jan 2005 [EMAIL PROTECTED] wrote: > Now: > > Please don't abuse the examples based on differentiation in order to point > out the difference between 'expressions with variables' and 'functions'. > This is simply NOT TRUE that only functions can be differentiated. The > differentiatio

[Haskell-cafe] Re: mathematical notation and functional programming

2005-01-31 Thread Chung-chieh Shan
(Is Lemming the same person as Henning Thielemann?) On 2005-01-30T21:24:24+0100, Lemming wrote: > Chung-chieh Shan wrote: > > Wait a minute -- would you also say that "1+x" has no meaning at the > > first glance, because "x" is a variable whereas "1" is an integer, so > > some lifting is called fo

Re: [Haskell-cafe] Re: [Haskell] Typing in haskell and mathematics

2005-01-31 Thread Henning Thielemann
On Fri, 28 Jan 2005, Jacques Carette wrote: > > > First, consider a syntax for other component-wise function application? > > > For example, it would be convenient to > > >have > > > (f,g) @ (x,y) > > > be (f x, g y). In some languages [with dynamic typing], one can even do > > > (f,g) (x,y)

Re: [Haskell-cafe] Typing in haskell and mathematics

2005-01-31 Thread karczma
A comment of a long text... Henning Thielemann writes: ... some examples of transparency of notation based on 2+2=4 ... I like to have this behaviour for derivation, too. So of what type must be the parameter of 'derive'? A scalar expression with a free variable or a function expression? The

Re: [Haskell-cafe] Typing in haskell and mathematics

2005-01-31 Thread Henning Thielemann
On Fri, 28 Jan 2005, Jacques Carette wrote: > Henning Thielemann <[EMAIL PROTECTED]> wrote: > >> This seems to be related to what I wrote yesterday >> http://www.haskell.org/pipermail/haskell-cafe/2005-January/008893.html > > Yes, very much. Except that rather than trying to tell mathematicia

[Haskell-cafe] Re: File path programme

2005-01-31 Thread Peter Simons
Robert Dockins writes: > 1) File names are abstract entities. There are a number of > ways one might concretely represent a filename. Among these > ways are: > >a) A contiguous sequence of octets in memory > (C style string on most modern hardware) >b) A sequenc

Re: [Haskell-cafe] The Nature of Char and String

2005-01-31 Thread John Meacham
On Sun, Jan 30, 2005 at 07:58:50PM -0600, John Goerzen wrote: > On Sun, Jan 30, 2005 at 07:39:59PM +, Ben Rudiak-Gould wrote: > > > * If I use hPutStr on a string, is it guaranteed that the number of > > > 8-bit bytes written equals (length stringWritten)? > > > > Yes, if the handle is opene

[Haskell-cafe] Re: UTF-8 BOM, really!? (was: Re: File path progr amme)

2005-01-31 Thread Aaron Denney
On 2005-01-31, Bayley, Alistair <[EMAIL PROTECTED]> wrote: >> From: Aaron Denney [mailto:[EMAIL PROTECTED] >> >> Better yet would be to have the standard never allow the BOM. >> >> Since some things can't handle it, on output we should never emit it, >> but still must handle it on input. Bah. >

Re: [Haskell-cafe] Re: ocr'ed version of "The implementation offunctional languages"

2005-01-31 Thread Ivan Boldyrev
On 9006 day of my life Simon Peyton-Jones wrote: > Matthew > > Yes, I'm happy for you to OCR the book, but can I ask that whatever > you get be made accessible from my web site, so there's one place > people can go to find everything that's available? Certainly. This is *your* book. I'm not goin

[Haskell-cafe] Re: [Haskell] Typing in haskell and mathematics

2005-01-31 Thread Jacques Carette
[My apologies for not seeing the related discussion yesterday on haskell-cafe, I was not subscribed until just now] Iavor Diatchki <[EMAIL PROTECTED]> wrote: On Fri, 28 Jan 2005 10:01:33 -0500, Jacques Carette <[EMAIL PROTECTED]> wrote: > The previous post on record syntax reminded me of some 'pro

Re: UTF-8 BOM, really!? (was: [Haskell-cafe] Re: File path program me)

2005-01-31 Thread Steve Schafer
On Mon, 31 Jan 2005 10:30:58 -0500, you wrote: >A BOM came to be permitted because it uses the identical code as NBSP >(non-breaking space). Not quite. It's the same code (U+FEFF) as ZERO WIDTH NO-BREAK SPACE. This is _not_ the same thing as NO-BREAK SPACE (U+00A0), which is what you frequently

Re: UTF-8 BOM, really!? (was: [Haskell-cafe] Re: File path programme)

2005-01-31 Thread Scott Turner
On 2005 January 31 Monday 04:56, Graham Klyne wrote: > How can it make sense to have a BOM in UTF-8? UTF-8 is a sequence of > octets (bytes); what ordering is there here that can sensibly be varied? Correct. There is no order to be varied. A BOM came to be permitted because it uses the identica

Re: [Haskell-cafe] Re: File path programme

2005-01-31 Thread robert dockins
I have been ruminating on the various responses my attempted file path implementation has generated. I have a design beginning to form in the back of my head which attempts to address the file path problem as I lay out below. Before I develop it any further, are there any important considerati

Re: [Haskell-cafe] The Nature of Char and String

2005-01-31 Thread David Roundy
On Sun, Jan 30, 2005 at 07:58:50PM -0600, John Goerzen wrote: > On Sun, Jan 30, 2005 at 07:39:59PM +, Ben Rudiak-Gould wrote: > > > * If I use hPutStr on a string, is it guaranteed that the number of > > > 8-bit bytes written equals (length stringWritten)? > > > > Yes, if the handle is opene

[Haskell-cafe] Problems with building haskell-jvm-bridge-0.3.RC1

2005-01-31 Thread Dmitri Pissarenko
Hello! I'm trying to build Haskell-JVM bridge (http://sourceforge.net/projects/jvm- bridge/) under Windows (cygwin) and with Java 1.5. I can execute "configure" without errors. When I execute make, I get a lot of errors. Due to a limited size of my buffer, I can show you only the last lines of

[Haskell-cafe] Re: UTF-8 BOM, really!?

2005-01-31 Thread Marcin 'Qrczak' Kowalczyk
Graham Klyne <[EMAIL PROTECTED]> writes: > How can it make sense to have a BOM in UTF-8? UTF-8 is a sequence of > octets (bytes); what ordering is there here that can sensibly be > varied? The *name* "BOM" doesn't make sense when applied to UTF-8, but some software uses UTF-8 encoded U+FEFF it

Re: [Haskell-cafe] Re: ocr'ed version of "The implementation offunctional languages"

2005-01-31 Thread Victor Snezhko
Ivan Boldyrev <[EMAIL PROTECTED]> writes: >> It's just more convenient to read OCRed books than raster ones. >> Zoom without interpolation, > > You haven't seen the book in DjVu format :) BTW, DjVu can contain I saw such books, but didn't have enough time to find good viewers. I viewed them with

[Haskell-cafe] Re: UTF-8 BOM, really!?

2005-01-31 Thread Ketil Malde
"Bayley, Alistair" <[EMAIL PROTECTED]> writes: >> How can it make sense to have a BOM in UTF-8? > "Q: Where is a BOM useful? > A: A BOM is useful at the beginning of files that are typed as text, but for > which it is not known whether they are in big or little endian format..." I think the qu

[Haskell-cafe] Re: ocr'ed version of "The implementation offunctional languages"

2005-01-31 Thread Ivan Boldyrev
On 9006 day of my life Victor Snezhko wrote: > It's just more convenient to read OCRed books than raster ones. > Zoom without interpolation, You haven't seen the book in DjVu format :) BTW, DjVu can contain text, but I haven't learned proper spell yet :) I use free tools, so it may be difficult

RE: UTF-8 BOM, really!? (was: [Haskell-cafe] Re: File path progr amme)

2005-01-31 Thread Bayley, Alistair
> From: Aaron Denney [mailto:[EMAIL PROTECTED] > > Better yet would be to have the standard never allow the BOM. > > Since some things can't handle it, on output we should never emit it, > but still must handle it on input. Bah. I don't see how banning it from input would help; as I understan

UTF-8 BOM, really!? (was: [Haskell-cafe] Re: File path programme)

2005-01-31 Thread Graham Klyne
At 23:39 30/01/05 +0100, Marcin 'Qrczak' Kowalczyk wrote: Aaron Denney <[EMAIL PROTECTED]> writes: >> It provides variants of UTF-16/32 with and without a BOM, but >> UTF-8 only has the variant with a BOM. This makes UTF-8 a stateful >> encoding. > > I think you mean "UTF-8 only has the variant wit

[Haskell-cafe] File paths and internationalization/localization

2005-01-31 Thread Graham Klyne
I don't offer any answers, but the problems raised on this list concerning file paths using local language characters would appear to have some parallels in the world of URIs. Martin Duerst and others at W3C have been working on the problem of internationalization (I18N) of URIs, and their prop

Re: [Haskell-cafe] Re: ocr'ed version of "The implementation offunctional languages"

2005-01-31 Thread Victor Snezhko
"Simon Peyton-Jones" <[EMAIL PROTECTED]> writes: > Matthew > > Yes, I'm happy for you to OCR the book, but can I ask that whatever > you get be made accessible from my web site, so there's one place > people can go to find everything that's available? > > What would OCR buy us? Searching, I gues

Re: [Haskell-cafe] Re: ocr'ed version of "The implementation offunctional languages"

2005-01-31 Thread Ketil Malde
"Simon Peyton-Jones" <[EMAIL PROTECTED]> writes: > What would OCR buy us? Searching, I guess, which is a fantastic > plus. Anything else? - The ability to cut and paste passages into e.g. e-mail. - Availability for text-only access - e.g. for the vision impaired, or people on low bandwidth co

RE: [Haskell-cafe] Re: ocr'ed version of "The implementation offunctional languages"

2005-01-31 Thread Simon Peyton-Jones
Matthew Yes, I'm happy for you to OCR the book, but can I ask that whatever you get be made accessible from my web site, so there's one place people can go to find everything that's available? What would OCR buy us? Searching, I guess, which is a fantastic plus. Anything else? Thanks very m