- Haskell-Cafe - Haskell.org

Num instances for 2-dimensional types
by Sönke Hahn 09 Oct '09

09 Oct '09

Hi! I often stumble upon 2- (or 3-) dimensional numerical data types like (Double, Double) or similar self defined ones. I like the idea of creating instances for Num for these types. The meaning of (+), (-) and negate is clear and very intuitive, i think. I don't feel sure about (*), abs, signum and fromInteger. I used to implement fromInteger n = (r, r) where r = fromInteger n , but thinking about it, fromInteger n = (fromInteger n, 0) seems very reasonable, too. Any thoughts on that? How would you do it? btw: These are two examples i looked at in hackage: Data.Complex.Complex (which is special, cause it is mathematically defined, what (*), abs, signum and fromInteger should do (i think)) and Physics.Hipmunk.Common.Vector (http://hackage.haskell.org/packages/archive/Hipmunk/5.0.0/doc/html/Physics- Hipmunk-Common.html#9) Sönke

18 39

ANNOUNCE: htzaar-0.0.1
by Tom Hawkins 09 Oct '09

09 Oct '09

HTZAAR is a Haskell implementation of TZAAR, a great little two-player abstract strategy game designed by Kris Burm. TZAAR won Games Magazine's Game-of-the-Year in 2008. TZAAR has some interesting game dynamics. At each turn a player must decide whether to attack or strengthen his own pieces. The unbalanced number of tzaars, tzarras, and totts pieces leads to several phase transitions in the game. At first tzaars are targeted, but once they're fortified, tzarras become the targets, then totts. It also has a rather distinct transition from mid to end game. Midway through, most effort is on positioning power pieces for attack. But as more pieces come off the board, movement is restricted to the point where groups become isolated from others, which can work for or against you. Anyway, I thought the game would be a fun AI problem. HTZAAR comes with a very simple AI opponent (lame), but I did my best to structure the interface to make it easy to create new AI strategies. I hope a few people try to build and contribute AI strategies to HTZAAR. And if there's anyway I can improve the AI interface, let me know. HTZAAR can also pit AI against AI. The following is a game between two instances of the "lame" AI. For an idea of the complexity of TZAAR, the number in parentheses indicates the number of possible moves at each turn. TZAAR has a large number of choices at each turn because each turn consists of two different moves (n^2). Typical games are between 15 to 25 turns. $ htzaar -s 22 lame lame 1. white (lame) : D7 -> E7 (42) 2. black (lame) : F6 -> F5 G1 -> F2 (6355) 3. white (lame) : D6 -> E6 A5 -> A4 (5867) 4. black (lame) : F3 -> E4 H2 -> G2 (5227) 5. white (lame) : I2 -> I1 C5 -> C6 (4992) 6. black (lame) : F5 -> G4 H1 -> H3 (4345) 7. white (lame) : H5 -> G6 C6 -> C7 (4176) 8. black (lame) : F7 -> E7 D4 -> C3 (4265) 9. white (lame) : G6 -> E5 H4 -> G5 (3464) 10. black (lame) : H6 -> I5 F2 -> E2 (2870) 11. white (lame) : E5 -> G4 D2 -> D1 (2303) 12. black (lame) : B2 -> C2 G7 -> I5 (2742) 13. white (lame) : G5 -> I5 E6 -> I3 (1965) 14. black (lame) : E7 -> B5 G3 -> E3 (2055) 15. white (lame) : E1 -> F1 I4 -> I3 (1303) 16. black (lame) : E2 -> D1 C4 -> D5 (1656) 17. white (lame) : I5 -> F8 C7 -> I3 (913) 18. black (lame) : B5 -> A4 E4 -> B4 (1480) 19. white (lame) : D3 -> C2 B1 -> C2 (608) 20. black (lame) : B4 -> B6 C3 -> C2 (526) 21. white (lame) : D8 -> E8 F1 -> F4 (185) 22. black (lame) : H3 -> G4 B3 -> B6 (314) 23. white (lame) : C1 -> A1 F4 -> G4 (47) 24. black (lame) : B6 -> E8 E8 -> F8 (125) black (lame) Wins! Screenshots and links: http://tomahawkins.org Known bugs: Occasionally HTZAAR throws a Prelude.head: empty list. I'm still trying to track this down.

4 5

Can HXT and Parsec 3 be used in the same library?
by John Millikin 09 Oct '09

09 Oct '09

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 I'm writing a library that needs to parse both plain text (with Parsec) and XML (with HXT). HXT's .cabal file specifies that it only works with parsec (>= 2.1 && < 3), but it still builds when I depend on parsec >= 3. It's only during "cabal install" that the following error is displayed: - -------------------------------------------- Resolving dependencies... cabal-1.7.3: cannot configure hxt-8.3.1. It requires parsec >=2.1 && <3 For the dependency on parsec >=2.1 && <3 there are these packages: parsec-2.1.0.0 and parsec-2.1.0.1. However none of them are available. parsec-2.1.0.0 was excluded because dbus-core-0.5 requires parsec >=3.0.0 parsec-2.1.0.1 was excluded because dbus-core-0.5 requires parsec >=3.0.0 - -------------------------------------------- Is there a good solution to this? I was thinking about changing my library to use Parsec 2, but that just pushes the problem to my users, it doesn't really solve it. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkrI3BgACgkQIkiy1+fm1TrmJACghhgKDBJNIIa9OVhrZ6zrSii+ HEYAnjqfi0KiIQSNrhGCi6eN1DQoHHs+ =aODO -----END PGP SIGNATURE-----

2 1

type inference question
by minh thu 09 Oct '09

09 Oct '09

Hi, I'd like to know what are the typing rules used in Haskell (98 is ok). Specifically, I'd like to know what makes let i = \x -> x in (i True, i 1) legal, and not let a = 1 in (a + (1 :: Int), a + (1.0 :: Float)) Is it correct that polymorphic functions can be used polymorphically (in multiple places) while non-functions receive a monomorphic type ? Also, I'd like to know why id id True is permitted but not (\f -> f f True) id Is it possible to change the later expression so it type checks ? Are there any type inference algorithms that would accept it ? I'm asking this because I have implemented a simple type inference algorithm following PLAI and I can infer the type for id id True (because I use fresh type variable names for id whenever I apply it before unification) and have an occur check fail for the later expression, just like in haskell. Thanks, Thu

8 13

Any example of concurrent haskell application?
by Daryoush Mehrtash 09 Oct '09

09 Oct '09

I am trying to learn more about concurrent applications in Haskell by studying an existing a real application source code. I would very much appreciate if you can recommend an application that you feel has done a good job in implementing a real time application in Haskell. Daryoush

5 4

GPipe example and screenshot
by Tobias Bexelius 08 Oct '09

08 Oct '09

I've put a simple GPipe example (including a screenshot) on the haskellwiki now, showing off an animated spinning box. You'll find the page here: http://www.haskell.org/haskellwiki/GPipe Later on, I will add more examples, and also some kind of GPipe-tutorial. Hang in there... Cheers Tobias Bexelius _________________________________________________________________ Windows Live: Gör det enklare för dina vänner att se vad du håller på med på Facebook. http://www.microsoft.com/windows/windowslive/see-it-in-action/social-networ…

2 1

New seed. New random number. Right? Wrong.
by michael rice 08 Oct '09

08 Oct '09

I'm entering a new number to make a different seed for my generator each time through the loop, but my resulting numbers are anything but random. Where am I going wrong? Michael ============================= import System.Random import Control.Monad(when) main = do numberString <- getLine when (not $ null numberString) $ do let seed = read numberString let (randNumber, newGen) = randomR (1,6) (mkStdGen seed) :: (Int, StdGen) in putStrLn $ "Number is " ++ show randNumber main ============================= [michael@localhost ~]$ runhaskell zz.hs 12317 Number is 6 12371 Number is 6 37829 Number is 6 8713 Number is 6 71392 Number is 5 29492 Number is 6 41089 Number is 6 28483 Number is 6 78687 Number is 5 40703 Number is 6 86910 Number is 5 15608 Number is 6 56155 Number is 5 31575 Number is 6 72231 Number is 5 51815 Number is 6 20189 Number is 6 71533 Number is 5 17755 Number is 6 91161 Number is 5 [michael@localhost ~]$

3 2

difference "cabal configure" and "runghc Setup.lhs configure"
by Andrew U. Frank 08 Oct '09

08 Oct '09

i have a strange error, which does not occur when i run runghc Setup.lhs configure but when i use cabal configure and then build, it occurs. the error is Type constructor Control.Exception.Exception used as a class in the instance declaration. (i have imported qualified Control.Exception) two questions: 1. Exception is a class (in Control.Exception) - why the error? 2. why is there a difference between runghc and cabal (using the same cabal file). i attach the cabal file and the two configuratin files produced.

2 1

Generalizing IO
by Floptical Logic 08 Oct '09

08 Oct '09

The code below is a little interactive program that uses some state. It uses StateT with IO to keep state. My question is: what is the best way to generalize this program to work with any IO-like monad/medium? For example, I would like the program to function as it does now using stdin but I would also like it to function over IRC using the Net monad from <http://haskell.org/haskellwiki/Roll_your_own_IRC_bot>. Thanks for any suggestions. -- begin code -- import Control.Monad import Control.Monad.State import Data.List data PD = PD { pdCount :: Int , pdList :: [String] } deriving (Show) type PDState = StateT PD IO main = runStateT loop (PD { pdCount = 0, pdList = [] }) loop :: PDState a loop = forever $ do cmd <- liftIO getLine runCmd cmd runCmd :: String -> PDState () runCmd "Inc" = increment runCmd "PrintCount" = liftIO . print =<< getCount runCmd "PrintList" = liftIO . print =<< getList runCmd str | "Add " `isPrefixOf` str = addToList $ drop 4 str runCmd _ = return () getCount :: PDState Int getCount = pdCount `liftM` get getList :: PDState [String] getList = pdList `liftM` get increment :: PDState () increment = modify $ \st -> st { pdCount = pdCount st + 1 } addToList :: String -> PDState () addToList str = modify $ \st -> st { pdList = pdList st ++ [str]} -- end code --

7 12

Let it be
by michael rice 08 Oct '09

08 Oct '09

>From Learn You a Haskell ("Let it be" section): 1. cylinder :: (RealFloat a) => a -> a -> a 2. cylinder r h = 3. let sideArea = 2 * pi * r * h 4. topArea = pi * r ^2 5. in sideArea + 2 * topArea =================== What's the proper indentation for LET so these problems (below) don't arise? I thought LET and IN should be aligned in the same column. Also, isn't a LET expression an "expression." Michael ============== This works: import System.Random main = do gen <- getStdGen let (randNumber, newGen) = randomR (1,6) gen :: (Int, StdGen) in putStrLn $ "Number is " ++ show randNumber ============== This works: import System.Random main = do gen <- getStdGen let (randNumber, newGen) = randomR (1,6) gen :: (Int, StdGen) putStrLn $ "Number is " ++ show randNumber ============== This doesn't: import System.Random main = do gen <- getStdGen let (randNumber, newGen) = randomR (1,6) gen :: (Int, StdGen) in putStrLn $ "Number is " ++ show randNumber [michael@localhost ~]$ runhaskell zz.hs zz.hs:4:2: The last statement in a 'do' construct must be an expression

4 6