Re: [Haskell-cafe] How to declare a Typeless Function

2009-07-03 Thread Magnus Therning
On Fri, Jul 3, 2009 at 4:43 AM, Alexander Dunlapalexander.dun...@gmail.com wrote: swap :: Array (Int, Int) a - [Int] - Array (Int, Int) a The lowercase a means that that type variable is polymorphic, i.e. it can be any type. Another option would be to simply not put in type of 'swap', load it

Re: [Haskell-cafe] How to declare a Typeless Function

2009-07-03 Thread Joe Fredette
It's important to note that such a function is not Typeless but rather Polymorphic -- that is, it is a type which can be satisfied for many values of it's type variables. For instance, the function `(+) :: Num a = a - a - a` is polymorphic, since it's one type variable can be satisfied by any

[Haskell-cafe] How to declare a Typeless Function

2009-07-02 Thread Fernan Bolando
Hi I have a function that swaps rows of an array of double swap :: Array (Int,Int) Double - [Int] - Array (Int,Int) Double I then create a function that swaps rows of arrays of Complex Double swap :: Array (Int, Int) (Complex Double) - [Int] - Array (Int, Int) (Complex Double) In reality the

Re: [Haskell-cafe] How to declare a Typeless Function

2009-07-02 Thread Alexander Dunlap
swap :: Array (Int, Int) a - [Int] - Array (Int, Int) a The lowercase a means that that type variable is polymorphic, i.e. it can be any type. Alex On Thu, Jul 2, 2009 at 8:05 PM, Fernan Bolandofernanbola...@mailc.net wrote: Hi I have a function that swaps rows of an array of double swap