Can you design languages with static type (eg Java) and where code data is (e.g. )? I mean both things in one language
Qi is a statically typing type bid. In addition, many other Lisp quotes (optional) have constant typing.
Java has such limited capabilities as this.
The interesting question is not so much that you can be methographic and steady typing, is that you dynamic metaprogramming type-safe May be.
There is a template hoskal that does metaprogramming and is type-safe, but it is stable meteographicography.
At the moment I can not think of any language which I know for a fact, dynamic metaprographing and are dynamic metaprographing is statically secure-type. Qi can be bundled to do this, but I'm not sure.
Comments
Post a Comment