HaloO,
John M. Dlugosz wrote:
doit =has= a signature. Yes, I expect functions will be typechecked
when you try and assign one to a variable that declares a function
type. But the function is a value of that type, just like 5 is a value
of type Int, not itself a type.
What you consider as the function value is the HOW or WHAT of all
invocations and proto-invocations of a function. There is of course
a type 5. The literal syntax is however reserved for the value. But
subset Five of Int where {$_ == 5}
is the corresponding type
my Five $x; # effectively a constant
my 5 $y; # syntax error or 5 in type position?
Regards, TSa.
--
"The unavoidable price of reliability is simplicity"
-- C.A.R. Hoare
