Hi, Am 14.03.2009 um 12:38 schrieb André Thieme:
At two places we would need a hook to add typing information. This could happen via metadata. Those places are: variable binding (such as def, let or function parameters), and the return values of functions. A global or namespace based switch would be also a nice thing to have.
I remember some presentation of someone doing this for, I think, Python. There you hint things, where the type is known and the compiler inferred the rest as far as possible. What cannot be inferred was cast to a special type called "dynamic". So this roughly worked like type hints in Clojure. Just with a bit more inference and "dynamic" meaning "reflection". However, I can't seem to find the video anymore. I think it was a Google techtalk.... How something like this could be implemented, where some types life in the Java class space while others exist in the Clojure map space.... I'm not that of a specialist for language implementation. :) Sincerely Meikel
smime.p7s
Description: S/MIME cryptographic signature
