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: A post about Currying and Partial application (Rustom Mody) 2. Trying out GuiTV (Martin Baldan) 3. Re: Trying out GuiTV (Brandon Allbery) 4. Re: Trying out GuiTV (Antoine Latter) ---------------------------------------------------------------------- Message: 1 Date: Sun, 2 Oct 2011 19:43:05 +0530 From: Rustom Mody <rustompm...@gmail.com> Subject: Re: [Haskell-beginners] A post about Currying and Partial application To: beginners@haskell.org Message-ID: <CAJ+TeoccC9ouSTEAK=NfNwj198VaP2qC=yyyr074ktqsa2r...@mail.gmail.com> Content-Type: text/plain; charset="iso-8859-1" On Sun, Oct 2, 2011 at 9:00 AM, Felipe Almeida Lessa <felipe.le...@gmail.com > wrote: > On Sun, Oct 2, 2011 at 12:04 AM, Rustom Mody <rustompm...@gmail.com> > wrote: > > How would you classify a function of type (Int, Int) -> Int -> Int ? > > It's curried. Uncurried would be: > > ((Int, Int), Int) -> Int > Yes, if you mean that uncurrying it gives the type ((Int, Int), Int) -> Int But it can also be curried to get the type Int -> Int -> Int -> Int Does that not make it uncurried as well? > > Likewise if we have a polymorphic foo: Int -> a and we instantiate a to > Int > > -> Int does foo suddenly get curried? > > Int -> a is both curried and uncurried. Int -> Int -> Int is just curried. > > -- > Felipe. > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.haskell.org/pipermail/beginners/attachments/20111002/ff169572/attachment-0001.htm> ------------------------------ Message: 2 Date: Mon, 3 Oct 2011 02:53:14 +0200 From: Martin Baldan <martino...@gmail.com> Subject: [Haskell-beginners] Trying out GuiTV To: beginners@haskell.org Message-ID: <camxdz4ev5thpbsyeke7frjqj5tacwo_5s3oa9gksxbnvn0a...@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Hello all, I hope this is the right place to ask :) I'm very new to Haskell, but I'm intrigued with the concept of "tangible values". I'm trying to run the examples from Conal Elliott's TV library. I did Cabal install TV and GuiTV. Then I tried to compile the examples from the GuiTV package, but no luck, so I decided to go for something simpler, so I took the examples from the TV site http://haskell.org/haskellwiki/TV but I used the imports from the GuiTV package. I called the file "myexample.hs" and it looks like this: ------------------ {-# LANGUAGE OverlappingInstances, UndecidableInstances ?????????? , IncoherentInstances, FlexibleContexts ?????????? , TypeSynonymInstances, FlexibleInstances ?????????? , MultiParamTypeClasses ?????????? #-} -- For ghc 6.6 compatibility {-# OPTIONS -fglasgow-exts -fallow-overlapping-instances -fallow-incoherent-instances #-} ---- Some GuiTV examples.? See also the examples in TV. import Data.List (sort) -- my addition import Data.Monoid -- end my addition import Interface.TV.UI import Control.Arrow.DeepArrow import Data.FunArr -- TypeCompose import Data.Title -- To pick up the FunArr instance for OFun. import Interface.TV.OFun() reverseT :: CTV (String -> String) reverseT = tv (oTitle "reverse" defaultOut) reverse main = runUI reverseT ----------------------- I don't understand the "#LANGUAGE" and "#OPTIONS" parts, I just left them as they were. I assume that they don't influence the result, since they are comments. I also added the "import Data.Monoid" line, because of a previous error message. I guess it doesn't hurt. Then I type "ghc ./myexample.hs" and the output is: ------------------ myexample.o: In function `s2oa_info': (.text+0x2b): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultOutsrcsnkZMZN0_closure' myexample.o: In function `s2ob_info': (.text+0x61): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultInsrcZMZN0_closure' myexample.o: In function `s2od_info': (.text+0xc6): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultOutsrcsnkZLzmzgZR_closure' myexample.o: In function `s2of_info': (.text+0x169): undefined reference to `TVzm0zi4zi7_InterfaceziTVziOutput_oTitle_closure' myexample.o: In function `r1jF_info': (.text+0x1b7): undefined reference to `TVzm0zi4zi7_InterfaceziTVziTangible_tv_closure' myexample.o: In function `r2nX_info': (.text+0x224): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_zdfCommonOutsZCzi_closure' myexample.o: In function `r2nX_info': (.text+0x22b): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_zdfCommonInsZCzi_closure' myexample.o: In function `r2nX_info': (.text+0x28a): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_runUI_closure' myexample.o: In function `r2nX_info': (.text+0x325): undefined reference to `__stginit_GuiTVzm0zi4_InterfaceziTVziUI_' myexample.o: In function `r2nX_info': (.text+0x32f): undefined reference to `__stginit_TVzm0zi4zi7_InterfaceziTVziOFun_' myexample.o: In function `r2nX_info': (.text+0x339): undefined reference to `__stginit_DeepArrowzm0zi3zi3_ControlziArrowziDeepArrow_' myexample.o: In function `r2nX_info': (.text+0x343): undefined reference to `__stginit_DeepArrowzm0zi3zi3_DataziFunArr_' myexample.o: In function `r2nX_info': (.text+0x34d): undefined reference to `__stginit_TypeComposezm0zi8zi3_DataziTitle_' myexample.o: In function `s2oc_info': (.text+0x7c): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_defaultOut_info' myexample.o: In function `r1jF_srt': (.data+0x8): undefined reference to `TVzm0zi4zi7_InterfaceziTVziOutput_oTitle_closure' myexample.o: In function `r1jF_srt': (.data+0xc): undefined reference to `TVzm0zi4zi7_InterfaceziTVziTangible_tv_closure' myexample.o: In function `r1jF_srt': (.data+0x10): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultOutsrcsnkZMZN0_closure' myexample.o: In function `r1jF_srt': (.data+0x14): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultOutsrcsnkZLzmzgZR_closure' myexample.o: In function `r1jF_srt': (.data+0x18): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultInsrcZMZN0_closure' myexample.o: In function `r2nX_srt': (.data+0x24): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_zdfCommonOutsZCzi_closure' myexample.o: In function `r2nX_srt': (.data+0x28): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_zdfCommonInsZCzi_closure' myexample.o: In function `r2nX_closure': (.data+0x40): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_runUI_closure' collect2: ld returned 1 exit status ------------------ I have no clue what the problem may be. Any ideas? Thanks in advance! ------------------------------ Message: 3 Date: Sun, 2 Oct 2011 21:16:09 -0400 From: Brandon Allbery <allber...@gmail.com> Subject: Re: [Haskell-beginners] Trying out GuiTV To: Martin Baldan <martino...@gmail.com> Cc: beginners@haskell.org Message-ID: <CAKFCL4V5E=smhq93wr_4hzy2sqve7lzjztwanahn8abhtmh...@mail.gmail.com> Content-Type: text/plain; charset="utf-8" On Sun, Oct 2, 2011 at 20:53, Martin Baldan <martino...@gmail.com> wrote: > Then I type "ghc ./myexample.hs" and the output is: This should be > ghc --make myexample.hs (I have no idea why --make is *still* not the default... without it, you need to link in every package explicitly.) -- brandon s allbery allber...@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.haskell.org/pipermail/beginners/attachments/20111002/13d672ab/attachment-0001.htm> ------------------------------ Message: 4 Date: Sun, 2 Oct 2011 21:18:19 -0500 From: Antoine Latter <aslat...@gmail.com> Subject: Re: [Haskell-beginners] Trying out GuiTV To: Brandon Allbery <allber...@gmail.com> Cc: beginners@haskell.org Message-ID: <cakjsnqgyo+hynan_pzuutvhn5rtlctw7xjlvrciaycknrud...@mail.gmail.com> Content-Type: text/plain; charset=UTF-8 On Sun, Oct 2, 2011 at 8:16 PM, Brandon Allbery <allber...@gmail.com> wrote: > On Sun, Oct 2, 2011 at 20:53, Martin Baldan <martino...@gmail.com> wrote: >> >> Then I type "ghc ./myexample.hs" and the output is: > > This should be >> ghc --make myexample.hs > > (I have no idea why --make is *still* not the default... without it, you > need to link in every package explicitly.) It is the default, starting with the 7.0 compiler line :-) Antoine ------------------------------ _______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners End of Beginners Digest, Vol 40, Issue 3 ****************************************