Send Beginners mailing list submissions to
        beginners@haskell.org

To subscribe or unsubscribe via the World Wide Web, visit
        http://www.haskell.org/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
        beginners-requ...@haskell.org

You can reach the person managing the list at
        beginners-ow...@haskell.org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."


Today's Topics:

   1. Re:  Re: proper way to read fold types (Brandon S Allbery KF8NH)
   2.  playing around with code from the tutorials for  Yesod - and
      this came up. (Michael Litchard)
   3.  Re: playing around with code from the tutorials  for Yesod -
      and this came up. (Michael Litchard)


----------------------------------------------------------------------

Message: 1
Date: Mon, 26 Jul 2010 11:16:37 -0400
From: Brandon S Allbery KF8NH <allb...@ece.cmu.edu>
Subject: Re: [Haskell-beginners] Re: proper way to read fold types
To: beginners@haskell.org
Message-ID: <4c4da6d5.8080...@ece.cmu.edu>
Content-Type: text/plain; charset=UTF-8

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 7/26/10 07:30 , dan portin wrote:
> I'm still a Haskell newbie, so take this with a grain of salt: the type
> signature of /foldr/ and /foldr1/ confuses me also. While I understand how
> each operates, I've never found a description of the type signatures of
> either functions which explains why the function argument of /foldr1/ is of
> type (a -> a -> a) instead of (a -> b -> b). This is the conclusion I came

foldr1 is just foldr where "z" is taken off the end of the list.  Therefore,
given [a] as the list type, b (the type of z) unifies with a; and since the
folding function is initially called with z along with the first element of
the list, (a -> b -> b), in the case of foldr1 it is forced to (a -> a -> a).

- -- 
brandon s. allbery     [linux,solaris,freebsd,perl]      allb...@kf8nh.com
system administrator  [openafs,heimdal,too many hats]  allb...@ece.cmu.edu
electrical and computer engineering, carnegie mellon university      KF8NH
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.10 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAkxNptUACgkQIn7hlCsL25VwrACgkTamfkChSLoWYJUuqXL3vYEs
OMoAoMsJwZHf1of5uBQB7/iUSYjZuyC3
=DF5B
-----END PGP SIGNATURE-----


------------------------------

Message: 2
Date: Mon, 26 Jul 2010 08:57:24 -0700
From: Michael Litchard <mich...@schmong.org>
Subject: [Haskell-beginners] playing around with code from the
        tutorials for   Yesod - and this came up.
To: beginners@haskell.org
Message-ID:
        <aanlktinunhp-8inakubh95ogxk502a9sfkntn94kw...@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

This code I am using can be seen from this url.

http://docs.yesodweb.com/yesod/tutorial/ajax.html

I downloaded it from the site, tried to compile and got this error.

ajax.lhs:55:29: Not in scope: `style_css'

ajax.lhs:55:29: Not in scope: `script_js'


Here is line 55
>   hamletToContent [$hamlet|

I'm lost when it comes to figuring out why this won't compile? Changes
in interface since the tutorial was written maybe?

Any help would be greatly appreciated.


------------------------------

Message: 3
Date: Mon, 26 Jul 2010 09:45:09 -0700
From: Michael Litchard <mich...@schmong.org>
Subject: [Haskell-beginners] Re: playing around with code from the
        tutorials       for Yesod - and this came up.
To: beginners@haskell.org
Message-ID:
        <aanlktimgrbizq3km1agls=egrpnv=uff9adeuyd0z...@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

Not sure what I did, but it compiles now. Thanks to Michael Snoyman
for making Yesod. :)

On Mon, Jul 26, 2010 at 8:57 AM, Michael Litchard <mich...@schmong.org> wrote:
> This code I am using can be seen from this url.
>
> http://docs.yesodweb.com/yesod/tutorial/ajax.html
>
> I downloaded it from the site, tried to compile and got this error.
>
> ajax.lhs:55:29: Not in scope: `style_css'
>
> ajax.lhs:55:29: Not in scope: `script_js'
>
>
> Here is line 55
>>   hamletToContent [$hamlet|
>
> I'm lost when it comes to figuring out why this won't compile? Changes
> in interface since the tutorial was written maybe?
>
> Any help would be greatly appreciated.
>


------------------------------

_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://www.haskell.org/mailman/listinfo/beginners


End of Beginners Digest, Vol 25, Issue 52
*****************************************

Reply via email to