On Mar 14, 1:08 pm, Meikel Brandmeyer <m...@kotka.de> wrote: > 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".
Something like that would probably play nice with the JVM's future invokedynamic-instruction (or the .NET CLI's forthcoming dynamic vars). --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
