On 12/28/11 10:14 AM, Brent Yorgey wrote:
On Mon, Dec 26, 2011 at 12:32:13PM +0400, Eugene Kirpichov wrote:
Actually it's not a bifunctor - it's a functor in one argument and
contrafunctor in the other.
Is there a name for such a structure?
Bifunctor is usually used for such things as well.
On Mon, Dec 26, 2011 at 12:32:13PM +0400, Eugene Kirpichov wrote:
2011/12/26 Gábor Lehel illiss...@gmail.com
On Sun, Dec 25, 2011 at 9:19 PM, Eugene Kirpichov ekirpic...@gmail.com
wrote:
Hello Heinrich,
Thanks, that's sure some food for thought!
A few notes:
* This is
On Tue, Dec 27, 2011 at 5:35 AM, Eugene Kirpichov ekirpic...@gmail.comwrote:
I wonder if now this datatype of yours is isomorphic to StreamSummary b
r - StreamSummary a r.
Not sure what you mean here. StreamSummary seems to be the same as
ListConsumer but I don't see how functions from
Sebastian Fischer wrote:
Heinrich Apfelmus wrote:
Likewise, each function from lists can be represented in terms of our new
data type [...]
length' :: ListTo a Int
length' = CaseOf
(0)
(\x - fmap (1+) length')
length = interpret length'
This version of `length` is
2011/12/26 Gábor Lehel illiss...@gmail.com
On Sun, Dec 25, 2011 at 9:19 PM, Eugene Kirpichov ekirpic...@gmail.com
wrote:
Hello Heinrich,
Thanks, that's sure some food for thought!
A few notes:
* This is indeed analogous to Iteratees. I tried doing the same with
Iteratees but
On Sun, Dec 25, 2011 at 11:25 AM, Heinrich Apfelmus
apfel...@quantentunnel.de wrote:
Your StreamSummary type has a really nice interpretation: it's a
reification of case expressions [on lists].
nice observation!
For instance, consider the following simple function from lists to
Whoa. Sebastian, you're my hero — I've been struggling with defining Arrow for
ListTransformer for a substantial time without success, and here you got it,
dramatically simpler than I thought it could be done (I was using explicit
queues).
I wonder if now this datatype of yours is isomorphic to
2011/12/26 Eugene Kirpichov ekirpic...@gmail.com
Whoa. Sebastian, you're my hero — I've been struggling with defining Arrow
for ListTransformer for a substantial time without success, and here you
got it, dramatically simpler than I thought it could be done (I was using
explicit queues).
On Tue, Dec 27, 2011 at 7:23 AM, Sebastian Fischer fisc...@nii.ac.jpwrote:
2011/12/26 Eugene Kirpichov ekirpic...@gmail.com
Whoa. Sebastian, you're my hero — I've been struggling with defining
Arrow for ListTransformer for a substantial time without success, and here
you got it, dramatically
Eugene Kirpichov wrote:
In the last couple of days I completed my quest of making my graphing
utility timeplot ( http://jkff.info/software/timeplotters ) not load the
whole input dataset into memory and consequently be able to deal with
datasets of any size, provided however that the amount of
Hello Heinrich,
Thanks, that's sure some food for thought!
A few notes:
* This is indeed analogous to Iteratees. I tried doing the same with
Iteratees but failed, so I decided to put together something simple of my
own.
* The Applicative structure over this stuff is very nice. I was thinking,
On Mon, Dec 26, 2011 at 12:19 AM, Eugene Kirpichov ekirpic...@gmail.comwrote:
Hello Heinrich,
Thanks, that's sure some food for thought!
A few notes:
* This is indeed analogous to Iteratees. I tried doing the same with
Iteratees but failed, so I decided to put together something simple of
On Sun, Dec 25, 2011 at 9:19 PM, Eugene Kirpichov ekirpic...@gmail.com wrote:
Hello Heinrich,
Thanks, that's sure some food for thought!
A few notes:
* This is indeed analogous to Iteratees. I tried doing the same with
Iteratees but failed, so I decided to put together something simple of
13 matches
Mail list logo