[Haskell-cafe] Re: Optimizing 'sequence'

Janis Voigtlaender voigt at tcs.inf.tu-dresden.de
Tue Jul 22 03:44:36 EDT 2008

Gracjan Polak wrote:
> Initially I spotted this possible optimization in context of monadic parser. I
> am not really sure if I need this property there or not. How do I prove this to
> myself?

How about some QuickChecking in connection with the "Chasing bottoms"
library (http://citeseer.ist.psu.edu/704350.html)?

Dr. Janis Voigtlaender
mailto:voigt at tcs.inf.tu-dresden.de

More information about the Haskell-Cafe mailing list