[Haskell-cafe] Type systems preventing laziness-related memory leaks?
Atze van der Ploeg
atzeus at gmail.com
Wed Feb 18 06:32:39 UTC 2015
I'm not awake yet. That paper is not what you asked at all.
I'm not aware of any paper that presents a type system statically ruling
out thunks of unbounded depth, but it seems to me like this indeed should
On Feb 18, 2015 7:24 AM, "Atze van der Ploeg" <atzeus at gmail.com> wrote:
> See the paper "copatterns" by andreas abel.
> On Feb 18, 2015 6:04 AM, "Eugene Kirpichov" <ekirpichov at gmail.com> wrote:
>> Hello haskell-cafe,
>> Let me repost here a question I posted to cstheory stackexchange - in
>> hopes that there are more type theory experts here.
>> Perhaps the main source of performance problems in Haskell is when a
>> program inadvertently builds up a thunk of unbounded depth - this causes
>> both a memory leak and a potential stack overflow when evaluating. The
>> classic example is defining sum = foldr (+) 0 in Haskell.
>> Are there any type systems which statically enforce lack of such thunks
>> in a program using a lazy language?
>> Seems like this should be on the same order of difficulty as proving
>> other static program properties using type system extensions, e.g. some
>> flavors of thread safety or memory safety.
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe