June 2008 - Haskell-Cafe

(no subject)
by Adrian Neumann 15 Jun '08

15 Jun '08

{- I downloaded the source and put my file in the same directory You may need to adjust the imports -} module Main where import Picture import Draw -- change xWin to 1000 and yWin to 700 for this to work import EnableGUI -- I use a Mac import SOE hiding (Region) import qualified SOE as G (Region) import Data.List import Random -- lines are not Shapes unfortunately linie = ((Shape $ Polygon [(-0.1,-0.01),(-0.1,0.01),(0.1,0.01), (0.1,-0.01)]), (-0.1,0), (0.1,0)) main = enableGUI >> do w <- openWindow "Lindenmayer System" (xWin, yWin) newStdGen g <- getStdGen drawPic w (aufgabe2 g) k <- getKey w if (k=='q') then do closeWindow w return () else do clearWindow w main -- one big ugly line of code, not that interesting though aufgabe2 g= dasBild where r = rotateRegion (pi/2) $ Translate (-2.5,0) $ renderLSystem linie (lSystem 20 g) dasBild = Region White r `Over` Region Black ( Translate (0,-1.8) $ Scale (1,0.3)$ Translate (0,-2.6) $ rotateRegion (pi/2+pi/ 3) $ Translate (0,2.6) $ r) `Over` Region Green (Shape $ Polygon [(-5,-3.5),(-5,-1.5),(5,-1.5),(5,-3.5)]) `Over` Region Yellow (Translate (4,1.5) (Shape $ circle (0.5))) `Over` Region Blue (Shape $ Rectangle 14 7) -- start of the interesting part: -- A - Axiom, the base shape we use for rendering later --F - Forward --Branch - what it says data LSys = A LSys | F LSys | Branch StdGen [LSys] LSys | Done deriving Show -- a Axiom is a region with two connector points type Axiom = (Region, Vertex, Vertex) -- this seems not to be used anymore? scaleAxiom :: Float -> Axiom -> Axiom scaleAxiom f (r,u,v) = (Scale (f,f) r, f .*. u, f .*. v) -- just for testing purposes testLSys = A (Branch (mkStdGen 5) [A (F ((Branch (mkStdGen 5) [A (Branch (mkStdGen 5) [A (F ((Branch (mkStdGen 5) [A (F Done), A (F Done)] Done))), A (F Done)] Done), A (F Done)] Done))), A (F Done)] Done) -- a 2D rotation matrix drehM :: Float -> (Float, Float, Float, Float) drehM w = (cos w, -sin w, sin w, cos w) -- matrix vector multiplication (.**.) :: (Float, Float, Float, Float) -> Vertex -> Vertex (.**.) (a,b,c,d) (px,py) = (a*px+b*py, c* px+d*py) -- other vector stuff (.-.) (a,b) (c,d) = (a-c,b-d) (.+.) (a,b) (c,d) = (a+c,b+d) (.*.) l (c,d) = (c*l,d*l) abs' (a,b) = (abs a, abs b) betr (a,b) = sqrt (a*a+b*b) -- SOE doesn't come with a way to rotate Regions, so I wrote my own rotateRegion :: Float -> Region -> Region rotateRegion f (Shape s) = Shape (rotateS f s) rotateRegion f (Translate v r) = Translate ((drehM f).**.v) (rotateRegion f r) -- the scaling part is not right I think. Everything seems to break if I try to incorporate scaling -- into the rendering rotateRegion f (Scale v r) = Scale ((betr v/ betr nv) .*. nv) (rotateRegion f r) where x = ((drehM f).**. (fst v,0)) y = ((drehM f) .**. (0,snd v)) nv = (abs' x) .+. (abs' y) rotateRegion f (Complement r) =Complement (rotateRegion f r) rotateRegion f (Union r1 r2) = Union (rotateRegion f r1) (rotateRegion f r2) rotateRegion f (Intersect r1 r2) = Intersect (rotateRegion f r1) (rotateRegion f r2) rotateRegion f (Xor r1 r2) = Xor (rotateRegion f r1) (rotateRegion f r2) rotateRegion _ s=s rotateS f (Polygon pts) = Polygon (map ((drehM f) .**.) pts) rotateS f x = x -- nondeterministically generate a word in our LSys language -- lots of copy&paste here, any way to do this better? lSystem :: Int -> StdGen -> LSys lSystem n g = f n g (A undefined) where f :: Int -> StdGen -> LSys -> LSys f 0 _ _ = Done f (n+1) g (A _) | choose >= 1 = A (f n ng (F undefined)) | choose == 0 = A (f n ng (Branch ng [f n ng' (A undefined), f n ng'' (A undefined)] undefined)) where (choose, ng) = randomR (0::Int,3::Int) g (ng', ng'') = split ng f (n+1) g (F _) | choose >= 1 = F (f n ng (F undefined)) | choose == 0 = F (f n ng (Branch ng [f n ng' (A undefined), f n ng'' (A undefined)] undefined)) where (choose, ng) = randomR (0::Int,3::Int) g (ng', ng'') = split ng f (n+1) g (Branch h lSys _) | choose >= 1 = Branch h lSys (f n ng (F undefined)) | choose == 0 = Branch h lSys (f n ng (Branch ng [f n ng' (A undefined), f n ng'' (A undefined)] undefined)) where (choose, ng) = randomR (0::Int,5::Int) g (ng', ng'') = split ng -- recursivly render a LSys renderLSystem :: Axiom -> LSys -> Region renderLSystem _ Done = Empty renderLSystem (r,u,v) (A lSys) = r `Union` renderLSystem (r,u,v) lSys renderLSystem (r,u,v) (F lSys) = r'' `Union` renderLSystem (r'', u . +. o , v .+.o) lSys where r'' = Translate o $ r o = (v .-. u) renderLSystem (r,u,v) (Branch g lSys rest) = theBranches `Union` renderLSystem (r,u,v) rest where theBranches = Translate o $ foldr Union Empty $ -- we need to rotate around the u-Connector, not around (0,0) -- thus translation map (Translate u) $ zipWith ($) rotations (map ((Translate ((0,0).-.u)).(renderLSystem (r,u,v))) lSys) rotations = map rotateRegion (randomRs (-pi/4,pi/3) g) -- branches are rotated randomly o = (v .-. u)

2 2

OT: Paper on increasing entropy in software systems
by Magnus Therning 15 Jun '08

15 Jun '08

This is wildly off topic, but since the Haskell community is a rather academic one I thought there might be a good chance to find someone who can point me in the right direction. I was just listening to Brooks' talk at OOPSLA 2007 and in the Q&A part at the end he mentions a paper on increasing entropy in software systems. He mentions the authors' names but I can't quite make it out and Google hasn't been very helpful either. He says the paper “must be 30 years old” and it sounds like he says it's by Les Bellati and Manny Leimann (Lehmann?). As I said, I can't quite make out the names, and the names ring no bells for me. Does anyone on the list know what paper he's referring to? /M -- Magnus Therning (OpenPGP: 0xAB4DFBA4) magnus＠therning．org Jabber: magnus．therning＠gmail．com http://therning.org/magnus What if I don't want to obey the laws? Do they throw me in jail with the other bad monads? -- Daveman

3 2

ANN: Topkata
by Brent Yorgey 15 Jun '08

15 Jun '08

On Sat, Jun 14, 2008 at 10:53 AM, Christoph Bauer < c-bauer-olsbruecken(a)t-online.de> wrote: > Hello Neil, > > > Looks cool! Could you upload it to hackage? > > Thank you. Ok, I uploaded the current version. At the moment you have > to run topkata in the topkata-0.0 directory with > ./dist/build/topkata/topkata, because it has to find its texture/sound > files. There's a way to put something in the .cabal file about extra data files, and have it install them in a certain location that you can then find programmatically. I forget the details, but I think it's pretty easy to set up. Maybe take a look through the Cabal documentation. Or maybe Duncan will jump in and explain. =) -Brent

3 2

Template Haskell sugar / spliceing in automatically ?
by Marc Weber 14 Jun '08

14 Jun '08

Hi, I've been thinking about template haskell sugar lately. Some cool libraries are there such as metaHDBC or the template haskell printf library. However they all have one thing in common: $(printf "...") a b c $(runStmt "INSERT INTO ( ) VALUES ( ?, ?, ? )" ) 2 3 4 Would it make sense to automatically splice those functions? {-# auto-splice: runStmt, printf #-} So that you can just use printf "..." a b c and runStmt "INSERT INTO ( ) VALUES ( ?, ?, ? )" 2 3 4 without $() ? Would this be convinient? Marc Weber

2 1

ANN: Printf-TH
by Marc Weber 14 Jun '08

14 Jun '08

Igloo (Ian Lynagh) allowed me kindly taking over maintainance on his printf library using template haskell written in 2003. I've updated it so that it compiles with ghc-6.8.2. You can get it from hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Printf-TH usage looks like this: {-# OPTIONS_GHC -XTemplateHaskell #-} ... import Language.Haskell.TH.Syntax import Text.Printf.TH (printf) ... putStrLn $ $(printf "Foo %H bar") (Just 5) putStrLn $ $(printf "%6d") 1 putStrLn $ $(printf "%6d") (-1) Short Explanation: $(printf "%d") will be replaced by a auto generated function taking an int etc Benefit: Wrong arg types or wrong printf arg count will result in compile time errors. Enjoy Marc Weber

1 0

const is question
by odtaa48 14 Jun '08

14 Jun '08

hello could someone explain the following differing results const id 0 5 -> 5 -- ie. 'takes' the 'last' one const (id 0) 5 -> 0 -- ie. 'takes' the 'first' one Thanks

3 2

Hoogle totally broken?
by Richard 14 Jun '08

14 Jun '08

It'd seem that (at least the online version of) Hoogle is totally broken and useless. See, for example, the output when looking for: Monad m => m a -> (a -> m b) -> m b (i.e. (>>=)'s type) over at: http://haskell.org/hoogle/?q=Monad+m+%3D>+m+a+->+(a+->+m+b)+->+m+b Data.Generics.Sche... everywhere :: (a -> a) -> a -> a Data.Generics.Sche... everywhere' :: (a -> a) -> a -> a Prelude. ($) :: (a -> b) -> a -> b Prelude. ($!) :: (a -> b) -> a -> b Data.Function. ($) :: (a -> b) -> a -> b Prelude. maybe :: b -> (a -> b) -> Maybe a -> b Data.Maybe. maybe :: b -> (a -> b) -> Maybe a -> b ... and so on. (>>=) isn't there at all!?

4 3

ANN: Mueval 0.21
by Gwern Branwen 14 Jun '08

14 Jun '08

Hiya everyone. I'd like to announce the release of a little CLI program I whipped up. It's called mueval <http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mueval>. WHAT: Mueval grew out of my discontent with Lambdabot: it's really neat to be able to run expressions like this: 07:53 < ivanm> > filter (\ x -> isLetter x || x == '\t') "asdf$#$ dfs" 07:55 < lambdabot> "asdfdfs" But lambdabot is crufty and very difficult to install or run. IMO, we need a replacement or rewrite, but one of the things that make this difficult is that lambdabot uses hs-plugins to get that sort of evaluation functionality, and hs-plugins is half the problem. We want some sort of standalone executable which provides that functionality. Now, 'ghc -e' is obviously unsuited because there is no sandboxing, so what I've done is basically marry the GHC API (as rendered less sharp-edged by Hint) with a bunch of resource limits and sandboxing (as largely stolen from lambdabot). EXAMPLES: The end result is an adorable little program, which you can use like this: bash-3.2$ mueval --expression '1*100+1' Expression type: (Num t) => t result: "101" bash-3.2$ mueval --expression "filter (\`notElem\` ['A'..'Z']) \"abcXsdzWEE\"" Expression type: [Char] result: "\"abcsdz\"" Note that mueval will avoid all the attacks I've been able to test on it: bash-3.2$ mueval --expression 'let x = x in x' Expression type: t result: "mueval: Time limit exceeded bash-3.2$ mueval --expression "let foo = readFile \"/etc/passwd\" >>= print in foo" Expression type: IO () result: "<IO ()>" bash-3.2$ mueval --module System.IO.Unsafe --expression "let foo = unsafePerformIO readFile \"/etc/passwd\" in foo" mueval: Unknown or untrusted module supplied! Aborting. SUMMARY: Anyway, it's my hope that this will be useful as an example or useful in itself for people endeavouring to fix the lambdabot situation or just in safely running code period. GETTING: You can download mueval at the usual place: <http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mueval>. (There will probably be a darcs repository at some point.) ----- TODO: Mueval isn't feature-complete yet. The last thing I want to add is an ability to change the current user to 'mubot', which presumably the user will have set up to have access to next to nothing much like is already often done with daemons, but I haven't been able to figure out how to do this - the only suitable function I've found is 'setUID', and that requires one to be root... -- gwern SHA Fetish Ceridian Eurosat munitions MCI spies 26 M.P.R.I. ISN

1 0

cgi liftM liftIO
by Cetin Sert 14 Jun '08

14 Jun '08

Hi, Could someone please care to explain what I am doing wrong below in cgiMain2 and how can I fix it? ./Main.hs:25:15: No instance for (MonadCGI IO) arising from a use of `output' at ./Main.hs:25:15-20 Possible fix: add an instance declaration for (MonadCGI IO) In the first argument of `($)', namely `output' In the expression: output $ renderHtml $ page "import" fileForm In the definition of `upload': upload = output $ renderHtml $ page "import" fileForm ./Main.hs:57:29: Couldn't match expected type `CGI CGIResult' against inferred type `IO CGIResult' In the first argument of `handleErrors', namely `cgiMain2' In the second argument of `($)', namely `handleErrors cgiMain2' In the expression: runCGI $ handleErrors cgiMain2 import IO import Network.CGI import Text.XHtml import qualified Data.ByteString.Lazy as BS import Control.Monad (liftM) import Data.Maybe (fromJust) import Interact fileForm = form ! [method "post", enctype "multipart/form-data"] << [afile "file", submit "" "Upload"] page t b = header << thetitle << t +++ body << b cgiMain1 = do getInputFPS "file" ↠ λms → maybe upload contents ms ↠ return where upload = output $ renderHtml $ page "import" fileForm contents = outputFPS cgiMain2 = do getInputFPS "file" ↠ λms → maybe upload contents ms ↠ return where upload = output $ renderHtml $ page "import" fileForm contents = λs → do (i,o,h,_) ← runUnzip BS.hPutStr i s c ← BS.hGetContents o outputFPS c {- (i,o,h,_) ← runUnzip BS.hPutStr i s BS.hGetContents o ↠ outputFPS -} {- liftM :: (Monad m) => (a1 -> r) -> m a1 -> m r liftIO :: (MonadIO m) => IO a -> m a saveFile n = do cont <- liftM fromJust $ getInputFPS "file" let f = uploadDir ++ "/" ++ basename n liftIO $ BS.writeFile f cont return $ paragraph << ("Saved as " +++ anchor ! [href f] << f +++ ".") -} runUnzip = runInteractiveCommand "unzip -l /dev/stdin" main = runCGI $ handleErrors cgiMain2 Best Regards, Cetin Sert P/s: what are lifts o_O?

3 2

LDAP 0.6.3 build failure
by Jason Dusek 13 Jun '08

13 Jun '08

I'm trying to build the LDAP libs, version 0.6.3, on a recent MacBook Air with OpenLDAP 2.3.27 (the version of OpenLDAP shipped by Apple). The "atom sorting error" I get from `ld` is outside my range of knowledge -- if some could advise me on how to get around it, I'd be much obliged. I'm using the Apple toolchain to do do the build. -- _jsn :; Setup configure && Setup build Configuring LDAP-0.6.3... Preprocessing library LDAP-0.6.3... Building LDAP-0.6.3... ar: creating archive dist/build/libHSLDAP-0.6.3.a ld: atom sorting error for _LDAPzm0zi6zi3_LDAPziTypesLL_Berval_closure_tbl and _LDAPzm0zi6zi3_LDAPziTypesLL_CLDAP_closure_tbl in dist/build/LDAP/TypesLL.o ld: atom sorting error for _LDAPzm0zi6zi3_LDAPziTypesLL_Berval_closure_tbl and _LDAPzm0zi6zi3_LDAPziTypesLL_CLDAP_closure_tbl

2 1