### The madness of implicit parameters: cured?

When I first learned about implicit parameters I thought they were a great idea. The honeymoon ended about the time I wrote some code of the form let ?foo = 123 in expr2, where expr2 used ?foo implicitly, and debugging eventually unearthed the fact that ?foo's implicit value was not being set to

### Re: *safe* coerce, for regular and existential types

Does this technique extend to polymophic types? Yes, of course. The type F a b in the earlier message was polymorphic. Let's say we have the following type: data D a = C | D a Is it possible to index the type D a? I have just lifted the polymorphic Maybe -- which is isomorphic to your

### Re: *safe* coerce: four methods compared

[EMAIL PROTECTED] wrote: This is a Related Work section of the previous message. ... again cunning stuff omitted ... I buy most of this but IMHO you should make very clear that there is not just a single safeCoerce, but the TI/init_typeseq argument has to be constructed and supplied by the

### Laziness

Could someone explain to me why this doesn't work test l = hs where hs = map (\x - [x]) [0..abs(l `div` hLen)] hLen = length \$ head hs whereas this does test l = hs where hs = map (\x - [x]) (0:[1..abs(l `div` hLen)]) hLen = length \$ head hs I would have thought laziness would allow

Does anyone know if Haskell is/was used to develop educative games? Do you recommend some papers on the subject? Thanks a lot, -- Andre Furtado ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

### Re: Laziness

On 2003-08-02 at 14:36PDT Dominic Steinitz wrote: Could someone explain to me why this doesn't work test l = hs where hs = map (\x - [x]) [0..abs(l `div` hLen)] hLen = length \$ head hs whereas this does test l = hs where hs = map (\x

### Re: The madness of implicit parameters: cured?

On Sat, 2 Aug 2003 00:45:07 -0700 (PDT) Ben Rudiak-Gould [EMAIL PROTECTED] wrote: When I first learned about implicit parameters I thought they were a great idea. The honeymoon ended about the time I wrote some code of the formlet ?foo = 123 in expr2, where expr2 used ?foo implicitly, and

### -------|ÓÅ»ÝÐéÄâÖ÷»ú£¡|------

Ç×°®µÄÅóÓÑ£º ÄúºÃ£¡ ÕâÊÇÀ´×ÔÏÃÃÅÊÐ±¦Áé¿Æ¼¼ÍøÂçÓÐÏÞ¹«Ë¾µÄÎÊºî¡£¸ÐÐ»ÄúÊÕ¿´Õâ·âÓÊ¼þ¡£ÎÒÃÇÕæ³ÏµÄÏ£Íû ÄúÄÜ³ÉÎªÎÒÃÇÔÚ¹óµØÇøµÄÖØÒª»ï°é¡£ÎÒÃÇÊÇÒ»¼Ò²ÉÓÃÊÀ½ç¸ßÐÂ¼¼Êõ½á¾§£¬ÑÐ¾¿¡¢ÍÆ¹ãºÍ·¢Õ¹ ÐÂ¼¼Êõ£¬ÖÂÁ¦ÓÚ»¥ÁªÍøÐÅÏ¢·þÎñ¡¢ÓòÃû×¢²á·þÎñºÍÐéÄâÖ÷»ú·þÎñµÄ¸ßÐÂ¼¼ÊõÆóÒµ¡£ÏêÇéÇëä¯ ÀÀ:http://www.host-china.com