[Haskell-cafe] Does gtk2hs support VTE?

Hi, I always see a file named vte something in "doc" folder, but I never see vte in reference or source. So I wonder if gtk2hs actually supports VTE. And I'd like to have that supporting -- 竹密岂妨流水过 山高哪阻野云飞 ___ Haskell-Cafe mailing list Haskell-C

Re: [Haskell-cafe] Memory

Thanks Guys, Not only did I not run optimizations, I misread the profile. It looks like it was an imaginary problem from the beginning. I guess I should go through all the profiling documentation more carefully. Jeff On Tue, Feb 17, 2009 at 2:46 PM, Bernie Pope wrote: > > On 17/02/2009, at 3:56

Re: [Haskell-cafe] Memory

On 17/02/2009, at 3:56 PM, Jeff Douglas wrote: Hello All, The kind people at #haskell suggested I come to haskell-cafe for questions about haskell performance issues. I'm new to haskell, and I'm having a hard time understanding how to deal with memory leaks. I've been playing with some networ

Re: [Haskell-cafe] Memory

inbuninbu: > Hello All, > > The kind people at #haskell suggested I come to haskell-cafe for > questions about haskell performance issues. > I'm new to haskell, and I'm having a hard time understanding how to > deal with memory leaks. > > I've been playing with some network server examples and I

[Haskell-cafe] Memory

Hello All, The kind people at #haskell suggested I come to haskell-cafe for questions about haskell performance issues. I'm new to haskell, and I'm having a hard time understanding how to deal with memory leaks. I've been playing with some network server examples and I noticed with each new conne

Re: [Haskell-cafe] Re: [Haskell] ANN: The Typeclassopedia, and request for feedback

On Mon, Feb 16, 2009 at 8:13 PM, wren ng thornton wrote: > Isaac Dupree wrote: > >> Natural numbers under min don't form a monoid, only naturals under max do >> (so you can have a zero element) >> > > Though, FWIW, you can use Nat+1 with the extra value standing for Infinity > as the identity of

Re: [Haskell-cafe] Re: [Haskell] ANN: The Typeclassopedia, and request for feedback

Isaac Dupree wrote: Natural numbers under min don't form a monoid, only naturals under max do (so you can have a zero element) Though, FWIW, you can use Nat+1 with the extra value standing for Infinity as the identity of min (newtype Min = Maybe Nat). I bring this up mainly because it can be

[Haskell-cafe] Re: [Haskell] ANN: The Typeclassopedia, and request for feedback

I'm really confused that when I replied (not reply-to-all, not reply-to-list, just reply) to that message, it went to the lists and not to you Brent! (KMail 1.10.3) -- so I totally edited the "To" lines, to send this message... Brent Yorgey wrote: > Hi all, > > If you've noticed the lack of a H

[Haskell-cafe] Re: [Haskell] ANN: The Typeclassopedia, and request for feedback

Natural numbers under min don't form a monoid, only naturals under max do (so you can have a zero element) Brent Yorgey wrote: > Hi all, > > If you've noticed the lack of a HWN this week, that's because I've > been doggedly finishing my article entitled 'The Typeclassopedia', > which I have just

Re: [Haskell-cafe] ANN : Crypto 4.2.0 & Related News

On Mon, Feb 16, 2009 at 7:30 PM, Antoine Latter wrote: > On Mon, Feb 16, 2009 at 12:48 PM, Creighton Hogg wrote: >> Hello Haskellers, >> >> I'm pleased to announce version 4.2.0 of Crypto has been uploaded to >> Hackage & that I am taking over maintenance of the library from >> Dominic Steinitz.

Re: [Haskell-cafe] ANN : Crypto 4.2.0 & Related News

On Mon, Feb 16, 2009 at 12:48 PM, Creighton Hogg wrote: > Hello Haskellers, > > I'm pleased to announce version 4.2.0 of Crypto has been uploaded to > Hackage & that I am taking over maintenance of the library from > Dominic Steinitz. As of this release it should be cabal install'able > on GHC 6.

Re: [Haskell-cafe] Haskell.org GSoC

Daniel Kraft wrote: Do you think something would be especially nice to have and is currently missing? Have type class aliases been implemented yet? This proposal (or parts or it) seems like a very useful compiler extension to have, and might be an interesting GSoC project. http://repetae.ne

Re: [Haskell-cafe] Functional GUIs again

Hi Peter, Thanks! I haven't tried to compile with 0.10.0 but I can guess that the errors arise from the use of ListStore. I'm not sure what the best approach is here. Is 0.9.13 over now? If so, then I'll upgrade and fix it. For now it would certainly make sense to put the dependency into

[Haskell-cafe] Re: Complex C99 type in Foreign

On 2009-02-14, Maurí­cio wrote: > The way you wrote CComplex a, is it possible to write > > foreign import ccall "somename" somename >:: CComplex CDouble -> IO CComplex CDouble Ah, no, I'm afraid not, I misunderstood what you wanted. You do indeed need to go through CPtr (CComplex CDouble)

Re: [Haskell-cafe] parallelism or concurrency ? if they are different

On Fri, 13 Feb 2009 11:09:35 +0100, Paolino wrote: When I came to haskell, I arrived with a small and only evolutionary background in programming. First monad I met was MonadState StdGen m. Everything was in someway acceptable, I had no problem in explicitating the need for the generator. The

Re: [Haskell-cafe] ANN: The Typeclassopedia, and request for feedback

On Mon, 2009-02-16 at 15:30 +0100, Fraser Wilson wrote: > Super! Also, best definition of bottom I've yet seen -- "ignoring _| > _, which is a party pooper". Like good code, it's short, to the > point, and obviously correct. This brings up something I've thought about: On page 8, it is said tha

Re: [Haskell-cafe] Functional GUIs again

Hi Fraser, That's some great hacking you did :-) What version of GTK2HS did you use? I get various compiler errors when using the latest GTK2HS 0.10.0. Cheers, Peter 2009/2/16 Fraser Wilson > Now that I re-read my email, it looks like I'm saying "Username requested" > in the sense of "OK, Ca

Re: [Haskell-cafe] Infinite types should be optionally allowed

On Sat, Feb 14, 2009 at 2:06 PM, Job Vranish wrote: > I'm pretty sure that the problem is decidable, at least with haskell > 98 types (other type extensions may complicate things a bit). It ends > up being a graph unification algorithm. I've tried some simple > algorithms and they seem to work. >

Re: [Haskell-cafe] Functional GUIs again

Now that I re-read my email, it looks like I'm saying "Username requested" in the sense of "OK, Cafe people, treat this as a user name request and step to it." What I meant was that I have requested a username (via the email), and once I have an account I'll put it on hackage. Sorry for the confu

Re: [Haskell-cafe] forall & ST monad

On Mon, 2009-02-16 at 19:36 +0100, Wolfgang Jeltsch wrote: > Am Montag, 16. Februar 2009 19:22 schrieb Wolfgang Jeltsch: > > Am Montag, 16. Februar 2009 19:04 schrieb Kim-Ee Yeoh: > > > Despite its rank-2 type, runST really doesn't have anything to do with > > > existential quantification. > > > >

Re: [Haskell-cafe] Functional GUIs again

On Mon, 2009-02-16 at 20:30 +0100, Fraser Wilson wrote: > You must have missed the bit about "congenitally lazy" :-) > > Username requested ... See http://hackage.haskell.org/packages/accounts.html All you need to do is email Ross and ask. Duncan ___

RE: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

Dan Doel wrote: > > Someone already mentioned using Dynamic as an alternate base (for > instance, use a Map of dynamics for underlying storage). Of course, > the implementation of Dynamic in GHC uses unsafeCoerce, just like ST, > so you may not count that. > However, using GADTs, you can implem

Re: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

On Monday 16 February 2009 8:44:21 am Josef Svenningsson wrote: > On Mon, Feb 16, 2009 at 2:30 AM, wren ng thornton wrote: > > Louis Wasserman wrote: > >> I follow. The primary issue, I'm sort of wildly inferring, is that use > >> of STT -- despite being pretty much a State monad on the inside --

[Haskell-cafe] Re: ANNOUNCE: pqueue-mtl, stateful-mtl

Louis Wasserman wrote in article in gmane.comp.lang.haskell.cafe: > The point here is that a MonadST instance guarantees that the bottom monad > is an ST -- and therefore single-threaded of necessity -- and grants any > ST-based monad transformers on top of it access to its single state thread.

Re: [Haskell-cafe] Re: Low-level high-level languages?

C-- is kind of dead; it lives on in spirit as a data type used by the back end of GHC, but there hasn't been much development in C-- as a language proper in a while. LLVM seems to be gaining momentum in that space; Lennart has been posting some experiments with generating LLVM code in Haskell in h

Re: [Haskell-cafe] Looping after compiling with cabal

On Mon, 16 Feb 2009 14:56:01 +0100, Wolfgang Jeltsch wrote: Am Montag, 16. Februar 2009 13:07 schrieb Neil Mitchell: Hi Henk-Jan, I believe cabal adds a -O on the command line, perhaps try ghc --make -O (after deleting all object files) If it’s the -O option what causes the loop then it i

Re: [Haskell-cafe] Functional GUIs again

Oh, cheers! Newtype deriving is more general than I expected. Thanks for the comment. I've requested a hackage account, so I expect it to be there shortly :-) cheers, Fraser. On Mon, Feb 16, 2009 at 9:12 PM, Ryan Ingram wrote: > Tiny code-review comment: > > > data Style = Style [(String, St

Re: [Haskell-cafe] forall & ST monad

Correct. And under the hood, GHC does implement runST in its existential dual form using a hidden State# type. I wonder however, if we're wandering too far away from the OP's query about grokking runST and "how the ST monad works." I'd imagine that means he'd like to see how rank-2 polymorphism k

Re: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

Don't use the > data (context) => type = constructors syntax, it doesn't do what you want. All it does is add the context to the constructor B while not providing it to any of the functions that use it. A better solution is > data Bar a = forall b. Foo a b => B a b or, equivalently, using GADT

Re: [Haskell-cafe] Functional GUIs again

You must have missed the bit about "congenitally lazy" :-) Username requested ... cheers, Fraser. On Mon, Feb 16, 2009 at 8:10 PM, Lennart Augustsson wrote: > Put it on hackage! > > 2009/2/16 Fraser Wilson : > > Since I'm congenitally lazy, and writing a GUI by hand in the IO monad is > > ...

Re: [Haskell-cafe] Functional GUIs again

Put it on hackage! 2009/2/16 Fraser Wilson : > Since I'm congenitally lazy, and writing a GUI by hand in the IO monad is > ... not what I expect from a beautiful program, and because what I often > need is a GUI that manipulates a state, and because I don't understand > arrows, and having been int

Re: [Haskell-cafe] ANN : Crypto 4.2.0 & Related News

wchogg: > Hello Haskellers, > > I'm pleased to announce version 4.2.0 of Crypto has been uploaded to > Hackage & that I am taking over maintenance of the library from > Dominic Steinitz. As of this release it should be cabal install'able > on GHC 6.10.1. I'm also pleased to announce that the dar

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

Am Montag, 16. Februar 2009 19:27 schrieben Sie: > Ah. Copy, don't darcs get. If you copy a repository which was itself fetched from somewhere using this lazy patch fetching feature, you’ll probably experience problems too. If it’s the repository you work in and you never fetched any patches in

[Haskell-cafe] Functional GUIs again

Since I'm congenitally lazy, and writing a GUI by hand in the IO monad is ... not what I expect from a beautiful program, and because what I often need is a GUI that manipulates a state, and because I don't understand arrows, and having been intrigued by a recent cafe thread, I threw together a pro

[Haskell-cafe] ANN : Crypto 4.2.0 & Related News

Hello Haskellers, I'm pleased to announce version 4.2.0 of Crypto has been uploaded to Hackage & that I am taking over maintenance of the library from Dominic Steinitz. As of this release it should be cabal install'able on GHC 6.10.1. I'm also pleased to announce that the darcs repo will be movi

Re: [Haskell-cafe] forall & ST monad

Am Montag, 16. Februar 2009 19:22 schrieb Wolfgang Jeltsch: > Am Montag, 16. Februar 2009 19:04 schrieb Kim-Ee Yeoh: > > Despite its rank-2 type, runST really doesn't have anything to do with > > existential quantification. > > First, I thought so too but I changed my mind. To my knowledge a type >

Re: [Haskell-cafe] forall & ST monad

Am Montag, 16. Februar 2009 19:04 schrieb Kim-Ee Yeoh: > Despite its rank-2 type, runST really doesn't have anything to do with > existential quantification. First, I thought so too but I changed my mind. To my knowledge a type (forall a. T[a]) -> T' is equivalent to the type exists a. (T[a] -> T

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

Am Montag, 16. Februar 2009 19:08 schrieben Sie: > Yeah, I lack some darcs fu unfortunately. I understood it was just a > matter of copying a repository. I'll have a look, and by have a look > I mean bother #haskell :-) If you don’t use this lazy fetch feature (or whatever it is called) then you

[Haskell-cafe] Arch Haskell News: Feb 16 2009

Arch now has 926 Haskell packages in AUR. That’s an increase of 27 new packages in the last 8 days, or 3.38 new Haskell apps a day. This weekly news includes: * Noteworthy updates: grapefruit, haskelldb, gtk2hs * A video on how to use Arch packages * Updated releases by category Re

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

Yeah, I lack some darcs fu unfortunately. I understood it was just a matter of copying a repository. I'll have a look, and by have a look I mean bother #haskell :-) Cheers, Fraser Sent from my iPhone On 16 feb 2009, at 18:51, Wolfgang Jeltsch wrote: Am Montag, 16. Februar 2009 18:05

Re: [Haskell-cafe] forall & ST monad

Peter Verswyvelen-2 wrote: > > I'm having trouble understanding the explanation of the meaning of the > signature of runST at > http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types > > I could try to read the article a couple of times again, but are there any > other good reading

Re: Fwd: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

Am Montag, 16. Februar 2009 18:05 schrieb Fraser Wilson: > I'd love to hack on Grapefruit. That’s great! > I'll do some study (and take a break from my own world-changing functional > GUI :-) I tried to check out your repository at but darcs get fai

Re: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

Is there a way of exploiting functional dependencies in the following fashion? class Foo a b | a -> b where... data Foo a b => Bar a = B a b This is not ambiguous, because the functional dependency ensures a unique b if one exists. Can this be done without mentioning b as a type variable in Bar

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

Am Montag, 16. Februar 2009 16:55 schrieben Sie: > I would actually quite like to integrate Hieroglyph with Grapefruit, > which would give you your Cairo support and give me a sensible way to > implement events outside of my really rather broken model. This sounds really interesting. Do you alread

Fwd: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

(Wolfgang is probably wondering why I sent him an email about how great Utrecht is) Oh, yeah, that's coming up, isn't it? Utrecht finally gets the glory she deserves (for those who aren't aware, Utrecht has the most beautiful canals in the Netherlands, which is saying something, and is largely u

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

Am Montag, 16. Februar 2009 17:46 schrieb Wolfgang Jeltsch: > Am Montag, 16. Februar 2009 16:27 schrieb Gour: > > Do you anticipate that Grapefruit will be capable for writing real-world > > GUI apps quit soon? > > I have no concrete anticipation. It depends very much on the community. If > there i

Re: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

I just posted stateful-mtl and pqueue-mtl 1.0.2, making use of the new approach to single-threaded ST wrapping. I discovered while making the modifications to both packages that the MonadSTTrans type class was unnecessary, enabling a cleaner integration with mtl proper. I'm pretty confident that

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

Am Montag, 16. Februar 2009 16:27 schrieb Gour: > Do you anticipate that Grapefruit will be capable for writing real-world > GUI apps quit soon? I have no concrete anticipation. It depends very much on the community. If there is notable interest and this interest makes people hacking on Grapefru

Re: [Haskell-cafe] hslogger bugs or features - patches

> You didn't notice setHandlers? > > -- | Set the 'Logger'\'s list of handlers to the list supplied. > -- All existing handlers are removed first. > setHandlers :: LogHandler a => [a] -> Logger -> Logger > > It is perfectly valid to set the root logger's handlers to [] if you > want it to d

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

Am Montag, 16. Februar 2009 16:43 schrieb Peter Verswyvelen: > 2009/2/16 Gour > > > Do you anticipate that Grapefruit will be capable for writing real-world > > GUI apps quit soon? > > LOL. Funny typo. If the apps quit soon we're in trouble! :-) I’m sure that current Grapefruit applications will

Re: [Haskell-cafe] HaskellDB is alive?

On Sat, Feb 14, 2009 at 2:43 AM, Felipe Lessa wrote: > Hello! > > There was a new HaskellDB release, but I didn't see any announcement > here. Is it back alive? What happened to 0.11? > 0.11 existed in the repository but was never uploaded to Hackage. I updated the HDBC backends and rolled the ve

Re: [Haskell-cafe] ANN: The Typeclassopedia, and request for feedback

On Mon, Feb 16, 2009 at 11:53 AM, Daniel Fischer wrote: > Hah, seems I'm the first to point out a flaw in it: > > Bottom of page 13: > "Also, note that although _ >> m = m would be a type-correct implementation > of (>>), it" > The remainder of the sentence is missing. Sorry, I've already reporte

RE: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

Oh, I see, every derived monad has to have an 's' in its type somewhere. From: Louis Wasserman [mailto:wasserman.lo...@gmail.com] Sent: 16 February 2009 16:17 To: Sittampalam, Ganesh Cc: Dan Doel; Henning Thielemann; haskell-cafe@haskell.org Subject: Re: [Haskell

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

I apologize, I did not mean to be rude at all, I found it a great typo to summarize the previous attempts for doing fully functional GUIs in Haskell. 2009/2/16 Gour > > "Peter" == Peter Verswyvelen writes: > > Peter> LOL. Funny typo. If the apps quit soon we're in trouble! :-) > > Well, let'

Re: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

But the m -> s dependency will have been removed by the time runST gets a hold of it! It works, I just tested it. *Control.Monad.Array.ArrayM> :t runST (runArrayT 5 Nothing getContents) runST (runArrayT 5 Nothing getContents) :: [Maybe a] *Control.Monad.Array.ArrayM> runST (runArrayT 5 Nothing ge

[Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

> "Peter" == Peter Verswyvelen writes: Peter> LOL. Funny typo. If the apps quit soon we're in trouble! :-) Well, let's do some LOL-ing on my own account... Sincerely, Gour -- Gour | Zagreb, Croatia | GPG key: C6E7162D

RE: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

I don't think this can be right, because the m -> s dependency will contradict the universal quantification of s required by runST. In other words, unwrapping the transformers will leave you with an ST computation for a specific s, which runST will reject. From: L

Re: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

Overnight I had the following thought, which I think could work rather well. The most basic implementation of the idea is as follows: class MonadST s m | m -> s where liftST :: ST s a -> m a instance MonadST s (ST s) where ... instance MonadST s m => MonadST ... newtype FooT m e = FooT (StateT

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

> "Peter" == Peter Verswyvelen writes: Peter> 2009/2/16 Gour >> Do you anticipate that Grapefruit will be capable for writing >> real-world GUI apps quit soon? Peter> LOL. Funny typo. If the apps quit soon we're in trouble! Peter> :-) Nay - it just shows the GHC optimi

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

I would actually quite like to integrate Hieroglyph with Grapefruit, which would give you your Cairo support and give me a sensible way to implement events outside of my really rather broken model. On Mon, Feb 16, 2009 at 10:04 AM, Wolfgang Jeltsch wrote: > Am Montag, 16. Februar 2009 15:13 schri

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

2009/2/16 Gour > Do you anticipate that Grapefruit will be capable for writing real-world > GUI > apps quit soon? LOL. Funny typo. If the apps quit soon we're in trouble! :-) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.or

[Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

> "Wolfgang" == Wolfgang Jeltsch writes: Hello Wolfgang, congratulation for your Grapefruit release! Wolfgang> This would be really great. Writing applications with Wolfgang> Grapefruit gives me useful feedback and pressure for Wolfgang> improvement. Note that currently the set of supported

Re: [Haskell-cafe] ANN: The Typeclassopedia, and request for feedback

Positively brilliant. What else can be said? Time for Brent to sign a "Haskell recipes" deal with O'Reilly (or whatever the next normal book should be). On Mon, Feb 16, 2009 at 4:29 AM, Brent Yorgey wrote: > Hi all, > > If you've noticed the lack of a HWN this week, that's because I've > been dog

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

Am Montag, 16. Februar 2009 15:13 schrieben Sie: > So I have an application that I am developing. The UI module includes > the following: > > import Graphics.UI.Gtk > import Graphics.Rendering.Cairo > import Graphics.Rendering.Cairo.SVG > import Graphics.UI.Gtk.Gdk.EventM > > Can you tell from that

Re: [Haskell-cafe] ANN: The Typeclassopedia, and request for feedback

Am Montag, 16. Februar 2009 10:29 schrieb Brent Yorgey: > Hi all, > > If you've noticed the lack of a HWN this week, that's because I've > been doggedly finishing my article entitled 'The Typeclassopedia', > which I have just submitted for publication in the Monad.Reader. Good decision (not in any

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

On Mon, 16 Feb 2009, Wolfgang Jeltsch wrote: [redirecting to haskell-cafe] Am Sonntag, 15. Februar 2009 00:26 schrieben Sie: One more thing, would Grapefruit work with files created by Glade (UI builder)? No, it won’t, I’m afraid. There is, for example, the principal problem that Glade is

Re: [Haskell-cafe] ANN: The Typeclassopedia, and request for feedback

Super! Also, best definition of bottom I've yet seen -- "ignoring _|_, which is a party pooper". Like good code, it's short, to the point, and obviously correct. Thanks for this. It's great to have it all in one place, and so entertainingly presented. cheers, Fraser. On Mon, Feb 16, 2009 at 1

Re: [Haskell-cafe] Re: Low-level high-level languages?

Google doesn't hear you ? Yell louder ! http://www.cminusminus.org/ 2009/2/16 Fraser Wilson : > What was that stripped-down low-level version of C I saw coming out of ... > was it Microsoft Research? C-- or something. Unfortunately, the name > appears to be immune to Googling. > > 2009/2/16 Alb

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

On Mon, 16 Feb 2009, Wolfgang Jeltsch wrote: [redirecting to haskell-cafe] Am Sonntag, 15. Februar 2009 00:25 schrieben Sie: Hi Wolfgang, I was wondering if I can use FLTK as GUI backend for Grapefruit? This should be possible in principal. It just could be that my assumptions about how wid

Re: [Haskell-cafe] Re: Low-level high-level languages?

What was that stripped-down low-level version of C I saw coming out of ... was it Microsoft Research? C-- or something. Unfortunately, the name appears to be immune to Googling. 2009/2/16 Alberto G. Corona > http://www.ats-lang.org/ > > 2009/2/16 Jon Fairbairn > > Maurí­cio writes: >> >> > H

[Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

On Mon, 16 Feb 2009, Wolfgang Jeltsch wrote: [redirecting to haskell-cafe] Am Samstag, 14. Februar 2009 23:13 schrieben Sie: Great, does it run well on Windows and Mac platforms in addition to Linux platform which should run fine? Actually, I have no idea. ;-) Well, Grapefruit is a pure Has

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

> "Wolfgang" == Wolfgang Jeltsch writes: Wolfgang> This would be really great. Writing applications with Wolfgang> Grapefruit gives me useful feedback and pressure for Wolfgang> improvement. Note that currently the set of supported Wolfgang> widgets is very low but this is lik

Re: [Haskell-cafe] forall & ST monad

Am Montag, 16. Februar 2009 14:21 schrieben Sie: > Aha! Wolfgang is a man who knows his own code :) > Yes, I've seen this a couple of times but when I saw it again in > Grapefruit, I wanted to know how this usage of existentials worked, since > I'm sooo curious to find out how you managed to use th

Re: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

2009/2/16 Josef Svenningsson : > On Mon, Feb 16, 2009 at 2:30 AM, wren ng thornton wrote: >> Louis Wasserman wrote: >>> >>> I follow. The primary issue, I'm sort of wildly inferring, is that use of >>> STT -- despite being pretty much a State monad on the inside -- allows >>> access to things lik

Re: [Haskell-cafe] Looping after compiling with cabal

Am Montag, 16. Februar 2009 13:07 schrieb Neil Mitchell: > Hi Henk-Jan, > > I believe cabal adds a -O on the command line, perhaps try ghc --make > -O (after deleting all object files) If it’s the -O option what causes the loop then it is problably because of this:

Re: [Haskell-cafe] createProcess shutting file handles

> However the createProcess command structure has the close_fds flag, > which seems like it should override that behaviour, and therefore this > seems like a bug in createProcess. close_fds :: Bool Close all file descriptors except stdin, stdout and std

Re: [Haskell-cafe] ANNOUNCE: first Grapefruit release

Am Samstag, 14. Februar 2009 23:37 schrieb Roman Cheplyaka: > * Wolfgang Jeltsch [2009-02-14 17:19:09+0100] > > > Dear friends of Haskell and Functional Reactive Programming, > > > > its my pleasure to announce the first official release of Grapefruit, a > > library for Functional Reactive Program

Re: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

On Mon, Feb 16, 2009 at 2:30 AM, wren ng thornton wrote: > Louis Wasserman wrote: >> >> I follow. The primary issue, I'm sort of wildly inferring, is that use of >> STT -- despite being pretty much a State monad on the inside -- allows >> access to things like mutable references? > > That's exact

Re: [Haskell-cafe] ANNOUNCE: first Grapefruit release

Am Sonntag, 15. Februar 2009 16:27 schrieben Sie: > Hi Wolfgang, > > Thank you for the excellent introduction Oh, I thought that you didn’t send you original question to the list and therefore answered you only privately. So the others don’t know yet the introduction you refer to (but see below)

Re: [Haskell-cafe] forall & ST monad

Aha! Wolfgang is a man who knows his own code :) Yes, I've seen this a couple of times but when I saw it again in Grapefruit, I wanted to know how this usage of existentials worked, since I'm sooo curious to find out how you managed to use the type system for solving some of the typical FRP problem

[Haskell-cafe] Re: ANN: The Typeclassopedia, and request for feedback

Brent Yorgey wrote: > > If you've noticed the lack of a HWN this week, that's because I've > been doggedly finishing my article entitled 'The Typeclassopedia', > which I have just submitted for publication in the Monad.Reader. > > My hope is that this will be a valuable resource to the Haskell > c

[Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

[redirecting to haskell-cafe] Am Sonntag, 15. Februar 2009 00:26 schrieben Sie: > One more thing, would Grapefruit work with files created by Glade (UI > builder)? No, it won’t, I’m afraid. There is, for example, the principal problem that Glade is GTK+-specific (as far as I know) while Grapefru

[Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

[redirecting to haskell-cafe] Am Sonntag, 15. Februar 2009 00:25 schrieben Sie: > Hi Wolfgang, > > I was wondering if I can use FLTK as GUI backend for Grapefruit? This should be possible in principal. It just could be that my assumptions about how widgets are created and composed were too tight

[Haskell-cafe] Re: [Haskell] ANNOUNCE: first Grapefruit release

[redirecting to haskell-cafe] Am Samstag, 14. Februar 2009 23:13 schrieben Sie: > Great, does it run well on Windows and Mac platforms in addition to Linux > platform which should run fine? Actually, I have no idea. ;-) Well, Grapefruit is a pure Haskell library without any own binding to C li

Re: [Haskell-cafe] createProcess shutting file handles

Neil Mitchell wrote: Hi However the createProcess command structure has the close_fds flag, which seems like it should override that behaviour, and therefore this seems like a bug in createProcess. close_fds :: Bool Close all file descriptors except stdin, stdout and stderr in

Re: [Haskell-cafe] forall & ST monad

Am Sonntag, 15. Februar 2009 17:50 schrieb Peter Verswyvelen: > I'm having trouble understanding the explanation of the meaning of the > signature of runST Were you just reading the documentation of Grapefruit’s era parameters or why are you studying ST? ;-) Best wishes, Wolfgang __

[Haskell-cafe] Ann: Yogurt-0.3

Dear Haskellers, I'm pleased to announce the release of Yogurt-0.3! This version improves over 0.2 in several ways: * It compiles and runs with GHC 6.10. * The Mud monad is now built on top of IO. * Vars are expressed as IORefs. No more unsafeCoerce needed. * Forking of threads is supported, wi

Re: [Haskell-cafe] Re: Amazing

Am Sonntag, 15. Februar 2009 23:00 schrieb Peter Verswyvelen: > But if I understand it correctly, dependent types are a bit like that, > values and types can inter-operate somehow? With dependent types, parameters of types can be values. So you can define a data type List which is parameterized b

Re: [Haskell-cafe] Looping after compiling with cabal

Hi Henk-Jan, I believe cabal adds a -O on the command line, perhaps try ghc --make -O (after deleting all object files) Thanks Neil On Mon, Feb 16, 2009 at 12:04 PM, Henk-Jan van Tuyl wrote: > > L.S., > > I have updated wxFruit to compile with GHC 6.10.1, but when I compil using > the commands

[Haskell-cafe] Looping after compiling with cabal

L.S., I have updated wxFruit to compile with GHC 6.10.1, but when I compil using the commands: runhaskell Setup configure & runhaskell Setup build & runhaskell Setup install and run paddle.exe, I get the message: paddle: <> If I compile with: ghc --make paddle , the game starts n

Re: [Haskell-cafe] ANN: The Typeclassopedia, and request for feedback

Wonderful, thank you! On Mon, Feb 16, 2009 at 4:29 AM, Brent Yorgey wrote: > Hi all, > > If you've noticed the lack of a HWN this week, that's because I've > been doggedly finishing my article entitled 'The Typeclassopedia', > which I have just submitted for publication in the Monad.Reader. > Her

Re: [Haskell-cafe] Re: Low-level high-level languages?

http://www.ats-lang.org/ 2009/2/16 Jon Fairbairn > Maurí­cio writes: > > > Hi, > > > > I've checked this 'BitC' language (www.bitc-lang.org). It > > uses some ideas we see in Haskell, although with different > > realization, and target mainly reliable low level code, > > like micro-kernels (alt

Re: [Haskell-cafe] ANN: The Typeclassopedia, and request for feedback

Brent Yorgey wrote: > My hope is that this will be a valuable resource to the Haskell > community, especially those who are learning. Any feedback would be > greatly appreciated, especially if it helps improve the article before > publication. A draft can be found here: > > http://www.cis.

Re: [Haskell-cafe] ANN: The Typeclassopedia, and request for feedback

Hi Brent, I want to congratulate you on your article! An excellent piece of work which should be compulsory reading for all serious haskell programmers :) My one suggestion would be that you expand on some of the examples; for example, in the monoid section, you refer to various cool ap

[Haskell-cafe] Re: Low-level high-level languages?

Maurí­cio writes: > Hi, > > I've checked this 'BitC' language (www.bitc-lang.org). It > uses some ideas we see in Haskell, although with different > realization, and target mainly reliable low level code, > like micro-kernels (although I think it could be used > anywhere C is also used, including

[Haskell-cafe] Re: permuting a list

Paul Johnson writes: > See http://okmij.org/ftp/Haskell/perfect-shuffle.txt I should have read that first time round! -- Jón Fairbairn jon.fairba...@cl.cam.ac.uk http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html (updated 2009-01-31) __

[Haskell-cafe] Re: ANNOUNCE: hslibsvm-2.88.0.1 - A FFI binding to LibSVM

Hi Stephan, it seems you beat me ;-) I've been working on the same thing as well. You'll find my effort at http://bitbucket.org/pao/hsvm/. What is missing is: - the final bindings to complete the API - haddock documentation - cabal setup Unfortunately the commit log are in italian (I didn't pl

Re: [Haskell-cafe] Amazing

"Michael D. Adams" writes: >>> A bit hurray for strong typing! > > Don't forget Algebraic Data Types. Those seem to also avoid many of > the sorts of errors that you would see in OO or struct-based (i.e. C) > programming. I think the combination of algebraic data types and strong typing is very

[Haskell-cafe] ANN: The Typeclassopedia, and request for feedback

Hi all, If you've noticed the lack of a HWN this week, that's because I've been doggedly finishing my article entitled 'The Typeclassopedia', which I have just submitted for publication in the Monad.Reader. Here's the abstract: The standard Haskell libraries feature a number of type classes

Re: [Haskell-beginners] Re: [Haskell-cafe] Re: permuting a list

Heinrich Apfelmus wrote: Alberto Ruiz wrote: How about using random doubles? randomPerm xs = fmap (map snd . sort . flip zip xs) rs where rs = fmap (randoms . mkStdGen) randomIO :: IO [Double] Interesting idea. The chance of duplicates should be negligible now, but that's because we're us

  1   2   >