29 Oct
2010
29 Oct
'10
6:18 p.m.
On Thu, Oct 28, 2010 at 11:33 AM, Christian Maeder
...other languages (like pvs, opal, HasCASL with paramterized modules) use optional type arguments in square brackets that would clash/overlap Haskell's list syntax. ...
This reminds me of Agda's implicit arguments: See section 2.3 of: http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf For example: map : {A B : Set} -> (A -> B) -> List A -> List B map f [] = [] map f (x :: xs) = f x :: map f xs foo : List Char -> List Int foo = map {Char} {Int} Regards, Bas P.S. This topic is drifting wildly offtopic but I like it ;-) (and we have some weeks left for the proposal)