> Actually, what matters is presence of earlier declaration. > 'f(x: Integer, y: Integer): Float -> Float == ..' is > supposed to give the same effect as > > f: (Integer, Integer) -> (Float -> Float) > f(x, y) == ...
And what is the preferred way of type declaration? Personally I like the second variant more, that is f : A -> B f x == ... instead of f(x : A) : B == ... But unfortunately it doesn't work inside piles, so I stick to 'f(x : A) : B == ...'. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
