December 2012 - Haskell-Cafe

MPTC or functional dependencies?
by Petr P 21 Dec '12

21 Dec '12

Dear Haskellers, I'm working on a small library for representing semigroup (or monoid) actions on a set <http://hackage.haskell.org/package/semigroups-actions>. The MultiParamTypeClasses extension seems to be best suited for the task, as a group can act on many sets, and a set can be acted on by different groups: -- | Represents an action of semigroup @g@ to set @a@. -- -- Laws: @'Endo' . 'act'@ must be a homomorphism of semigroups. class Semigroup g => SemigroupAct g a where act :: g -> (a -> a) But soon I realized that with MPTC the compiler has problems inferring types and I had to explicitly specify types when using `act` in many places. Because it seems that in most cases a set will have only a single group acting on it, I was thinking about using FDs: class Semigroup g => SemigroupAct g a | a -> g where But on the other hand, this can limit the generality of the type class. I cannot decide which one I should choose. What would you suggest? According to your experience, would you choose plain MPTC or FD? Best regards, Petr Pudlak

3 3

monoid pair of monoids?
by Christopher Howard 21 Dec '12

21 Dec '12

In my current pondering of the compose-able objects them, I was thinking it would be useful to have the follow abstractions: Monoids, which were themselves tuples of Monoids. The idea was something like so: code: -------- import Data.Monoid instance Monoid (Socket2 a b) where mempty = Socket2 (mempty, mempty) Socket2 (a, b) `mappend` Socket2 (w, x) = Socket2 (a `mappend` w, b `mappend` x) data Socket2 a b = Socket2 (a, b) -------- However, this does not compile because of errors like so: code: -------- Sockets.hs:9:21: No instance for (Monoid a) arising from a use of `mempty' In the expression: mempty In the first argument of `Socket2', namely `(mempty, mempty)' In the expression: Socket2 (mempty, mempty) -------- This makes sense, but I haven't figured out a way to rewrite this to make it work. One approach I tried was to encode Monoid constraints into the data declaration (which I heard was a bad idea) but this didn't work, even using forall. Also I tried to encode it into the instance declaration, but the compiler kept complaining about errant or illegal syntax. -- frigidcode.com

5 5

Hoogle index completeness
by Radical 21 Dec '12

21 Dec '12

Searching Hoogle for symbols like `rstrip` or `lstrip` produces "No results found" for me, even though they exist in the MissingH library. To wit: http://hackage.haskell.org/packages/archive/MissingH/1.2.0.0/doc/html/Data-… Is this behavior intentional, or a regression of some sort? I could have sworn the above symbols showed up at some point. Thanks! Alvaro

7 10

GHC shows wrong line number in error?
by Niklas Hambüchen 20 Dec '12

20 Dec '12

Hello, I have some code like this (the contents don't really matter): 42 data TestChain next = ChainEntry (forall b . TestG b) next 43 | ChainDescribe String (Free TestChain... 44 deriving (Functor) 45 46 -- deriving instance Show a => Show (TestChain a) 47 48 it :: (SomeT typ, Partition t typ) => String -> t -> ... 49 it desc test = liftF (ChainEntry (mkTestG test) ()) And get the error: Clean.hs:49:43: Could not deduce (t ~ b) from the context (SomeT typ, Partition t typ) bound by the type signature for it :: (SomeT typ, Partition t typ) => String -> t -> Free TestChain () at Clean.hs:49:1-51 `t' is a rigid type variable bound by the type signature for it :: (SomeT typ, Partition t typ) => String -> t -> Free TestChain () at Clean.hs:49:1 `b' is a rigid type variable bound by a type expected by the context: TestG b at Clean.hs:49:23 [...] In that last error line, should that not be "Clean.hs:42:..." (as it references the 'b', which I only really have there), or is that intended, and if yes, why? I'm using GHC 7.4.2. Thanks Niklas

3 2

An assembly DSL example.
by Tom Hawkins 19 Dec '12

19 Dec '12

A few folks have asked me about building EDSLs in Haskell for assembly programming, so I've posted an example of the approach we have had success using at BAE Systems. It's a bit rough, so if anyone's motivated to polish it up, by all means. https://github.com/tomahawkins/asm-dsl-example/ -Tom

2 1

Observer pattern in haskell FRP
by Nathan Hüsken 19 Dec '12

19 Dec '12

Hey, When writing games in other (imperative) languages, I like to separate the game logic from the rendering. For this I use something similar to the observer pattern. With rendering I mean anything only related to how objects are drawn to the screen. Animation state for example. On my journey of exploring game programming with haskell (and FRP), I wonder what a good way of archiving something similar would be. If the rendering has no internal state, one can just write a function draw :: GameLogicState -> IO () But when the rendering of an object has an internal state (e.g. animation frame) than this is not possible. Now I could write a Wire/Signal (whatever FRP implementation I use) that translates to a RenderingState: render :: Signal GameLogicState RenderingState draw :: RenderingState -> IO () which is fine, except when my game is made of many objects. Than I need to associate the state of one object in GameLogicState with a sub-signal in render. That could be done by giving every object an ID and letting GameLogicState contain a map from IDs to ObjectLogicState. I fear that when I really have a lot of objects, assembling and decomposing the map could become a major bottleneck. So I am wondering: Is there (or can someone think of) a different pattern by which this could be archived? Or asked different: How would you do it? Thanks! Nathan

5 17

containers license issue
by Dmitry Kulagin 19 Dec '12

19 Dec '12

Hi Cafe, I am faced with unpleasant problem. The lawyer of my company checked sources of containers package and found out that it refers to some GPL-library. Here is quote: "The algorithm is derived from Jorg Arndt's FXT library" in file Data/IntMap/Base.hs The problem is that FXT library is GPL and thus containers package can not be considered as BSD3. And it means that it can not be used in my case (closed source software). Is this logic actually correct and containers should be considered as GPL? The package is widely used by other packages and the only way I see right now is to fix sources to reimplement this functionality, which is not good option. Thank you!

15 45

Re: [Haskell-cafe] Tail recursive
by J.W. Krol 19 Dec '12

19 Dec '12

From: jkrzzz(a)live.com To: haskell-cafe(a)haskell.org Subject: Tail recursive Date: Wed, 19 Dec 2012 17:07:14 +0100 Hello, I need a non tail recursive version of scanl, to produce a large enough list of >100K vectors (vectors defined as a list) I have following code: scanl'::(a -> a -> a) -> a -> [a] -> [a]scanl' f q ls = scanl'' ls (q:[]) where scanl'' (x:xs) ys = let h = head ys x' = f x h ys' = x':ys in h `seq` x' `seq` ys' `seq` scanl'' xs ys' scanl'' [] ys = ys If I call this function as below I still got stack-overflow error: head (scanl' (zipWith (+)) ([0,0]) (take 100000 (repeat [0,1]))) What do I wrong. I am not an experienced Haskell programmer, but find the behavior quite unexplainable. Thank for your answer. RegardsJacq

2 1

A weird bug of regex-pcre
by Magicloud Magiclouds 19 Dec '12

19 Dec '12

Attachment is the test text file. And I tested my regexp as this: Prelude> :m + Text.Regex.PCRE Prelude Text.Regex.PCRE> z <- readFile "test.html" Prelude Text.Regex.PCRE> let (b, m ,a, ss) = z =~ "<a href=\"(.*?)\">.*?<img class=\"article-image\"" :: (String, String, String, [String]) Prelude Text.Regex.PCRE> b ... n of the Triumvirate</td>\r\n <td class=\"small\">David Rapoza</td>\r\n <td class=\"small\">\r\n <i>Return to Ravnica</i>\r\n </td>\r\n <td class=\"small\">10/31/2012</td>\r\n </tr><tr>\r\n <td class=\"small\"><" Prelude Text.Regex.PCRE> m "a href=\"/magic/magazine/article.aspx?x=mtg/daily/activity/1088\"><img class=\"article-image\" " >From the value of b and m, it was weird that the matching was moved forward by 1 char ( the ss (sub matching) was even worse, 2 chars ). Rematch to a and so on gave correct results. It was only the first matching that was broken. Tested with regex-posix (with modified regexp), everything is OK. $ ghc-pkg describe regex-pcre name: regex-pcre version: 0.94.4 id: regex-pcre-0.94.4-d45e00c9e113c7c9352d0785497e1dca license: BSD3 copyright: Copyright (c) 2006, Christopher Kuklewicz maintainer: TextRegexLazy(a)personal.mightyreason.com stability: Seems to work, passes a few tests homepage: http://hackage.haskell.org/package/regex-pcre package-url: http://code.haskell.org/regex-pcre/ synopsis: Replaces/Enhances Text.Regex description: The PCRE backend to accompany regex-base, see www.pcre.org category: Text author: Christopher Kuklewicz exposed: True exposed-modules: Text.Regex.PCRE Text.Regex.PCRE.Wrap Text.Regex.PCRE.String Text.Regex.PCRE.Sequence Text.Regex.PCRE.ByteString Text.Regex.PCRE.ByteString.Lazy hidden-modules: trusted: False import-dirs: /home/magicloud/.cabal/lib/regex-pcre-0.94.4/ghc-7.6.1 library-dirs: /home/magicloud/.cabal/lib/regex-pcre-0.94.4/ghc-7.6.1 hs-libraries: HSregex-pcre-0.94.4 extra-libraries: pcre extra-ghci-libraries: include-dirs: includes: depends: array-0.4.0.1-cbe8814e07792e8f0d66cac77a2c0b6b base-4.6.0.0-9108e251636b0c8499261c52a7809ea1 bytestring-0.10.0.1-11d4f52c4f4ed9833f768577b77050c5 containers-0.5.2.1-b183418bc7f43ce98b6916ef296c2669 regex-base-0.93.2-1ee07f806ad6b0c911226883d15b64f2 hugs-options: cc-options: ld-options: framework-dirs: frameworks: haddock-interfaces: /home/magicloud/.cabal/share/doc/regex-pcre-0.94.4/html/regex-pcre.haddock haddock-html: /home/magicloud/.cabal/share/doc/regex-pcre-0.94.4/html pkgroot: "/home/magicloud/.ghc/x86_64-linux-7.6.1" -- 竹密岂妨流水过山高哪阻野云飞 And for G+, please use magiclouds#gmail.com.

3 4

efficient data structure: column with repeating values
by Christopher Howard 19 Dec '12

19 Dec '12

Is there some good data type out there that basically provides a simple table, but with optimization for repeating values on one column? Something like: Data Table a b ...where it assumes that 'a' values will usually be unique, while 'b' values will usually be repeated from a small set? (But not needing to be fixed beforehand.) Like in... client | patron --------------- Bob | Tom Sarah | Tom Dick | Tom George | Harry Moe | Harry -- frigidcode.com

2 1