Jonathan S. Shapiro wrote:
3. Introduce a new variation on function types:
(di-fn T.arg T.result)
that describes deeply immutable procedures.
A terminology suggestion: use "function" only for deeply immutable
procedures, and "procedure" otherwise.
Although this is slightly different from the usage in most other
programming languages (where a "procedure" is often a function with
no return value), it is absolutely consistent with mathematics,
and is likely to make sense to the target audience of BitC.
"fn" and "proc" are definitely better keywords than "di-fn".
I am currently considering (3), because knowing which functions are
purely deterministic seems like a very useful thing from a verification
perspective.
I agree.
--
David Hopwood <[EMAIL PROTECTED]>
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
