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

Reply via email to