Jason Dagit wrote:
Heinrich Apfelmus wrote:
How about tracking the requirement of bounded in the type system? In
particular, I'm thinking of a type class
class NFData a = Small a
where the idea is that all types that can be stored in constant space
are members of this class. For
Jason Dagit wrote:
Johann Höchtl wrote:
As a beginner to Haskell, I am only 1/3 through RWH, those lines scare
me in a sense to question my effort. I simply can not distinguish if
this discussion is somewhat pathological in a sense that every access
to the outside world imposes dangers and
Jason Dagit wrote:
withPending :: (a - Patch - a) - IO a
And withPending would start the streaming and make sure that the stream
cannot be visible as a data dependency outside of withPending.
[...]
Heinrich Apfelmus wrote:
In other words, exporting only a foldl' -like interface does
On Sun, Dec 13, 2009 at 3:47 AM, Heinrich Apfelmus
apfel...@quantentunnel.de wrote:
How about tracking the requirement of bounded in the type system? In
particular, I'm thinking of a type class
class NFData a = Small a
where the idea is that all types that can be stored in constant
Hi Heinrich,
On Sat, Dec 12, 2009 at 2:42 AM, Heinrich Apfelmus
apfel...@quantentunnel.de wrote:
Jason Dagit wrote:
My next experiment will be to find ways to express take this operation
and
apply it to a stream without letting the stream leak. One implication is
that gzReadFilePS
On Dec 12, 7:13 pm, Jason Dagit da...@codersbase.com wrote:
Hi Heinrich,
On Sat, Dec 12, 2009 at 2:42 AM, Heinrich Apfelmus
apfel...@quantentunnel.de wrote:
Jason Dagit wrote:
My next experiment will be to find ways to express take this operation
and
apply it to a stream
On Sat, Dec 12, 2009 at 1:37 PM, Johann Höchtl johann.hoec...@gmail.comwrote:
On Dec 12, 7:13 pm, Jason Dagit da...@codersbase.com wrote:
Hi Heinrich,
On Sat, Dec 12, 2009 at 2:42 AM, Heinrich Apfelmus
apfel...@quantentunnel.de wrote:
Jason Dagit wrote:
My next experiment