Re: [Haskell-cafe] [ANNOUNCE] fficxx : haskell-C++ FFI binding generator

2013-08-01 Thread Carter Schonwald
speaking as the principle mentor on the relevant GSOC project (Ian is also co monetoring, so he can correct me if i'm wrong anywhere) The QT binding project is a *subproject* of the *gsoc project* whose principal focus for the summer is making a swig + fficxx based C++ ffi wrapper for haskell. th

Re: [Haskell-cafe] Rank N Kinds

2013-08-01 Thread Daniel Peebles
The higher universe levels are mostly "used" to stave off logical paradoxes in languages where you care about that kind of stuff. In a fundamentally impredicative language like Haskell I don't see much point, but I'd be happy to find there is one :) On Thu, Aug 1, 2013 at 4:55 PM, Wvv wrote: >

Re: [Haskell-cafe] [ANNOUNCE] fficxx : haskell-C++ FFI binding generator

2013-08-01 Thread kudah
Any progress on Qt bindings yet? On Sat, 8 Jun 2013 18:00:36 -0400 Ian-Woo Kim wrote: > Dear Haskellers, > > Hello. > > I am very happy to announce the first version of fficxx > (http://ianwookim.org/fficxx, also, please look at > http://github.com/wavewave/fficxx ) > > fficxx is a haskell Fo

Re: [Haskell-cafe] Rank N Kinds

2013-08-01 Thread Wvv
I'm sorry, `instance Functor (TupleList (a :: **)) where ...` isn't right, sure. The right one is `instance Functor TupleList where ...` -- View this message in context: http://haskell.1045720.n5.nabble.com/Rank-N-Kinds-tp5733482p5733700.html Sent from the Haskell - Haskell-Cafe mailing list ar

Re: [Haskell-cafe] Rank N Kinds

2013-08-01 Thread Wvv
I still asking for good examples of ranNkinds data (and classes) But now let's look at my example, TupleList data TupleList (t :: **) = TupleNil | TupleUnit t (TupleList t) we can easily define tupleList tupleL :: TupleList ( (Int :: **) -> (String :: **) -> (Bool :: **) ) tupleL = TupleUnit

Re: [Haskell-cafe] Getting the 'ThreadId' of the calling thread

2013-08-01 Thread Albert Y. C. Lai
On 13-07-29 08:35 AM, Nikita Karetnikov wrote: I feel that a 'myThreadId' action, which is defined in this module [1], is useless, but I'm not sure. I think it will always return the "Map.find: element not in the map" exception because a 'threadMap' contains an empty 'ThreadMap'. Is it right, o

Re: [Haskell-cafe] Hoogle problems?

2013-08-01 Thread Richard Evans
Sorry yes - it was just a caching problem. Now I've cleared the Chrome cache, it is all working beautifully again. On Thu, Aug 1, 2013 at 1:55 PM, Jose A. Lopes wrote: > It also does not work for me when I try > > http://www.haskell.org/hoogle > > But you can cheat ;) Try this one instead > >

Re: [Haskell-cafe] Hoogle problems?

2013-08-01 Thread Jose A. Lopes
It also does not work for me when I try http://www.haskell.org/hoogle But you can cheat ;) Try this one instead http://www.haskell.org/hoogle? I don't know what the problem is; but seeing that some people have it and some people don't, perhaps it's a caching problem... Cheers, Jose On Thu, Au

Re: [Haskell-cafe] Hoogle problems?

2013-08-01 Thread Tom Ellis
On Thu, Aug 01, 2013 at 01:25:22PM +0100, Richard Evans wrote: > It still doesn't work when I try it. What URL are you using? http://www.haskell.org/hoogle works fine for me. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] Hoogle problems?

2013-08-01 Thread Richard Evans
It still doesn't work when I try it. In the meantime, I am using a mirror of it at: https://www.fpcomplete.com/hoogle?q=%5Bt%5D+-%3E+%5Bt%5D+-%3E+Bool On Thu, Jul 18, 2013 at 7:35 PM, Neil Mitchell wrote: > Hoogle has returned to live, thanks to the efforts to the new > haskell.org admins. > >