Re: [Haskell-cafe] ANN: Haddock version 2.5.0

2009-08-15 Thread porges
George Porges s/Porges/Pollard/; Porges is just an alias :) signature.asc Description: OpenPGP digital signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Implicit concatenation in list comprehensions

2009-07-20 Thread porges
2009/7/21 Roel van Dijk vandijk.r...@gmail.com: I am also wondering what the following would/should mean:   (1, , ( , 2), ) 'a' 'b' 'c' I would expect it to be a type error, since I think the following is the only sane type the tuple can have (assuming numeric literals :: Int): (1, , ( , 2),

Re: [Haskell-cafe] Re: powerSet = filterM (const [True, False]) ... is this obfuscated haskell?

2009-07-17 Thread porges
2009/7/17 Gleb Alexeyev gleb.alex...@gmail.com: On Jul 17, 2009 1:40pm, Thomas Hartman wrote: my question to all 3 (so far) respondants is, how does your explanation explain that the result is the power set? Because powerset(s) = 2^s? I was going to make some nice code but I ended up with

Re: [Haskell-cafe] Why is there no Zippable class? Would this work?

2009-07-17 Thread porges
2009/7/18 Edward Kmett ekm...@gmail.com: I wrote a short blog post on this: http://comonad.com/reader/2008/zipping-and-unzipping-functors/ and one on the less powerful dual operations (less powerful because while every Haskell Functor is strong, much fewer are costrong):

Re: [Haskell-cafe] lifting restrictions on defining instances

2009-07-17 Thread porges
[Ack, missed the reply-all button...] This was part of my motivation behind the 'removing polymorphism from Functor' thing... to select a different parameter we'd essentially need type-level lambdas... I'll use 'Λ' (capital lambda) for it: instance Functor (Λ a. X a b) where fmap f (X a

Re: [Haskell-cafe] List comprehension

2009-05-05 Thread porges
2009/5/6 Bulat Ziganshin bulat.zigans...@gmail.com: Hello applebiz89, Tuesday, May 5, 2009, 7:20:35 PM, you wrote: filmsInGivenYear :: Int - [Film] - [String] filmsInGivenYear filmYear ?= [ title | year - (Film title director year fans) , year == filmYear] (this code wont compile - error

Re: [Haskell-cafe] Computing a sorted list of products lazily

2009-04-17 Thread porges
I did something similar a while ago to solve a problem posted on StackOverflow: http://porg.es/blog/sorted-sums-of-a-sorted-list Henry Laxen generalized my code a little bit so you can pass in any monotonic function (see the comments). I'm not sure of the laziness properties of this, but it

Re: [Haskell-cafe] Re: Alternative to Data.Binary

2009-03-14 Thread porges
2009/3/15 Achim Schneider bars...@web.de Hmmm. Output-iteratees are a very, very, interesting thing to think about. Careful, comments like that have a tendency to invoke Oleg. Next thing you know: Interesting Question -- Maybe you could... ^ |

Re: [Haskell-cafe] Generics Versus Parametric Polymorphism

2009-03-11 Thread porges
2009/3/11 Bulat Ziganshin bulat.zigans...@gmail.comHello Mark, Wednesday, March 11, 2009, 9:11:42 AM, you wrote: Just wondering if Generics and Parametric polymorphism are one and the same in Haskell. haskell Parametric polymorphism is the same type of thing as Java Generics :) Most