**
MODEL-BASED REASONING IN SCIENCE AND ENGINEERING
ABDUCTION, VISUALIZATION, AND SIMULATION
MBR'04
Pavia, Italy, December 16-18, 2004
Chairs: Lorenzo Magnani and N
Hi all, does anyone have any tips on how to insert debugging or
logging statements through a program? Here are two possibilities:
1. Use some kind of logging monad. But then all your types become
more complicated and it seems you have to use lots of ->'s and
>>='s instead of ordinary fu
Ben Escoto <[EMAIL PROTECTED]> writes:
> Hi all, does anyone have any tips on how to insert debugging or
> logging statements through a program?
> 1. Use some kind of logging monad.
> 2. Use unsafePerformIO or similar.
> It seems this must come up a lot when writing Haskell programs. What
>
Ben Escoto writes:
> 1. Use some kind of logging monad.
This is definitely the way to go. The 'MonadWriter' class
provides a very general interface, which often proves to be
much more useful than just for logging. Especially, when you
use it to return data types with useful information --
rathe
Ben Escoto <[EMAIL PROTECTED]> wrote,
> Hi all, does anyone have any tips on how to insert debugging or
> logging statements through a program? Here are two possibilities:
[..]
> 2. Use unsafePerformIO or similar. But then your code is regularly
> defeating the type system, which presumably
Hi,does any one knows how to implement while-do loop or nested while-do loop?
I'm in a situation that I need to implement nested while do loop with some if-
then-else condition in my code,but I have no idea about it.Thanks.
Ray
This mail sent through ww
On 16 Nov 2003 22:43:55 +0100 Peter Simons <[EMAIL PROTECTED]> wrote:
> This is definitely the way to go. The 'MonadWriter' class
> provides a very general interface, which often proves to be
> much more useful than just for logging. Especially, when you
> use it to return data types with useful in
