Re: [Haskell-cafe] Re: Haskell and .NET

2006-12-13 Thread Neil Mitchell
Hi > And strictness is not the biggest problem, a complete lack of any > optimisations is, but I'm working on that one too! It is great to hear that. Of course an optimiser will be beneficial too but I guess that even the benefit that the code generator can have from the strictness analyzer wil

Re: [Haskell-cafe] Re: Haskell and .NET

2006-12-13 Thread Justin Bailey
On 12/13/06, Krasimir Angelov <[EMAIL PROTECTED]> wrote: The problem with Haskell for .NET is that the produced executables are usually very slow. Good optimizing compiler like GHC has better chance I don't really want something that compiles Haskell to the CLR, though that would be great eve

Re: [Haskell-cafe] Re: Haskell and .NET

2006-12-13 Thread Krasimir Angelov
On 12/13/06, Neil Mitchell <[EMAIL PROTECTED]> wrote: Hi Krasimir, > to produce code with reasonable performance. The major problem with > YHC is that it still doesn't have strictness analyzer. It does, or rather Yhc.Core does (see Yhc.Core.Strictness - http://www.cs.york.ac.uk/fp/yhc/snapshot/

Re: [Haskell-cafe] Re: Haskell and .NET

2006-12-13 Thread Neil Mitchell
Hi Krasimir, to produce code with reasonable performance. The major problem with YHC is that it still doesn't have strictness analyzer. It does, or rather Yhc.Core does (see Yhc.Core.Strictness - http://www.cs.york.ac.uk/fp/yhc/snapshot/docs/Yhc-Core-Strictness.html). This was only done a few

Re: [Haskell-cafe] Re: Haskell and .NET

2006-12-13 Thread Bulat Ziganshin
Hello Monique, Wednesday, December 13, 2006, 1:05:18 AM, you wrote: > subset of the Haskell language to .NET, but we still don't have an > available release (we don't support the full Haskell prelude yet). if you are interested in providing Base library functionality, look at the http://haskell.

Re: [Haskell-cafe] Re: Haskell and .NET

2006-12-13 Thread Krasimir Angelov
The problem with Haskell for .NET is that the produced executables are usually very slow. Good optimizing compiler like GHC has better chance to produce code with reasonable performance. The major problem with YHC is that it still doesn't have strictness analyzer. The consequence is that the produ

Re: [Haskell-cafe] Re: Haskell and .NET

2006-12-13 Thread Neil Mitchell
Hi Yhc also has a .NET generating capability, just pass the -dotnet flag. http://haskell.org/haskellwiki/Yhc Thanks Neil On 12/12/06, Monique Monteiro <[EMAIL PROTECTED]> wrote: Hi Justin, I've runned a research project about this topic (in fact, it was the subject of my MSc dissertation)

[Haskell-cafe] Re: Haskell and .NET

2006-12-12 Thread Monique Monteiro
Hi Justin, I've runned a research project about this topic (in fact, it was the subject of my MSc dissertation). Please see the Haskell.NET Project (http://www.cin.ufpe.br/~haskell/haskelldotnet). We have compiled a subset of the Haskell language to .NET, but we still don't have an available r