[kepler-dev] Re: type signatures in the expression language
Edward A Lee
eal at eecs.berkeley.edu
Wed Aug 4 03:42:21 PDT 2004
At 04:00 PM 8/3/2004 -0700, Tobin Fricke wrote:
>Instead of this behavior, would it make sense for functions like 'map' to
>evaluate to something?
This is a good idea... They could yield something like:
>> map
(function(f:(function(x:type)), xs:{type}) PRIMITIVE)
I.e., they report the type signature.
However, as Steve pointed out, it could be hard to accomplish.
Also, what to report when we have ad-hoc polymorphic functions,
where there are several implementations with different type
arguments?
Edward
------------
Edward A. Lee, Professor
518 Cory Hall, UC Berkeley, Berkeley, CA 94720
phone: 510-642-0455, fax: 510-642-2739
eal at eecs.Berkeley.EDU, http://ptolemy.eecs.berkeley.edu/~eal
More information about the Kepler-dev
mailing list