July 2012 - Beginners

DPH installation and LLVM
by listig314＠gmail.com 06 Aug '12

06 Aug '12

Dear all, being completely new to Haskell I wanted to explore what DPH is about, so I tried to install it via cabal install dph-examples but the installation process stops once it gets to installing the actual examples package: --- Building dph-examples-0.6.1.3... Preprocessing executable 'dph-spectral-smvm' for dph-examples-0.6.1.3... [1 of 3] Compiling Vectorised ( examples/spectral/SMVM/dph/Vectorised.hs, dist/build/dph-spectral-smvm/dph-spectral-smvm-tmp/Vectorised.o ) exprType TYPE ghc-prim:GHC.Types.Double{(w) tc 3u} exprType TYPE ghc-prim:GHC.Types.Double{(w) tc 3u} exprType TYPE ghc-prim:GHC.Types.Double{(w) tc 3u} exprType TYPE ghc-prim:GHC.Types.Double{(w) tc 3u} exprType TYPE ghc-prim:GHC.Types.Double{(w) tc 3u} exprType TYPE (ghc-prim:GHC.Types.Int{(w) tc 3J}, ghc-prim:GHC.Types.Double{(w) tc 3u}) Warning: Couldn't figure out LLVM version! Make sure you have installed LLVM ghc: could not execute: opt cabal: Error: some packages failed to install: dph-examples-0.6.1.3 failed during the building phase. The exception was: ExitFailure 1 --- This is the rest of my setup: Mac OS X 10.7.4 Xcode 4.3.3 + Command Line Tools (from within Xcode) Haskell Platform 2012.2.0.0 32bit Why doesn't Haskell find the LLVM compiler? Is there a way to install the remaining examples without LLVM compilation? Thanks, Oliver

3 6

Re: [Haskell-beginners] [Haskell-cafe] The following is supposed to be initializing a 2D array but it doesn't seem to work.
by KC 31 Jul '12

31 Jul '12

That was it! On Tue, Jul 31, 2012 at 3:34 PM, Jan-Willem Maessen <jmaessen(a)alum.mit.edu>wrote: > > > On Tue, Jul 31, 2012 at 5:52 PM, KC <kc1956(a)gmail.com> wrote: > >> All I am getting is this: >> >> array ((1,5),(1,5)) [((1,5),1.0)] >> >> Maybe the behaviour of ghc was changed since the article was written. >> > > I think you've made a common mistake here. Array bounds are (lower in all > dimensions, upper in all dimensions). So perhaps you intended to use the > bounds ((1,1), (5,5)) in your code? > > I make this mistake frequently. > > -Jan-Willem Maessen > -- -- Regards, KC

1 0

The following is supposed to be initializing a 2D array but it doesn't seem to work.
by KC 31 Jul '12

31 Jul '12

newArr :: (Ix i) => i -> i -> e -> Array i e newArr n m x = listArray (n,m) (repeat <http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v:repeat> x) ----- Prelude <http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html> Data.Array> newArr 0 10 0 array (0,10) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0),(9,0),(10,0)] Prelude <http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html> Data.Array> newArr (0,0) (5,5) 0 array ((0,0),(5,5)) [((0,0),0),((0,1),0),((0,2),0),((0,3),0),((0,4),0),((0,5),0),((1,0),0),((1,1),0),((1,2),0),((1,3),0),((1,4),0),((1,5),0),((2,0),0),((2,1),0),((2,2),0),((2,3),0),((2,4),0),((2,5),0),((3,0),0),((3,1),0),((3,2),0),((3,3),0),((3,4),0),((3,5),0),((4,0),0),((4,1),0),((4,2),0),((4,3),0),((4,4),0),((4,5),0),((5,0),0),((5,1),0),((5,2),0),((5,3),0),((5,4),0),((5,5),0)] All I am getting is this: array ((1,5),(1,5)) [((1,5),1.0)] Maybe the behaviour of ghc was changed since the article was written. -- -- Regards, KC

1 0

XmlPickler on ADT
by Tim Perry 31 Jul '12

31 Jul '12

Hi everyone, I'm trying to learn to write XmlPicklers. I've been trying to follow the tutorial on the HaskelWiki, but it doesn't quite cover an issue I've run into. http://www.haskell.org/haskellwiki/HXT/Conversion_of_Haskell_data_from/to_X… I have a ADTs like so: data Plant = Plant { renewables :: [Renewable] , rewewableMonthly :: [RenewableMonthly] , waterHeating :: [WaterHeating] , hvac :: [HVAC] } deriving (Read, Show, Eq) data Renewable = Renewable { dcRating :: Double -- kW , annualTDV :: Double -- CA Energy Comm. TDV } deriving (Read, Show, Eq) data RenewableMonthly = RenewableMonthly { month :: Int , cost :: Double , demand :: Double , energy :: Double } deriving (Read, Show, Eq) data WaterHeating = WaterHeating { whName :: String -- name for reference purposes. , whQuantity :: Int ... data HVAC = HVAC { slaStatus :: String -- Specific leakage area construction type. , newCFM50 :: Double -- New building leakage in cubic feet per minute. , existCFM50 :: Double I want to use an XmlPickler to read and write this. The XML looks like this: <Plant> <Renewables DCRating="8.4" AnnualTDV="0" /> <RenewableMonthly Month="1" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="2" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="3" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="4" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="5" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="6" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="7" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="8" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="9" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="10" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="11" Cost="0" Demand="0" Energy="0" /> <RenewableMonthly Month="12" Cost="0" Demand="0" Energy="0" /> <WaterHeating Name="Daikin Altherma HP" Quantity="1" ConstructionStatus="New" EnergyFactor="2.344" SolarFraction="0" .... <HVAC SLAStatus="New" NewCFM50="0" ExistCFM50="0" NewSLA="4.9000000953674316" ExistSLA="4.9" DuctStatus="New" .... <Zone ... Running my code I get an error: -- (1) readDocument: start processing document "1101_11-001 Walsh.xml" -- (1) getXmlContents: content read and decoded for "file:///fairoaks1/all_proj/1101%20PG&E%20CAHP%2011-12/CRM/EProDataExtractPlanning/XML%20samples/1101_11-001%20Walsh.xml" -- (1) getXmlContents' -- (1) readDocument: "1101_11-001 Walsh.xml" (mime type: "text/xml" ) will be processed -- (1) readDocument: "1101_11-001 Walsh.xml" processed fatal error: document unpickling failed xpCheckEmptyContents: unprocessed XML content detected context: element "Plant" contents: Is it possible to write an XmlPickler for this? Do I need to make Renewable, RenewableMonthly, WaterHeating, and HVAC all the same type with 4 constructors and use xpAlt? Ideas? Thanks, Tim

1 1

Is there a way to hide an existing data type so that I can use my own version?
by Costello, Roger L. 31 Jul '12

31 Jul '12

Hi Folks, For learning purposes, I created an "Either" data type: data Either a b = Left a | Right b deriving (Show) However, when I try to use Left (or Right), I get an error message saying that it is ambiguous whether I am using Prelude.Left or Main.Left So I tried hiding Prelude.Either like so: import Prelude hiding Either But that produced an error. Is there a way to hide the existing Either data type so that I can use my own version? /Roger

2 2

Here's why functions should return functions
by Costello, Roger L. 30 Jul '12

30 Jul '12

Hi Folks, Recently I had a small epiphany: when creating functions, design them to return functions rather than non-function values (Integer, Bool, list, tuple, etc.). Here's why: Consider a function that returns, say, the integer four ( 4 ). The type of the value returned by the function is this: 4 :: Num a => a That is, the value returned is not a function, it is a number. However, there are advantages to returning a function rather than a number. Recall the composition operator ( . ) Its operands are functions, e.g. (+1) . (*3) In programming, one school of thought is that programs should be written as a chain of function compositions: a . b . c . d . e . f Composition is intimately connected to a branch of mathematics called Category Theory: Category theory is based on composition as a fundamental operation in much the same way that classical set theory is based on the 'element of' or membership relation. ["Category Theory for Computing Science" by Michael Barr and Charles Wells] By designing programs in this fashion--as a chain of compositions--you have Category Theory's vast body of knowledge to help you and give rigor to your programs. Let's revisit the function mentioned above, the one that returns the integer four ( 4 ). If the function were to return the four cloaked in a function then that returned value could be used in a composition. That would very useful. Here's a data type that lifts non-function values to functions: data Lift a = Function a deriving (Show) The constructor ( Function ) is a function, as its type signature shows: Function :: a -> Lift a So rather than returning 4, return Function 4. Here's a function that converts any value to a function: lift :: a -> Lift a lift = Function Thus, lift 4 returns Function 4 Given the Lift data type and the lift function we can now start chaining functions together. Here the value four is lifted and then composed with a successor function: (successor . lift) 4 returns Function 5 where successor is defined as: successor :: Num a => Lift a -> Lift a successor (Function a) = lift (a + 1) Notice that successor returns a function, not a non-function value. Consequently, the result of successor can also be used in a composition. For example, here the value four is lifted, composed with successor, and then square is applied: (square . successor . lift) 4 returns Function 25 where square is defined as: square :: Num a => Lift a -> Lift a square (Function a) = lift (a * a) Once again notice that square also returns a function, not a non-function value. Consequently, the result of square can be used in a composition. At some point we are finished manipulating the value four and want to just see the result, not the result wrapped in a constructor. So we can create a function to return the non-function value: value :: Lift a -> a value (Function a) = a Here's an example: (value . square . successor . lift) 4 returns 25 Comments welcome. /Roger

5 9

Fwd: Here's why functions should return functions
by Antoine Latter 29 Jul '12

29 Jul '12

Oops, I forgot to "reply-all" ---------- Forwarded message ---------- From: Antoine Latter <aslatter(a)gmail.com> Date: Sun, Jul 29, 2012 at 1:03 PM Subject: Re: [Haskell-beginners] Here's why functions should return functions To: Jay Sulzberger <jays(a)panix.com> On Sun, Jul 29, 2012 at 12:00 PM, Jay Sulzberger <jays(a)panix.com> wrote: > > > There is, in most sub-systems of mathematics, whether like recent > type theory or not, a general function, let us call it mcf which > in Scheme notation may be defined by executing > > (define mcf > (lambda (a) > (lambda (x) a))) > > Now in Haskell I know that one, perhaps the, parallel definition > must result in a polymorphic function. > > What is this definition? How polymorphic is it? What implicit > constraints are on a? Does "lazy vs eager" come in here? Are > there options to ghc which might modify how Haskell handles the > definition? > I think this is it: http://hackage.haskell.org/packages/archive/base/latest/doc/html/Prelude.ht… It's definitions is: const x _ = x Antoine > Of course, my questions are too many and I hope just for some > indications of the first things a beginner should study. > > oo--JS. > > > PS. Below is a short Scheme session showing some of the behavior of Scheme. > > SCM version 5d9, Copyright (C) 1990-2002 Free Software Foundation. > SCM comes with ABSOLUTELY NO WARRANTY; for details type `(terms)'. > This is free software, and you are welcome to redistribute it > under certain conditions; type `(terms)' for details. > ;loading /usr/local/lib/slib/require > ;done loading /usr/local/lib/slib/require.scm >> >> (define mcf > > (lambda (a) > (lambda (x) a))) > #<unspecified> >> >> (define const-17 (mcf 17)) > > #<unspecified> >> >> (const-17 "abc") > > 17 >> >> (define const-1+ (mcf 1+)) > > #<unspecified> >> >> (const-1+ "abc") > > #<CLOSURE <anon> "/usr/local/lib/scm/Init5d9.scm": (n) (+ n 1)> >> >> ((const-1+ "abc") 200) > > 201 >> >> ((const-1+ 56) 200) > > 201 >> >> (quit) > > ;EXIT > > Process scheme finished > > > > _______________________________________________ > Beginners mailing list > Beginners(a)haskell.org > http://www.haskell.org/mailman/listinfo/beginners >

1 0

cabal / haddock: view source with API
by Christopher Howard 27 Jul '12

27 Jul '12

Hi. I've been familiarizing myself with cabal (great system, btw) and learned that I could get haddock documentation built with each package with --enable-documentation (or adjusting the config file). I think that is great because I prefer having the API on my own system rather than having to surf to hackage every time. However, one difference I've noticed is that at hackage, I can click on the "source" buttons and see the source for each element, whereas on the local documentation this functionality is not available. Is it possible to configure my local cabal / haddock to do this as well? -- frigidcode.com indicium.us

1 0

Re: [Haskell-beginners] List syntax
by Lyndon Maydwell 27 Jul '12

27 Jul '12

On Fri, Jul 27, 2012 at 10:52 PM, Stayvoid <stayvoid(a)gmail.com> wrote: > Thanks. > > P.S. I think that you should send your answer to the list to show the > others that this issue is solved. Ah, I thought I replied to all. Well, here is my reply for the record :-) Here's what I'm describing in a GHCi session: > λ [LT..GT] > > <interactive>:2:2: > Failed to load interface for `LT' > Use -v to see a list of the files searched for. > > <interactive>:2:2: > A section must be enclosed in parentheses thus: (LT.. GT) I'm assuming that this was the error that you encountered when you tried to use the syntax [LT..GT]. In my example I used a renamed module, but this also makes sense for a module imported the usual way. I renamed the module so you could see directly how an ambiguity could occur for 'LT'. If you import a module you can rename it by using the 'as' keyword, in this case, 'LT'. There is now an ambiguity between 'LT' = "less than" and 'LT' = "Data.List". > λ import qualified Data.List as LT > > λ :i LT.map > map :: (a -> b) -> [a] -> [b] -- Defined in `GHC.Base' Here is a demonstration of the renamed module in action. > λ :i LT.. > > Top level: > Failed to load interface for `LT' > Use -v to see a list of the files searched for. And here is what I think is causing your error to be thrown - The symbol '.' is being searched for in module LT in the same manner that 'map' was in the previous example, now given that there is no LT module, it is failing. This ambiguity might seem annoying, but it's not too bad since you can just put some spaces in to resolve it.

2 1

List syntax
by Stayvoid 27 Jul '12

27 Jul '12

Hi, Why can't we do this: [LT..GT]? The following works: ['a'..'e'] ['a' .. 'e'] [LT .. GT] Cheers

2 2