Diagonalization/ dupe for monads and tuples?
chessai1996 at gmail.com
Thu Sep 17 20:44:12 UTC 2020
one of two or more identical things.
"books may be disposed of if they are duplicates"
short for duplicate bridge.
1. make or be an exact copy of.
"they have not been able to duplicate his successes"
duplicate is a verb which means to make a copy of something. this is the
definition I have in mind when I see
dup :: a -> (a, a)
Of course the root of duplicate itself means two, but duplicate the verb
does not mean two.
Anyway, I'm not really interested in having more than 3 or 4, since that's
where you should have a datatype. And my interest for 3 and 4 is already
On Thu, Sep 17, 2020, 15:29 Matthew Farkas-Dyck <strake888 at gmail.com> wrote:
> On 9/17/20, chessai <chessai1996 at gmail.com> wrote:
> > to mean 'duplicate', not the number two
> 'duplicate' means 2.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries