At 14:18 +0200 1999/06/04, Mariano Suarez-Alvarez wrote:
>> >A ``category with + and ^ '' is called cartesian closed aditive
>> >category, cf MacLane, Category Theory for the Working Mathematician
>>
>> Is this a suggestion or a theorem?
>
>A definition.
I did not see the connection between the +
Friedrich Dominicus wrote:
> That might be good advice but I/O is one of the most essential things
> and I have to know how to use it proper for writing small skripts.
Actually, you can do a lot without learning about I/O. The function `interact'
converts a `String->String' function into an IO
On Thu, 3 Jun 1999, Hans Aberg wrote:
> >A ``category with + and ^ '' is called cartesian closed aditive
> >category, cf MacLane, Category Theory for the Working Mathematician
>
> Is this a suggestion or a theorem?
A definition.
-- m
> > So after I read in a chunk form that file
> > into one large String, lines splits that line on a '\n' position. The
> > lines li are filtered and l is one line a String-List which is added to
> > fl all the filterd lines are then put back into on large String. Uff. Is
> > that nearly correct?
>
> Then split it up like you'd do in an OO language. I think, FP also
> is good for writing small functions that do one thing well, and then
> composing them in various ways (as you see, composing functions (and
> perhaps also values) in Haskell is possible in very many various ways :-) ).
>
>
Hello!
On Wed, Jun 02, 1999 at 08:12:04AM +0200, Friedrich Dominicus wrote:
> [...]
> this seems to to the thing I would like it to do. I now have to check if
> the given fn is valid and raise an error if not so I do think I'll make
> it;-)
No you don't have to check fn. readFile checks and thr
I have proposed a hand-made, ugly variant of subtraction code
for the Peano-Church arithmetic with an explicit recursive
function and equality. Christian Sievers put me into
order, thanks.
Christian Sievers:
> Compared to using equality, I think the following is really better:
> dec n = fst (n
