Re: arrows

2002-05-24 Thread Ashley Yakeley
At 2002-05-24 13:40, Wolfgang Jeltsch wrote: >Now, I have a type which would fit wonderfully into the Arrow concept if >arrows wouldn't be expected to have a first operator. ...then it's not an Arrow. It sounds like it might be one of these, however: class Compositor comp where {

arrows

2002-05-24 Thread Wolfgang Jeltsch
Hello, in his paper "Generalising monads to arrows" John Hughes introduces an Arrow class with the members arr and (>>>) and extends this with a member first. The Arrow module by Ross Paterson adopts the practice of including first in the Arrow class. Now, I have a type which would fit wonderfully

CSMR 2003 - CALL FOR PAPERS

2002-05-24 Thread csmr2003
Dear colleague: We would like to invite you to participate in the Seventh European Conference on Software Maintenance and Reengineering, which will be held in Benevento, Italy, March 26-28, 2003, and to submit a paper.

Re: name of List.nub function

2002-05-24 Thread John Hughes
On Fri, 24 May 2002, Tom Schrijvers wrote: > > The first result for nub in dictionary.com gives: > nub Pronunciation Key (nb) > n. > > 1. A protuberance or knob. > 2. A small lump. > 3. The essence; the core: the nub of a story > > I think essence is the right meaning, removing all duplicates.

Re: name of List.nub function

2002-05-24 Thread Tom Schrijvers
On Fri, May 24, 2002 at 10:00:35AM -0700, Brian Huffman wrote: > Hi, > > This is just for fun, really, but does anyone know how the nub function from > the standard List module got its name? (It is the function that removes > duplicates from a list, in case you are not familiar with it.) I look

name of List.nub function

2002-05-24 Thread Brian Huffman
Hi, This is just for fun, really, but does anyone know how the nub function from the standard List module got its name? (It is the function that removes duplicates from a list, in case you are not familiar with it.) I looked up the word "nub" in the online Merriam-Webster dictionary (www.m-w.c