Comment Feed for Channel 9 - Keynote - Martin Odersky: Reflection and Compilers http://ch9files.blob.core.windows.net/ch9/542b/2550b236-f301-4e81-8e13-2ac436fb542b/LangNEXT2012KeynoteOderskyReflection_220.jpg Channel 9 - Keynote - Martin Odersky: Reflection and Compilers Reflection and compilers do tantalizing similar things. Yet, in mainstream, statically typed languages the two have been only loosely coupled, and generally share very little code. In this talk I explore what happens if one sets out to overcome their separation.  The first half of the talk addresses the challenge how reflection libraries can share core data structures and algorithms with the language's compiler without having compiler internals leaking into the standard library API. It turns out that a component system based on abstract types and path-dependent types is a good tool to solve this challenge. I'll explain how the "multiple cake pattern" can be fruitfully applied to expose the right kind of information. The second half of the talk explores what one can do when strong, mirror-based reflection is a standard tool. In particular, the compiler itself can use reflection, leading to a particular system of low-level macros that rewrite syntax trees. One core property of these macros is that they can express staging, by rewriting a tree at one stage to code that produces the same tree at the next stage. Staging lets us implement type reification and general LINQ-like functionality. What's more, staging can also be applied to the macro system itself, with the consequence that a simple low-level macro system can produce a high-level hygienic one, without any extra effort from the language or compiler. en Sat, 25 May 2013 19:22:38 GMT Sat, 25 May 2013 19:22:38 GMT Rev9 Re: Keynote - Martin Odersky: Reflection and Compilers posted by borkdorkork

]]> http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693386957976192 Fri, 06 Apr 2012 19:51:35 GMT http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693386957976192 borkdorkork Re: Keynote - Martin Odersky: Reflection and Compilers @borkdorkork: Hi. We don't have the slides available yet. We hope to, though!

C

posted by Charles

]]> http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693392736150576 Fri, 06 Apr 2012 20:01:13 GMT http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693392736150576 Charles Re: Keynote - Martin Odersky: Reflection and Compilers posted by Andre van Delft

]]> http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693482719233696 Fri, 06 Apr 2012 22:31:11 GMT http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693482719233696 Andre van Delft Re: Keynote - Martin Odersky: Reflection and Compilers @Andre van Delft:


We are looking into what we can do (the signal we received at the venue was just too maxed out and there is no pro audio equipment serving that room). We have a skilled editor looking into these audio "issues". Stay tuned.

C

posted by Charles

]]> http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693487806295132 Fri, 06 Apr 2012 22:39:40 GMT http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693487806295132 Charles Re: Keynote - Martin Odersky: Reflection and Compilers Oh, Lang.net already in progress! 

Great talk here.  Smiley

(I agree on the audio being sub-par. Compare the audio to e.g. the latest episode of cloud cover and you'll have much more pleasant voice recordings. The content rocks though.)

posted by exoteric

]]> http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693525318553676 Fri, 06 Apr 2012 23:42:11 GMT http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693525318553676 exoteric Re: Keynote - Martin Odersky: Reflection and Compilers @exoteric: Yeah. The audio system at the venue was less than stellar. We did what we could do. Now, as I mentioned above, we are working on it in post-production. (well, post post-production at this point). No guarantee we can magically make it better, but we're trying. No need to discuss this more on this post. Keep on topic!

Cheers,

C

posted by Charles

]]> http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693526862966306 Fri, 06 Apr 2012 23:44:46 GMT http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634693526862966306 Charles Re: Keynote - Martin Odersky: Reflection and Compilers Scala may be the best choice for JVM environment. It gives developers some functional concepts but is quite simple language still (for a Java developer). This was a great presentation. Also challenging audience.

However, I didn't like the "Cake pattern". It reminds me of the C# partial classes: Try to be object-oriented (classes) but still break two basic design principles of OO:

1. Single responsibility principle: Composition classes often have many responsibilities.

2. Open Close Principle: Software entities like classes, modules and functions should be open for extension but closed for modifications. This means that the internal state and design of the entity should not be visible to outside.

posted by Thorium

]]> http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634709863073587843 Wed, 25 Apr 2012 21:31:47 GMT http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634709863073587843 Thorium Re: Keynote - Martin Odersky: Reflection and Compilers posted by bhupendra

]]> http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634728439835609774 Thu, 17 May 2012 09:33:03 GMT http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers#c634728439835609774 bhupendra