×ð¾´µÄÐÂÀÏ¿Í»§£º

×ð¾´µÄÐÂÀÏ¿Í»§£º ÄúºÃ£¡ Êý×ÖÒýÇæ(www.9dns.net)ΪÁË´ðлÄúÒÔ¼°¹ã´ó¿Í»§¶ÔÎÒ˾µÄÖ§³ÖºÍÐÅÈΣ¬ÎÒÃÇÔÙ´ÎÌá¸ßоɷþÎñÆ÷µÄÐÔÄÜ£¬ÈÃÄúµÄÍøÕ¾¿Õ¼äÔË×÷¸ü¿ì ¡¢¸üÎȶ¨¡¢¸ü°²È«£¬Í¬Ê±ÎÒÃÇ»¹½µµÍÁ˲úÆ·¼Û¸ñ£¬ÈÃÄúÏíÊܸüÓÅÖʵķþÎñ¡££¨ÎÒ˾ÍøÕ¾ÏÖÒÑȫиİ棺www.9dns.net£© 200M HTML¿Õ¼ä+1¸ö¹ú¼

Dependent Types

I've managed to crack something that always annoyed me when I used to do network programming. However, Hugs and GHC behave differently. I'd be interested in views on this approach and also which implementation behaves correctly. Suppose I want to send an ICMP packet. The first byte is the type an

GRIN as a backend

There was talk a couple of years ago about attaching the GRIN backend to the GHC frontend; I was wondering if anything became of this, or if any other high-performance graph reduction algorithms have been implemented to the point of usability... - Hal -- Hal Daume III "Computer science is no

Re: preprocessing printf/regex strings (like ocaml)

Jorge Adriano <[EMAIL PROTECTED]> writes: > > > the python string notation (str % tuple) would fit really well too... > > > putStrLn "hello %s, you got %d right" % ("oliver", 5) > > > > Might be nice. > > What would be the type of putStrLn then? some solutions to this: - cayenne http://www

Re: preprocessing printf/regex strings (like ocaml)

the python string notation (str % tuple) would fit really well too... putStrLn "hello %s, you got %d right" % ("oliver", 5) Might be nice. What would be the type of putStrLn then? The type of putStrLn would remain unchanged. The idea would be to let the compiler translate the string "hello %s,

Re: preprocessing printf/regex strings (like ocaml)

> > the python string notation (str % tuple) would fit really well too... > > putStrLn "hello %s, you got %d right" % ("oliver", 5) > > Might be nice. What would be the type of putStrLn then? J.A. ___ Haskell mailing list [EMAIL PROTECTED] http://w