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
2009/7/21 Roel van Dijk :
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), ) :: a -> b -> (Int, a
[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
2009/7/18 Edward Kmett :
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):
http://comonad.com/reader/2008/cozipping/
2009/7/17 Gleb Alexeyev :
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 this monster :D
{-#
2009/5/6 Bulat Ziganshin :
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 given '?Syntax
error in e
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 mi
2009/3/15 Achim Schneider
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..."
^ |
|
2009/3/11 Bulat Ziganshin Hello 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 importantly (or awesomely?),
