Meikel Brandmeyer schrieb: > 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".
Did you mean this: http://wiki.jvmlangsummit.com/pdf/28_Siek_gradual.pdf It was presented at the JVM Summit, so Rich may already have given a thought to this. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en -~----------~----~----~----~------~----~------~--~---
