RE: [Fwd: F#]

2002-06-03 Thread Ashley Yakeley
At 2002-05-31 12:48, Don Syme wrote: >One point is that in the absence of extensive purity annotations to >imperative libraries you will need to use monads for operations that >shouldn't need them. But these cases are surely quite rare? In my experience, if it really is pure, chances are Ha

RE: [Fwd: F#]

2002-06-03 Thread Manuel M. T. Chakravarty
"Don Syme" <[EMAIL PROTECTED]> wrote, > One point is that in the absence of extensive purity > annotations to imperative libraries you will need to use > monads for operations that shouldn't need them. Having to > add the annotations certainly counts as a complication in > comparison to what man

Re: [Fwd: F#]

2002-05-31 Thread Pixel
"Don Syme" <[EMAIL PROTECTED]> writes: > One point is that in the absence of extensive purity annotations to imperative > libraries you will need to use monads for operations that shouldn't need them. > Having to add the annotations certainly counts as a complication in comparison > to what many

RE: [Fwd: F#]

2002-05-31 Thread Don Syme
bject: RE: [Fwd: F#] "Don Syme" <[EMAIL PROTECTED]> wrote, > And getting top-notch performance is obviously always a huge challenge > for Haskell, and you can't play some common implementation tricks when

RE: [Fwd: F#]

2002-05-31 Thread Don Syme
large code bases for alternative purposes (unless you've got loads of resources to throw at the problem). Cheers, Don -Original Message- From: Simon Peyton-Jones [mailto:[EMAIL PROTECTED]] Sent: 31 May 2002 15:31 To: Don Syme; D. Tweed Cc: Paul Hudak; haskell Subject: RE: [Fwd: F#] |

Re: [Fwd: F#]

2002-05-31 Thread Fergus Henderson
On 31-May-2002, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: > > General remarks about targetting .NET from GHC. > > * There is no reason in principle why one can't write a back end > for GHC to generate .NET IL. > > * Generating *verifiable* IL is noticeably harder: you have to > take much

RE: [Fwd: F#]

2002-05-31 Thread Simon Peyton-Jones
| Idle curiosity: which aspects of the Haskell language are the | ones that make it complicated -- e.g., long-time stuff like | lazy evaluation, typeclasses & inferrence, etc or newer stuff | like functional dependencies, etc or something else entirely | -- and do they only make it complicate

RE: [Fwd: F#]

2002-05-31 Thread Ronald Legere
I wonder if ghc is the right place to start for H#/haskell.net / whatever? GHC is a (wonderfully) complex beast... it seems to have every feature anyone ever thought to add to haskell (esp in terms of the type system). Maybe one should start with haskell98 + ffi or whatever you need to add to g

RE: [Fwd: F#]

2002-05-31 Thread Manuel M. T. Chakravarty
"D. Tweed" <[EMAIL PROTECTED]> wrote, > One of the thoughts behind this was the knowledge that it's just the two > Simons' at Microsoft Cambridge now maintaining/developing GHC; _if it were > possible_ (and I'll quite concede it may not be) to leverage work on .NET > for other purposes (particula

RE: [Fwd: F#]

2002-05-31 Thread D. Tweed
On Fri, 31 May 2002, Manuel M. T. Chakravarty wrote: > I think, the probelm is .NET, not Haskell. .NET just > doesn't deliver on its promise (= marketing hype) of > language neutrality. The problem is that .NET is language > neutral only as long as all languages are sufficiently close > to C#.

RE: [Fwd: F#]

2002-05-30 Thread Manuel M. T. Chakravarty
"D. Tweed" <[EMAIL PROTECTED]> wrote, > On Thu, 30 May 2002, Don Syme wrote: > > > going to provide. Given the general complexity of GHC, the longish > > compile times and the reliance of the GHC library implementation on C > > and C libraries in so many places I decided to implement a simpler

RE: [Fwd: F#]

2002-05-30 Thread Manuel M. T. Chakravarty
"Don Syme" <[EMAIL PROTECTED]> wrote, > And getting top-notch performance is obviously always a huge challenge > for Haskell, and you can't play some common implementation tricks when > compiling to IL. But the only truly serious complications added by .NET > itself are (a) the general problem o

RE: [Fwd: F#]

2002-05-30 Thread Don Syme
> > ... But the only truly serious complications added by .NET > > itself are (a) the general problem of Haskell interop with imperative > > libraries, requiring you to reach for monads quite often (or to wrap > > the libraries yourself) and (b) ... > > > > IMHO problem (a) will always be the thin

Re: [Fwd: F#]

2002-05-30 Thread Paul Hudak
Hi Don -- Thanks for all the informative stuff regarding FP implementations on .NET. However I am a little surprised by one thing you say: > ... But the only truly serious complications added by .NET > itself are (a) the general problem of Haskell interop with imperative > libraries, requiring

RE: [Fwd: F#]

2002-05-30 Thread Don Syme
ROTECTED]] Sent: 30 May 2002 15:25 To: Don Syme Cc: Paul Hudak; haskell Subject: RE: [Fwd: F#] On Thu, 30 May 2002, Don Syme wrote: > going to provide. Given the general complexity of GHC, the longish > compile times and the reliance of the GHC library implementation on C > and C librarie

RE: [Fwd: F#]

2002-05-30 Thread Don Syme
nd ML have their place :-) Best wishes, Don -Original Message- From: Sigbjorn Finne [mailto:[EMAIL PROTECTED]] Sent: 30 May 2002 16:21 To: [EMAIL PROTECTED] Cc: [EMAIL PROTECTED] Subject: Re: [Fwd: F#] Paul Hudak [EMAIL PROTECTED] writes: > > Hey Simon et al at Micro$oft, when wi

Re: [Fwd: F#]

2002-05-30 Thread Sigbjorn Finne
Paul Hudak [EMAIL PROTECTED] writes: > > Hey Simon et al at Micro$oft, when will there be an H#? > (Ok, I'll settle for Haskell.NET :-) There's hugs98.net and it's with us now: http://galois.com/~sof/hugs98.net/ --sigbjorn ___ Haskell mailing li

Re: [Fwd: F#]

2002-05-30 Thread Jon Fairbairn
> Hey Simon et al at Micro$oft, when will there be an H#? But H# is C! we don't want that, surely? :-) Jón -- Jón Fairbairn [EMAIL PROTECTED] 31 Chalmers Road [EMAIL PROTECTED] Cambridge CB1 3SZ+44 1223 57017

RE: [Fwd: F#]

2002-05-30 Thread D. Tweed
On Thu, 30 May 2002, Don Syme wrote: > going to provide. Given the general complexity of GHC, the longish > compile times and the reliance of the GHC library implementation on C > and C libraries in so many places I decided to implement a simpler > language from scratch. I like the idea that a

RE: [Fwd: F#]

2002-05-30 Thread Don Syme
Hudak [mailto:[EMAIL PROTECTED]] Sent: 30 May 2002 14:12 To: [EMAIL PROTECTED] Subject: [Fwd: F#] Hey Simon et al at Micro$oft, when will there be an H#? (Ok, I'll settle for Haskell.NET :-) -Paul ___ Haskell mailing list [EMAIL PROTECTED] http:

[Fwd: F#]

2002-05-30 Thread Paul Hudak
Hey Simon et al at Micro$oft, when will there be an H#? (Ok, I'll settle for Haskell.NET :-) -Paul --- Begin Message --- Title: Message Paul, I just saw this, and I think you and I were talking about using ML.  Let me know if we need to follow-up on this further.   Scott