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 form"let ?foo = 123 in expr2", where expr2 used ?foo implicitly,
>
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
>
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
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 =
lengt
[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
> 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
you
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