[mercury-users] functions returning in values?

[Tomas By]

Tomas By writes:
> MCL writes:
> > >> An interesting application of this stuff is in cryptography: you only
> > >> have to describe the cipher function in Mercury and supply the
> > >> appropriate modes and Mercury will give you both enciphering and
> > >> deciphering, halving the likelihood of you introducing errors in your
> > >> code.
> > 
> >     I have to doubt it: any decent cryptography scheme should not be
> > reversible that easy---unless you want to enumerate all possible clear
> > messages.
> 
> so how do you decrypt messages in your decent scheme?
> 
> (youre thinking of one-way hash functions, while ralph was talking
> about ciphers, I believe)

um, he actually says "cipher function" explicitly, I notice now

/Tomas
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------