Re: [Haskell] How to define Y combinator in Haskell

2006-09-15 Thread Robert Dockins
On Friday 15 September 2006 14:48, Michael Shulman wrote: > On 9/15/06, Robert Dockins <[EMAIL PROTECTED]> wrote: > > You can define a direct fixed point combinator > > without relying on nominal recursion in Haskell, but it requires you to > > define a helper newtype. > > That's really nifty! I'd

Re: [Haskell] How to define Y combinator in Haskell

2006-09-15 Thread Michael Shulman
On 9/15/06, Robert Dockins <[EMAIL PROTECTED]> wrote: You can define a direct fixed point combinator without relying on nominal recursion in Haskell, but it requires you to define a helper newtype. That's really nifty! I'd been wondering whether you could do this too. Is there a reason for th

Re: [Haskell] How to define Y combinator in Haskell

2006-09-15 Thread Robert Dockins
On Friday 15 September 2006 12:45, David House wrote: > On 15/09/06, Haihua Lin <[EMAIL PROTECTED]> wrote: > > Is there a way to define it in Haskell? > > Note that the function 'fix' (find the fixpoint of a function) already > exists in Haskell, and is equivalent to the Y combinator. > > It's inte

Re: [Haskell] Is there an example how to pass a string to VBA?

2006-09-15 Thread Andreas Marth
I have just one question here: How did you get hdirect to work? More concrete: Were you able to generate ihc.exe? I'm stuck there. Thanks for your fast reply, Andreas - Original Message - From: "Salvador Lucas" <[EMAIL PROTECTED]> To: "Andreas Marth" <[EMAIL PROTECTED]> Cc: Sent: Frida

Re: [Haskell] How to define Y combinator in Haskell

2006-09-15 Thread David House
On 15/09/06, Haihua Lin <[EMAIL PROTECTED]> wrote: Is there a way to define it in Haskell? Note that the function 'fix' (find the fixpoint of a function) already exists in Haskell, and is equivalent to the Y combinator. It's interesting that most (all?) fixed-point combinators don't typecheck.

[Haskell] Re: compiler-independent core libraries infrastructure

2006-09-15 Thread Ian Lynagh
Hi Bulat, Just a partial answer for now: On Wed, Sep 13, 2006 at 12:29:58PM +0400, Bulat Ziganshin wrote: > > Friday, September 8, 2006, 5:52:57 AM, you wrote: > > what is a 'base' library now? it is the library that implements common set > of operations for latest versions of ghc, hugs and nh

Re: [Haskell] Is there an example how to pass a string to VBA?

2006-09-15 Thread Salvador Lucas
We recently did something similar (among other things) to implement a .NET version of a Haskell tool with a C# graphical interface. You can take a look to this paper: http://www.dsic.upv.es/~slucas/papers/net06/net06.pdf Hope it helps! Regards, Salvador. Andreas Marth wrote: Hallo everybo

[Haskell] Is there an example how to pass a string to VBA?

2006-09-15 Thread Andreas Marth
Hallo everybody! I'm trying to pass a String to VBA and am totally stuck. Does anyody have a working example how to do this? I am interested in either a plain low level DLL or a COM DLL or anything else if there is something else. I hope someone did this already and can give me a helping hand. A

Re: [Haskell] How to define Y combinator in Haskell

2006-09-15 Thread Lennart Augustsson
Well, you can do it with the existing recursion in Haskell let yc f = f (yc f) Or you can encode it with type level recursion and no value recursion by using a recursive data type. -- Lennart On Sep 15, 2006, at 08:11 , Haihua Lin wrote: Hi, Writing yc = \f -> (\x -> f(x x

[Haskell] How to define Y combinator in Haskell

2006-09-15 Thread Haihua Lin
Hi, Writing yc = \f -> (\x -> f(x x)) (\x -> f(x x)) causes type error. Is there a way to define it in Haskell? Thanks, Haihua ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ETAPS 2007 - Call for Submissions

2006-09-15 Thread João Saraiva
* *** *** *** ETAPS 2007*** *** March 24 - April 1, 2007 *** ***

[Haskell] Re: compiler-independent core libraries infrastructure

2006-09-15 Thread Bulat Ziganshin
(more details about problem i try to solve and plan to do it) during development of Haskell compilers, it was discovered that their libraries has so much in common. as a result, common library for Haskell compilers was born that hides differences between them and provides common API. unfortunately