Question about typing

2001-04-05 Thread Toby Watson
Intuitively the following scenarios seem to be related, can anyone point my in the direction of formal work on this, or give me the formal terms I need to search around? 1. Adding two integers together: Int -> Int -> Int 2. Adding two lists of Integers together: [Int] -> [Int] -> [Int] 3. Addin

Question about typing

2001-04-05 Thread Tom Pledger
Toby Watson writes: | Intuitively the following scenarios seem to be related, can anyone | point my in the direction of formal work on this, or give me the | formal terms I need to search around? | | 1. Adding two integers together: Int -> Int -> Int | | 2. Adding two lists of Integers to

Re: Question about typing

2001-04-05 Thread Jan Skibinski
On Fri, 6 Apr 2001, Tom Pledger wrote: > If you're adding every element of the first list to every element of > the second list, it's sometimes called diagonalisation. I do not know where this definition came from but it does not make sense to me. It is zipping that looks

Re: Question about typing

2001-04-05 Thread Levent Erkok
Tom Pledger wrote: > > Toby Watson writes: > | Intuitively the following scenarios seem to be related, can anyone > | point my in the direction of formal work on this, or give me the > | formal terms I need to search around? > | > | 1. Adding two integers together: Int -> Int -> Int > | > |