JVMLangSummit - User contributions [en]

Lambda Forms: IR for Method Handles

2013-02-27T23:20:20Z

Jrose:

== Links ==
* video: http://medianetwork.oracle.com/video/player/1785383257001
* slides: http://cr.openjdk.java.net/~jrose/pres/201207-LF-Tutorial.pdf
* JVM changes: http://hg.openjdk.java.net/hsx/hotspot-comp/hotspot/rev/1d7922586cf6
* JDK changes: http://hg.openjdk.java.net/hsx/hotspot-comp/jdk/rev/050116960e99
* Old design notes: http://hg.openjdk.java.net/mlvm/mlvm/hotspot/file/tip/meth-lazy.txt
* Current documentation: https://wikis.oracle.com/display/HotSpotInternals/Method+handles+and+invokedynamic

Lambda Forms: IR for Method Handles

2012-11-19T18:51:39Z

Jrose:

== Links ==
* video: http://medianetwork.oracle.com/video/player/1785383257001
* slides: http://cr.openjdk.java.net/~jrose/pres/201207-LF-Tutorial.pdf
* JVM changes: http://hg.openjdk.java.net/hsx/hotspot-comp/hotspot/rev/1d7922586cf6
* JDK changes: http://hg.openjdk.java.net/hsx/hotspot-comp/jdk/rev/050116960e99
* Old design notes: http://hg.openjdk.java.net/mlvm/mlvm/hotspot/file/tip/meth-lazy.txt
* Current documentation (TBD): https://wikis.oracle.com/display/HotSpotInternals/Documentation+Wishlist

Lambda Forms: IR for Method Handles

2012-11-19T18:50:05Z

Jrose:

Project Alchemy: Rebooting a Dynamic Image-based Language with a Large C Runtime

2012-11-06T00:36:04Z

Jrose:

== links ==
* wiki: http://sw-gis.wikidot.com/magik-lang
* blog: https://blogs.oracle.com/jtc/entry/sprinkle_some_magik_on_that

Jaba Batches

2012-09-27T00:08:59Z

Jrose: moved Jaba Batches: A Radical (And Better) New Approach to SQL, RMI, and WS Clients to Jaba Batches: new name easier to publish as a link

Batch services are a new approach to distributed computation in which clients send batches of operations to a server and receive hierarchical results sets in response. This architecture is modeled on the successful SQL execution model, but it is generalized so that the scripts are not quoted strings, but are instead extracted from normal client code. The key to making this work seamlessly is that the operations are normal method calls, loops and conditionals expressed in the native client language, but these operations are lifted out of the client program and encoded as cross-platform batch scripts for execution on the server. This raises important questions for language designers, in finding the best way to map client language features (types, loops, variables, lambdas) onto the batch script language. The benefit of doing so is that batch scripts allow high-performance cross-platform access to services, and also have a clean mapping to SQL, where a batch always generates a constant number of SQL queries, no matter how many nested loops are used. Batch blocks in effect create Data Transfer Objects and Remote Facades on the fly. I will demonstrate an extension of javac for batches and also discuss ongoing work on batches for Python and JavaScript.
For more information, see http://www.cs.utexas.edu/~wcook/projects/batches

Here are the slides from the talk: http://www.cs.utexas.edu/~wcook/Drafts/2012/2012-07-JVM-Summit-Batches.pdf

Here is the video: http://medianetwork.oracle.com/video/player/1785453109001

Jaba Batches: A Radical (And Better) New Approach to SQL, RMI, and WS Clients

2012-09-27T00:08:59Z

Jrose: moved Jaba Batches: A Radical (And Better) New Approach to SQL, RMI, and WS Clients to Jaba Batches: new name easier to publish as a link

#REDIRECT [[Jaba Batches]]

Arrays 2.0 64

2012-09-27T00:05:09Z

Jrose:

== Links ==
* slides: http://cr.openjdk.java.net/~jrose/pres/201207-Arrays-2.pdf
* video: http://medianetwork.oracle.com/video/player/1785452137001

Jaba Batches

2012-09-27T00:04:10Z

Jrose:

2012 Main Page

2012-08-30T22:24:36Z

Jrose:

__NOTOC__
Welcome to the wiki for the 2012 JVM Language Summit, taking place July 30-August 1, 2012, at the Oracle Santa Clara Campus.

== Links ==
* [http://medianetwork.oracle.com/media/channels/oracle-technology-network/948003234001 Video of 2012 talks] ([http://medianetwork.oracle.com/search/results?q=JVMLS+2012&max=99 query link] [[Media:JVMLS_2012_Videos.pdf‎|query output snapshot]])
* [http://openjdk.java.net/projects/mlvm/jvmlangsummit JVM Language Summit] main page
* Email contacts: [mailto:brian.goetz-at-oracle.com Brian Goetz] and [mailto:john.r.rose-at-oracle.com John Rose]
* Archived wiki pages: [[2008_Main_Page | 2008]], [[2009_Main_Page | 2009]], [[2010_Main_Page | 2010]], [[2011_Main_Page | 2011]]
* [[Logistics]] page for travel tips and requests
* To gain write access, [[#Self-registration | see instructions below]].

== Agenda ==

{| class="wikitable" style="text-align: center;"
!
!Monday, July 30
!Tuesday, July 31
!Wednesday, August 1
|-
| 8:20
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
|-
| 8:40
|-
| 9:00
| rowspan="2" style="background-color:#ffeb9c;" |
Georges Saab: Welcome from Oracle
| rowspan="2" style="background-color:#ffeb9c;" |
[[Jaba Batches: A Radical (And Better) New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[RTalk: a Smalltalk 'Live' Environment Built on the JVM|Mark Roos (RTalk)]]
|-
| 9:20
|-
| 9:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Lambda Expressions in Java|Brian Goetz (Lambda)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Rémi Forax (JDart)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[invokedynamic Performance for Groovy|Jochen Theodorou (Groovy)]]
|-
| 10:00
|-
| 10:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 10:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[MethodHandle Introspection: Internals|Dan Heidinga (MH introspection)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Truffle: A Self-Optimizing Runtime System|Thomas Wuerthinger (Truffle)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Arrays_2.0_64|John Rose (Arrays[2.064])]]
|-
| 11:00
|-
| 11:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[Lambda Forms: IR for Method Handles|John Rose (Lambda Forms)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Truffle Workshop|Lukas Stadler (Truffle)]], 
[[Kawa|Per Bothner (Kawa)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building a Dynamic Language on the JVM|Mark Roos (RTalk)]], 
[[Working with invokedynamic|Jochen Theodorou (invokedynamic)]]
|-
| 11:40
|-
| 12:00
| rowspan="3" style="background-color:#ffc7ce;" | Lunch
|-
| 12:20
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
|-
| 12:40
|-
| 13:00
| rowspan="2" style="background-color:#ffeb9c;" |
[[0xdata Big Data|Cliff Click (Big Data)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[7 Features the JVM Should Steal From the CLR|Jeroen Frijters (CLR/JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Project Alchemy: Rebooting a Dynamic Image-based Language with a Large C Runtime|Duncan MacGregor (Migrating to JVM)]]
|-
| 13:20
|-
| 13:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Datomic|Rich Hickey (Datomic)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Embedding Fortress Types and Dispatch in the JVM|David Chase (Fortress)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Patterns for Staged Compilation in Java|Matt Fowles (Implementing StreamBase)]]
|-
| 14:00
|-
| 14:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 14:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[The Mesh Language|Basil Hosmer (Mesh)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-tenancy Programming Models|Ryan Sciampacone (Multi-tenant JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-language JDI? You're Joking, Right?|Jim Laskey (JDI)]]
|-
| 15:00
|-
| 15:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[Graal (2012)|Doug Simon (Graal)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Assembling for the JVM|Michael Wiedeking (AL1 JVM assembler)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[A Friend in Need Is a Friend Indeed: Kotlin and Java|Andrey Breslav (Kotlin/Java interop)]]
|-
| 15:40
|-
| 16:00
| rowspan="3" style="background-color:#c6efce;" |
[[Mesh Deeper Dive|Basil Hosmer (Mesh)]], 
[[Graal Compiler IR|Gilles Duboscq (Graal)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Java Collections Framework Design|Donald Raab (Collections)]], 
[[Design Discussion for Jaba Batches: A New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building on ASM|Duncan MacGregor (ASM)]], 
[[What Kotlin Doesn’t Do and Why|Andrey Breslav (Kotlin)]]
|-
| 16:20
|-
| 16:40
|-
| 17:00
| rowspan="6" |
| rowspan="3" |
| rowspan="6" |
|-
| 17:20
|-
| 17:40
|-
| 18:00
| rowspan="3" style="background-color:#ffc7ce;" | Dinner
|-
| 18:20
|-
| 18:40
|}

== Self-registration ==

In order to upload slides or create and edit wiki pages, you need an account.
# Log in as user [[User:jvmlang|jvmlang]] and with a password which you should have received separately.
# Go to the [http://wiki.jvmlangsummit.com/index.php?title=Special:UserLogin&type=signup user creation page]. (If you have an OpenJDK or java.net user name, please reuse that here.)
# Log out, then back in using your new user name (note the tiny login link at the upper right).

The initial jvmlang participant account does not have full write privileges; please use it only for self-registering.

If you are having trouble recovering your password from last year, just re-register (e.g., ''jrose2'').

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== Bonus Discussions ==

(add pages and/or workshop links here)
* ...

File:JVMLS 2012 Videos.pdf

2012-08-30T22:21:32Z

Jrose:

Lambda Forms: IR for Method Handles

2012-08-30T22:17:24Z

Jrose:

2012 Main Page

2012-08-30T22:12:07Z

Jrose:

__NOTOC__
Welcome to the wiki for the 2012 JVM Language Summit, taking place July 30-August 1, 2012, at the Oracle Santa Clara Campus.

== Links ==
* [http://medianetwork.oracle.com/media/channels/oracle-technology-network/948003234001 Video of 2012 talks] ([http://medianetwork.oracle.com/search/results?q=JVMLS+2012&max=99 query link])
* [http://openjdk.java.net/projects/mlvm/jvmlangsummit JVM Language Summit] main page
* Email contacts: [mailto:brian.goetz-at-oracle.com Brian Goetz] and [mailto:john.r.rose-at-oracle.com John Rose]
* Archived wiki pages: [[2008_Main_Page | 2008]], [[2009_Main_Page | 2009]], [[2010_Main_Page | 2010]], [[2011_Main_Page | 2011]]
* [[Logistics]] page for travel tips and requests
* To gain write access, [[#Self-registration | see instructions below]].

== Agenda ==

{| class="wikitable" style="text-align: center;"
!
!Monday, July 30
!Tuesday, July 31
!Wednesday, August 1
|-
| 8:20
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
|-
| 8:40
|-
| 9:00
| rowspan="2" style="background-color:#ffeb9c;" |
Georges Saab: Welcome from Oracle
| rowspan="2" style="background-color:#ffeb9c;" |
[[Jaba Batches: A Radical (And Better) New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[RTalk: a Smalltalk 'Live' Environment Built on the JVM|Mark Roos (RTalk)]]
|-
| 9:20
|-
| 9:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Lambda Expressions in Java|Brian Goetz (Lambda)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Rémi Forax (JDart)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[invokedynamic Performance for Groovy|Jochen Theodorou (Groovy)]]
|-
| 10:00
|-
| 10:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 10:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[MethodHandle Introspection: Internals|Dan Heidinga (MH introspection)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Truffle: A Self-Optimizing Runtime System|Thomas Wuerthinger (Truffle)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Arrays_2.0_64|John Rose (Arrays[2.064])]]
|-
| 11:00
|-
| 11:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[Lambda Forms: IR for Method Handles|John Rose (Lambda Forms)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Truffle Workshop|Lukas Stadler (Truffle)]], 
[[Kawa|Per Bothner (Kawa)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building a Dynamic Language on the JVM|Mark Roos (RTalk)]], 
[[Working with invokedynamic|Jochen Theodorou (invokedynamic)]]
|-
| 11:40
|-
| 12:00
| rowspan="3" style="background-color:#ffc7ce;" | Lunch
|-
| 12:20
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
|-
| 12:40
|-
| 13:00
| rowspan="2" style="background-color:#ffeb9c;" |
[[0xdata Big Data|Cliff Click (Big Data)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[7 Features the JVM Should Steal From the CLR|Jeroen Frijters (CLR/JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Project Alchemy: Rebooting a Dynamic Image-based Language with a Large C Runtime|Duncan MacGregor (Migrating to JVM)]]
|-
| 13:20
|-
| 13:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Datomic|Rich Hickey (Datomic)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Embedding Fortress Types and Dispatch in the JVM|David Chase (Fortress)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Patterns for Staged Compilation in Java|Matt Fowles (Implementing StreamBase)]]
|-
| 14:00
|-
| 14:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 14:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[The Mesh Language|Basil Hosmer (Mesh)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-tenancy Programming Models|Ryan Sciampacone (Multi-tenant JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-language JDI? You're Joking, Right?|Jim Laskey (JDI)]]
|-
| 15:00
|-
| 15:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[Graal (2012)|Doug Simon (Graal)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Assembling for the JVM|Michael Wiedeking (AL1 JVM assembler)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[A Friend in Need Is a Friend Indeed: Kotlin and Java|Andrey Breslav (Kotlin/Java interop)]]
|-
| 15:40
|-
| 16:00
| rowspan="3" style="background-color:#c6efce;" |
[[Mesh Deeper Dive|Basil Hosmer (Mesh)]], 
[[Graal Compiler IR|Gilles Duboscq (Graal)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Java Collections Framework Design|Donald Raab (Collections)]], 
[[Design Discussion for Jaba Batches: A New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building on ASM|Duncan MacGregor (ASM)]], 
[[What Kotlin Doesn’t Do and Why|Andrey Breslav (Kotlin)]]
|-
| 16:20
|-
| 16:40
|-
| 17:00
| rowspan="6" |
| rowspan="3" |
| rowspan="6" |
|-
| 17:20
|-
| 17:40
|-
| 18:00
| rowspan="3" style="background-color:#ffc7ce;" | Dinner
|-
| 18:20
|-
| 18:40
|}

== Self-registration ==

In order to upload slides or create and edit wiki pages, you need an account.
# Log in as user [[User:jvmlang|jvmlang]] and with a password which you should have received separately.
# Go to the [http://wiki.jvmlangsummit.com/index.php?title=Special:UserLogin&type=signup user creation page]. (If you have an OpenJDK or java.net user name, please reuse that here.)
# Log out, then back in using your new user name (note the tiny login link at the upper right).

The initial jvmlang participant account does not have full write privileges; please use it only for self-registering.

If you are having trouble recovering your password from last year, just re-register (e.g., ''jrose2'').

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== Bonus Discussions ==

(add pages and/or workshop links here)
* ...

2012 Main Page

2012-08-30T21:37:11Z

Jrose:

__NOTOC__
Welcome to the wiki for the 2012 JVM Language Summit, taking place July 30-August 1, 2012, at the Oracle Santa Clara Campus.

== Links ==
* [http://medianetwork.oracle.com/media/channels/oracle-technology-network/948003234001 Video of 2012 talks]
* [http://openjdk.java.net/projects/mlvm/jvmlangsummit JVM Language Summit] main page
* Email contacts: [mailto:brian.goetz-at-oracle.com Brian Goetz] and [mailto:john.r.rose-at-oracle.com John Rose]
* Archived wiki pages: [[2008_Main_Page | 2008]], [[2009_Main_Page | 2009]], [[2010_Main_Page | 2010]], [[2011_Main_Page | 2011]]
* [[Logistics]] page for travel tips and requests
* To gain write access, [[#Self-registration | see instructions below]].

== Agenda ==

{| class="wikitable" style="text-align: center;"
!
!Monday, July 30
!Tuesday, July 31
!Wednesday, August 1
|-
| 8:20
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
|-
| 8:40
|-
| 9:00
| rowspan="2" style="background-color:#ffeb9c;" |
Georges Saab: Welcome from Oracle
| rowspan="2" style="background-color:#ffeb9c;" |
[[Jaba Batches: A Radical (And Better) New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[RTalk: a Smalltalk 'Live' Environment Built on the JVM|Mark Roos (RTalk)]]
|-
| 9:20
|-
| 9:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Lambda Expressions in Java|Brian Goetz (Lambda)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Rémi Forax (JDart)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[invokedynamic Performance for Groovy|Jochen Theodorou (Groovy)]]
|-
| 10:00
|-
| 10:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 10:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[MethodHandle Introspection: Internals|Dan Heidinga (MH introspection)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Truffle: A Self-Optimizing Runtime System|Thomas Wuerthinger (Truffle)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Arrays_2.0_64|John Rose (Arrays[2.064])]]
|-
| 11:00
|-
| 11:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[Lambda Forms: IR for Method Handles|John Rose (Lambda Forms)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Truffle Workshop|Lukas Stadler (Truffle)]], 
[[Kawa|Per Bothner (Kawa)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building a Dynamic Language on the JVM|Mark Roos (RTalk)]], 
[[Working with invokedynamic|Jochen Theodorou (invokedynamic)]]
|-
| 11:40
|-
| 12:00
| rowspan="3" style="background-color:#ffc7ce;" | Lunch
|-
| 12:20
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
|-
| 12:40
|-
| 13:00
| rowspan="2" style="background-color:#ffeb9c;" |
[[0xdata Big Data|Cliff Click (Big Data)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[7 Features the JVM Should Steal From the CLR|Jeroen Frijters (CLR/JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Project Alchemy: Rebooting a Dynamic Image-based Language with a Large C Runtime|Duncan MacGregor (Migrating to JVM)]]
|-
| 13:20
|-
| 13:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Datomic|Rich Hickey (Datomic)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Embedding Fortress Types and Dispatch in the JVM|David Chase (Fortress)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Patterns for Staged Compilation in Java|Matt Fowles (Implementing StreamBase)]]
|-
| 14:00
|-
| 14:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 14:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[The Mesh Language|Basil Hosmer (Mesh)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-tenancy Programming Models|Ryan Sciampacone (Multi-tenant JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-language JDI? You're Joking, Right?|Jim Laskey (JDI)]]
|-
| 15:00
|-
| 15:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[Graal (2012)|Doug Simon (Graal)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Assembling for the JVM|Michael Wiedeking (AL1 JVM assembler)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[A Friend in Need Is a Friend Indeed: Kotlin and Java|Andrey Breslav (Kotlin/Java interop)]]
|-
| 15:40
|-
| 16:00
| rowspan="3" style="background-color:#c6efce;" |
[[Mesh Deeper Dive|Basil Hosmer (Mesh)]], 
[[Graal Compiler IR|Gilles Duboscq (Graal)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Java Collections Framework Design|Donald Raab (Collections)]], 
[[Design Discussion for Jaba Batches: A New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building on ASM|Duncan MacGregor (ASM)]], 
[[What Kotlin Doesn’t Do and Why|Andrey Breslav (Kotlin)]]
|-
| 16:20
|-
| 16:40
|-
| 17:00
| rowspan="6" |
| rowspan="3" |
| rowspan="6" |
|-
| 17:20
|-
| 17:40
|-
| 18:00
| rowspan="3" style="background-color:#ffc7ce;" | Dinner
|-
| 18:20
|-
| 18:40
|}

== Self-registration ==

In order to upload slides or create and edit wiki pages, you need an account.
# Log in as user [[User:jvmlang|jvmlang]] and with a password which you should have received separately.
# Go to the [http://wiki.jvmlangsummit.com/index.php?title=Special:UserLogin&type=signup user creation page]. (If you have an OpenJDK or java.net user name, please reuse that here.)
# Log out, then back in using your new user name (note the tiny login link at the upper right).

The initial jvmlang participant account does not have full write privileges; please use it only for self-registering.

If you are having trouble recovering your password from last year, just re-register (e.g., ''jrose2'').

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== Bonus Discussions ==

(add pages and/or workshop links here)
* ...

Multi-language JDI? You're Joking, Right?

2012-08-01T22:19:55Z

Jrose:

== Links ==
* slides: [[Media:2012_JDI_Mlvmjdi.pdf]]
* boilerplate: [[Media:Xyzzyxjdi.tgz]]

File:Xyzzyxjdi.tgz

2012-08-01T22:19:30Z

Jrose: Expand with "tar -xzf - < $f".

Expand with "tar -xzf - < $f".

Multi-language JDI? You're Joking, Right?

2012-08-01T22:12:50Z

Jrose:

== Links ==
* slides: [[Media:2012_JDI_Mlvmjdi.pdf]]
* boilerplate: http://cr.openjdk.java.net/~jrose/pres/Laskey-JDI-xyzzyxjdi.zip

Project Alchemy: Rebooting a Dynamic Image-based Language with a Large C Runtime

2012-08-01T20:23:02Z

Jrose: Created page with "== links == * wiki: http://sw-gis.wikidot.com/magik-lang"

== links ==
* wiki: http://sw-gis.wikidot.com/magik-lang

Datomic

2012-08-01T20:09:25Z

Jrose: Created page with "== links == * slides: Media:Datomicjvmsummit2012.pdf"

== links ==
* slides: [[Media:Datomicjvmsummit2012.pdf]]

File:Datomicjvmsummit2012.pdf

2012-08-01T20:09:09Z

Jrose:

2012 Main Page

2012-08-01T19:54:00Z

Jrose:

__NOTOC__
Welcome to the wiki for the 2012 JVM Language Summit, taking place July 30-August 1, 2012, at the Oracle Santa Clara Campus.

== Links ==

* [http://openjdk.java.net/projects/mlvm/jvmlangsummit JVM Language Summit] main page
* Email contacts: [mailto:brian.goetz-at-oracle.com Brian Goetz] and [mailto:john.r.rose-at-oracle.com John Rose]
* Archived wiki pages: [[2008_Main_Page | 2008]], [[2009_Main_Page | 2009]], [[2010_Main_Page | 2010]], [[2011_Main_Page | 2011]]
* [[Logistics]] page for travel tips and requests
* To gain write access, [[#Self-registration | see instructions below]].

== Agenda ==

{| class="wikitable" style="text-align: center;"
!
!Monday, July 30
!Tuesday, July 31
!Wednesday, August 1
|-
| 8:20
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
|-
| 8:40
|-
| 9:00
| rowspan="2" style="background-color:#ffeb9c;" |
Georges Saab: Welcome from Oracle
| rowspan="2" style="background-color:#ffeb9c;" |
[[Jaba Batches: A Radical (And Better) New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[RTalk: a Smalltalk 'Live' Environment Built on the JVM|Mark Roos (RTalk)]]
|-
| 9:20
|-
| 9:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Lambda Expressions in Java|Brian Goetz (Lambda)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Rémi Forax (JDart)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[invokedynamic Performance for Groovy|Jochen Theodorou (Groovy)]]
|-
| 10:00
|-
| 10:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 10:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[MethodHandle Introspection: Internals|Dan Heidinga (MH introspection)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Truffle: A Self-Optimizing Runtime System|Thomas Wuerthinger (Truffle)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Arrays_2.0_64|John Rose (Arrays[2.064])]]
|-
| 11:00
|-
| 11:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[Lambda Forms: IR for Method Handles|John Rose (Lambda Forms)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Truffle Workshop|Lukas Stadler (Truffle)]], 
[[Kawa|Per Bothner (Kawa)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building a Dynamic Language on the JVM|Mark Roos (RTalk)]], 
[[Working with invokedynamic|Jochen Theodorou (invokedynamic)]]
|-
| 11:40
|-
| 12:00
| rowspan="3" style="background-color:#ffc7ce;" | Lunch
|-
| 12:20
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
|-
| 12:40
|-
| 13:00
| rowspan="2" style="background-color:#ffeb9c;" |
[[0xdata|Cliff Click (Big Data)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[7 Features the JVM Should Steal From the CLR|Jeroen Frijters (CLR/JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Project Alchemy: Rebooting a Dynamic Image-based Language with a Large C Runtime|Duncan MacGregor (Migrating to JVM)]]
|-
| 13:20
|-
| 13:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Datomic|Rich Hickey (Datomic)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Embedding Fortress Types and Dispatch in the JVM|David Chase (Fortress)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Patterns for Staged Compilation in Java|Matt Fowles (Staged compilation)]]
|-
| 14:00
|-
| 14:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 14:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[The Mesh Language|Basil Hosmer (Mesh)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-tenancy Programming Models|Ryan Sciampacone (Multi-tenant JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-language JDI? You're Joking, Right?|Jim Laskey (JDI)]]
|-
| 15:00
|-
| 15:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[Graal (2012)|Doug Simon (Graal)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Assembling for the JVM|Michael Wiedeking (AL1 JVM assembler)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[A Friend in Need Is a Friend Indeed: Kotlin and Java|Andrey Breslav (Kotlin/Java interop)]]
|-
| 15:40
|-
| 16:00
| rowspan="3" style="background-color:#c6efce;" |
[[Mesh Deeper Dive|Basil Hosmer (Mesh)]], 
[[Graal Compiler IR|Gilles Duboscq (Graal)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Java Collections Framework Design|Donald Raab (Collections)]], 
[[Design Discussion for Jaba Batches: A New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building on ASM|Duncan MacGregor (ASM)]], 
[[What Kotlin Doesn’t Do and Why|Andrey Breslav (Kotlin)]]
|-
| 16:20
|-
| 16:40
|-
| 17:00
| rowspan="6" |
| rowspan="3" |
| rowspan="6" |
|-
| 17:20
|-
| 17:40
|-
| 18:00
| rowspan="3" style="background-color:#ffc7ce;" | Dinner
|-
| 18:20
|-
| 18:40
|}

== Self-registration ==

In order to upload slides or create and edit wiki pages, you need an account.
# Log in as user [[User:jvmlang|jvmlang]] and with a password which you should have received separately.
# Go to the [http://wiki.jvmlangsummit.com/index.php?title=Special:UserLogin&type=signup user creation page]. (If you have an OpenJDK or java.net user name, please reuse that here.)
# Log out, then back in using your new user name (note the tiny login link at the upper right).

The initial jvmlang participant account does not have full write privileges; please use it only for self-registering.

If you are having trouble recovering your password from last year, just re-register (e.g., ''jrose2'').

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== Bonus Discussions ==

(add pages and/or workshop links here)
* ...

Arrays 2.0 64

2012-08-01T19:53:07Z

Jrose: Created page with "== Links == * slides: http://cr.openjdk.java.net/~jrose/pres/201207-Arrays-2.pdf"

== Links ==
* slides: http://cr.openjdk.java.net/~jrose/pres/201207-Arrays-2.pdf

RTalk: a Smalltalk 'Live' Environment Built on the JVM

2012-07-31T22:15:53Z

Jrose: Created page with "== Links == * slides: Media:Roos-Rtalk12.pdf * workshop: Media:Roos-RtalkWks12.pdf"

== Links ==
* slides: [[Media:Roos-Rtalk12.pdf]]
* workshop: [[Media:Roos-RtalkWks12.pdf]]

File:Roos-RtalkWks12.pdf

2012-07-31T22:15:24Z

Jrose:

File:Roos-Rtalk12.pdf

2012-07-31T22:14:47Z

Jrose:

Embedding Fortress Types and Dispatch in the JVM

2012-07-31T22:13:10Z

Jrose: Created page with "== Links == * slides: Media:DavidChase-JVMLS2012.pdf"

== Links ==
* slides: [[Media:DavidChase-JVMLS2012.pdf]]

File:DavidChase-JVMLS2012.pdf

2012-07-31T22:12:33Z

Jrose:

Multi-tenancy Programming Models

2012-07-31T22:09:35Z

Jrose: Created page with "== Links == * http://www.ibm.com/developerworks/websphere/techjournal/1108_sciampacone/1108_sciampacone.html"

== Links ==
* http://www.ibm.com/developerworks/websphere/techjournal/1108_sciampacone/1108_sciampacone.html

File:Testfile.tgz

2012-07-31T21:52:28Z

Jrose:

7 Features the JVM Should Steal From the CLR

2012-07-31T20:54:05Z

Jrose: Created page with "== Links == * slides: Media:Jeroen Frijters - JVM-CLR.pdf * blog: http://weblog.ikvm.net/"

== Links ==
* slides: [[Media:Jeroen Frijters - JVM-CLR.pdf]]
* blog: http://weblog.ikvm.net/

Java Collections Framework Design

2012-07-30T21:03:03Z

Jrose: Created page with "== Links == * slides: Media:Raab_Collections_Design.pdf‎"

== Links ==
* slides: [[Media:Raab_Collections_Design.pdf‎]]

File:Raab Collections Design.pdf

2012-07-30T21:02:48Z

Jrose:

Graal (2012)

2012-07-30T21:00:13Z

Jrose: Created page with "== Links == * slides: Media:Simon_Graal_Presentation.pdf‎"

== Links ==
* slides: [[Media:Simon_Graal_Presentation.pdf‎]]

File:Simon Graal Presentation.pdf

2012-07-30T20:59:41Z

Jrose:

Lambda Expressions in Java

2012-07-30T20:58:03Z

Jrose:

== References ==
* slides: [[Media:Goetz-jvmls-lambda.pdf]]
* translation doc: http://cr.openjdk.java.net/~briangoetz/lambda/lambda-translation.html

File:Goetz-jvmls-lambda.pdf

2012-07-30T20:56:00Z

Jrose:

Lambda Forms: IR for Method Handles

2012-07-30T20:20:26Z

Jrose: Created page with "== Links == * slides: http://cr.openjdk.java.net/~jrose/pres/201207-LF-Tutorial.pdf * JVM changes: http://hg.openjdk.java.net/hsx/hotspot-comp/hotspot/rev/1d7922586cf6 * JDK chan..."

== Links ==
* slides: http://cr.openjdk.java.net/~jrose/pres/201207-LF-Tutorial.pdf
* JVM changes: http://hg.openjdk.java.net/hsx/hotspot-comp/hotspot/rev/1d7922586cf6
* JDK changes: http://hg.openjdk.java.net/hsx/hotspot-comp/jdk/rev/050116960e99

Lambda Expressions in Java

2012-07-27T23:16:52Z

Jrose: Created page with "== References == * http://cr.openjdk.java.net/~briangoetz/lambda/lambda-translation.html"

== References ==
* http://cr.openjdk.java.net/~briangoetz/lambda/lambda-translation.html

2012 Main Page

2012-06-26T17:24:55Z

Jrose:

__NOTOC__
Welcome to the wiki for the 2012 JVM Language Summit, taking place July 30-August 1, 2012, at the Oracle Santa Clara Campus.

== Links ==

* [http://openjdk.java.net/projects/mlvm/jvmlangsummit JVM Language Summit] main page
* Email contacts: [mailto:brian.goetz-at-oracle.com Brian Goetz] and [mailto:john.r.rose-at-oracle.com John Rose]
* Archived wiki pages: [[2008_Main_Page | 2008]], [[2009_Main_Page | 2009]], [[2010_Main_Page | 2010]], [[2011_Main_Page | 2011]]
* [[Logistics]] page for travel tips and requests
* To gain write access, [[#Self-registration | see instructions below]].

== Agenda ==

{| class="wikitable" style="text-align: center;"
!
!Monday, July 30
!Tuesday, July 31
!Wednesday, August 1
|-
| 8:20
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
|-
| 8:40
|-
| 9:00
| style="background-color:#ffeb9c;" | Intro and Welcome
| rowspan="2" style="background-color:#ffeb9c;" |
[[Jaba Batches: A Radical (And Better) New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[RTalk: a Smalltalk 'Live' Environment Built on the JVM|Mark Roos (RTalk)]]
|-
| 9:20
| rowspan="3" style="background-color:#ffeb9c;" | Keynote
|-
| 9:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Patterns for Staged Compilation in Java|Matt Fowles (Staged compilation)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[invokedynamic Performance for Groovy|Jochen Theodorou (Groovy)]]
|-
| 10:00
|-
| 10:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 10:40
| rowspan="2" style="background-color:#ffeb9c;" |
Brian Goetz
| rowspan="2" style="background-color:#ffeb9c;" |
[[Truffle: A Self-Optimizing Runtime System|Thomas Wuerthinger (Truffle)]]
| rowspan="2" style="background-color:#ffeb9c;" |
John Rose
|-
| 11:00
|-
| 11:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[MethodHandle Introspection: Internals|Dan Heidinga (MH introspection)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Truffle Workshop|Lukas Stadlar (Truffle)]], 
[[Kawa|Per Bothner (Kawa)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building a Dynamic Language on the JVM|Mark Roos (RTalk)]], 
[[Working with invokedynamic|Jochen Theodorou (invokedynamic)]]
|-
| 11:40
|-
| 12:00
| rowspan="3" style="background-color:#ffc7ce;" | Lunch
|-
| 12:20
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
|-
| 12:40
|-
| 13:00
| rowspan="2" style="background-color:#ffeb9c;" |
Oracle
| rowspan="2" style="background-color:#ffeb9c;" |
[[7 Features the JVM Should Steal From the CLR|Jeroen Frijters (CLR/JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Project Alchemy: Rebooting a Dynamic Image-based Language with a Large C Runtime|Duncan MacGregor (Migrating to JVM)]]
|-
| 13:20
|-
| 13:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Datomic|Rich Hickey (Datomic)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Embedding Fortress Types and Dispatch in the JVM|David Chase (Fortress)]]
| rowspan="2" style="background-color:#ffeb9c;" |
Rémi Forax (JDart)
|-
| 14:00
|-
| 14:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 14:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[The Mesh Language|Basil Hosmer (Mesh)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-tenancy Programming Models|Ryan Sciampacone (Multi-tenant JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-language JDI? You're Joking, Right?|Jim Laskey (JDI)]]
|-
| 15:00
|-
| 15:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[Graal (2012)|Doug Simon (Graal)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Assembling for the JVM|Michael Wiedeking (AL1 JVM assembler)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[A Friend in Need Is a Friend Indeed: Kotlin and Java|Andrey Breslav (Kotlin/Java interop)]]
|-
| 15:40
|-
| 16:00
| rowspan="3" style="background-color:#c6efce;" |
[[Mesh Deeper Dive|Basil Hosmer (Mesh)]], 
[[Graal Compiler IR|Gilles Duboscq (Graal)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Java Collections Framework Design|Donald Raab (Collections)]], 
[[Design Discussion for Jaba Batches: A New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building on ASM|Duncan MacGregor (ASM)]], 
[[What Kotlin Doesn’t Do and Why|Andrey Breslav (Kotlin)]]
|-
| 16:20
|-
| 16:40
|-
| 17:00
| rowspan="6" |
| rowspan="3" |
| rowspan="6" |
|-
| 17:20
|-
| 17:40
|-
| 18:00
| rowspan="3" style="background-color:#ffc7ce;" | Dinner
|-
| 18:20
|-
| 18:40
|}

== Self-registration ==

In order to upload slides or create and edit wiki pages, you need an account.
# Log in as user [[User:jvmlang|jvmlang]] and with a password which you should have received separately.
# Go to the [http://wiki.jvmlangsummit.com/index.php?title=Special:UserLogin&type=signup user creation page]. (If you have an OpenJDK or java.net user name, please reuse that here.)
# Log out, then back in using your new user name (note the tiny login link at the upper right).

The initial jvmlang participant account does not have full write privileges; please use it only for self-registering.

If you are having trouble recovering your password from last year, just re-register (e.g., ''jrose2'').

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== Bonus Discussions ==

(add pages and/or workshop links here)
* ...

MediaWiki:Sidebar

2012-06-26T16:57:50Z

Jrose:

2012 Main Page

2012-06-26T16:53:53Z

Jrose: /* Write Access & Uploading */

__NOTOC__
Welcome to the wiki for the 2012 JVM Language Summit, taking place July 30-August 1, 2012, at the Oracle Santa Clara Campus.

== Links ==

* [http://openjdk.java.net/projects/mlvm/jvmlangsummit JVM Language Summit] main page
* Email contacts: [mailto:brian.goetz-at-oracle.com Brian Goetz] and [mailto:john.r.rose-at-oracle.com John Rose]
* Archived wiki pages: [[2008_Main_Page | 2008]], [[2009_Main_Page | 2009]], [[2010_Main_Page | 2010]], [[2011_Main_Page | 2011]]
* [[Logistics]] page for travel tips and requests

== Agenda ==

{| class="wikitable" style="text-align: center;"
!
!Monday, July 30
!Tuesday, July 31
!Wednesday, August 1
|-
| 8:20
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
| rowspan="2" style="background-color:#ffc7ce;" | Breakfast
|-
| 8:40
|-
| 9:00
| style="background-color:#ffeb9c;" | Intro and Welcome
| rowspan="2" style="background-color:#ffeb9c;" |
[[Jaba Batches: A Radical (And Better) New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[RTalk: a Smalltalk 'Live' Environment Built on the JVM|Mark Roos (RTalk)]]
|-
| 9:20
| rowspan="3" style="background-color:#ffeb9c;" | Keynote
|-
| 9:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Patterns for Staged Compilation in Java|Matt Fowles (Staged compilation)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[invokedynamic Performance for Groovy|Jochen Theodorou (Groovy)]]
|-
| 10:00
|-
| 10:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 10:40
| rowspan="2" style="background-color:#ffeb9c;" |
Brian Goetz
| rowspan="2" style="background-color:#ffeb9c;" |
[[Truffle: A Self-Optimizing Runtime System|Thomas Wuerthinger (Truffle)]]
| rowspan="2" style="background-color:#ffeb9c;" |
John Rose
|-
| 11:00
|-
| 11:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[MethodHandle Introspection: Internals|Dan Heidinga (MH introspection)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Truffle Workshop|Lukas Stadlar (Truffle)]], 
[[Kawa|Per Bothner (Kawa)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building a Dynamic Language on the JVM|Mark Roos (RTalk)]], 
[[Working with invokedynamic|Jochen Theodorou (invokedynamic)]]
|-
| 11:40
|-
| 12:00
| rowspan="3" style="background-color:#ffc7ce;" | Lunch
|-
| 12:20
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
| rowspan="2" style="background-color:#ffc7ce;" | Lunch
|-
| 12:40
|-
| 13:00
| rowspan="2" style="background-color:#ffeb9c;" |
Oracle
| rowspan="2" style="background-color:#ffeb9c;" |
[[7 Features the JVM Should Steal From the CLR|Jeroen Frijters (CLR/JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Project Alchemy: Rebooting a Dynamic Image-based Language with a Large C Runtime|Duncan MacGregor (Migrating to JVM)]]
|-
| 13:20
|-
| 13:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[Datomic|Rich Hickey (Datomic)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Embedding Fortress Types and Dispatch in the JVM|David Chase (Fortress)]]
| rowspan="2" style="background-color:#ffeb9c;" |
Rémi Forax (JDart)
|-
| 14:00
|-
| 14:20
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
| style="background-color:#ffc7ce;" | Break
|-
| 14:40
| rowspan="2" style="background-color:#ffeb9c;" |
[[The Mesh Language|Basil Hosmer (Mesh)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-tenancy Programming Models|Ryan Sciampacone (Multi-tenant JVM)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Multi-language JDI? You're Joking, Right?|Jim Laskey (JDI)]]
|-
| 15:00
|-
| 15:20
| rowspan="2" style="background-color:#ffeb9c;" |
[[Graal (2012)|Doug Simon (Graal)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[Assembling for the JVM|Michael Wiedeking (AL1 JVM assembler)]]
| rowspan="2" style="background-color:#ffeb9c;" |
[[A Friend in Need Is a Friend Indeed: Kotlin and Java|Andrey Breslav (Kotlin/Java interop)]]
|-
| 15:40
|-
| 16:00
| rowspan="3" style="background-color:#c6efce;" |
[[Mesh Deeper Dive|Basil Hosmer (Mesh)]], 
[[Graal Compiler IR|Gilles Duboscq (Graal)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Java Collections Framework Design|Donald Raab (Collections)]], 
[[Design Discussion for Jaba Batches: A New Approach to SQL, RMI, and WS Clients|William Cook (Batches)]]
| rowspan="3" style="background-color:#c6efce;" |
[[Building on ASM|Duncan MacGregor (ASM)]], 
[[What Kotlin Doesn’t Do and Why|Andrey Breslav (Kotlin)]]
|-
| 16:20
|-
| 16:40
|-
| 17:00
| rowspan="6" |
| rowspan="3" |
| rowspan="6" |
|-
| 17:20
|-
| 17:40
|-
| 18:00
| rowspan="3" style="background-color:#ffc7ce;" | Dinner
|-
| 18:20
|-
| 18:40
|}

== Self-registration ==

In order to upload slides or create and edit wiki pages, you need an account.
# Log in as user [[User:jvmlang|jvmlang]] and with a password which you should have received separately.
# Go to the [http://wiki.jvmlangsummit.com/index.php?title=Special:UserLogin&type=signup user creation page]. (If you have an OpenJDK or java.net user name, please reuse that here.)
# Log out, then back in using your new user name (note the tiny login link at the upper right).

The initial jvmlang participant account does not have full write privileges; please use it only for self-registering.

If you are having trouble recovering your password from last year, just re-register (e.g., ''jrose2'').

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== Bonus Discussions ==

(add pages and/or workshop links here)
* ...

MediaWiki:Sidebar

2012-06-26T16:50:17Z

Jrose:

2010 Main Page

2012-04-10T23:59:00Z

Jrose:

== Media ==

Videos of most talks are available on the [http://medianetwork.oracle.com Oracle Media Network]. Click individual links below to view videos for 2010.

The first four videos below have slides integrated into the video for easier viewing.

* [http://medianetwork.oracle.com/media/show/15487 Gathering the threads: JVM Futures] (John Rose, Oracle; Welcome and JSR 292 update) - [[Media:RoseJVMFutureTalk.pdf | Slides]], [http://wiki.jvmlangsummit.com/Gathering_the_threads:_JVM_Futures Abstract]

* [http://medianetwork.oracle.com/media/show/15507 Engineering Fine-Grained Parallelism in Java] (Doug Lea, SUNY Oswego; Keynote) - [[Media:Lea-fj-jul10.pdf | Slides]], [http://wiki.jvmlangsummit.com/Engineering_Fine-Grained_Parallelism_in_Java Abstract]

* [http://medianetwork.oracle.com/media/show/15524 MethodHandles: an IBM implementation] (Dan Heidinga, IBM) - [[Media:J9 MethodHandle Impl.pdf | Slides]], [http://wiki.jvmlangsummit.com/MethodHandles:_an_IBM_implementation Abstract]

* [http://medianetwork.oracle.com/media/show/15501 Efficient compilation of Lambdas using MethodHandles and JRockit] (Fredrik Öhrström, Oracle) - [[Media:ohrstrom-lambdas-2010-07-26.pdf | Slides]], [http://wiki.jvmlangsummit.com/Efficient_compilation_of_Lambdas_using_MethodHandles_and_JRockit Abstract]

* [http://medianetwork.oracle.com/media/show/15488 Trending Toward the Middle: The Best of Static and Dynamic] (Charles Nutter) - [[Media:Nutter Static and Dynamic.pdf | Slides]], [http://wiki.jvmlangsummit.com/Trending_Toward_the_Middle:_The_Best_of_Static_and_Dynamic Abstract]

* [http://medianetwork.oracle.com/media/show/15550 Improvements in OpenJDK useful for JVM languages] (Eric Caspole, AMD) - [[Media:Jvm-lang-2010-ecaspole-100723.pdf | Slides]], [http://wiki.jvmlangsummit.com/Improvements_in_OpenJDK_useful_for_JVM_languages Abstract]

* [http://medianetwork.oracle.com/media/show/15495 Register Allocation on SSA form for Java Just-in-Time Compilation] (Christian Wimmer, UC Irvine) - [[Media:LinearScanSSA.pdf | Slides]], [http://wiki.jvmlangsummit.com/Register_Allocation_on_SSA_form_for_Java_Just-in-Time_Compilation Abstract]

* [http://medianetwork.oracle.com/media/show/15506 Coroutines for the Java Platform] (Lukas Stadler) - [[Media:Coroutines.pdf | Slides]], [http://wiki.jvmlangsummit.com/Coroutines_for_the_Java_Platform Abstract]

* [http://medianetwork.oracle.com/media/show/15525 Chronon - Time Travelling Debugger] (Prashant Deva) - [[Media:Chronon - JVMSummit.pdf | Slides]], [http://wiki.jvmlangsummit.com/Chronon_-_Time_Travelling_Debugger Abstract]

* [http://medianetwork.oracle.com/media/show/15493 LINQ: Language Features for concurrency (among other things)] (Neal Gafter, Microsoft) - [[Media:Gafter-LINQ.pdf | Slides]], [http://wiki.jvmlangsummit.com/LINQ:_Language_Features_for_concurrency_%28among_other_things%29 Abstract]

* [http://medianetwork.oracle.com/media/show/15549 The Thorn Programming Language: Robust Distributed Scripting on the JVM] (John Field, IBM Research) - [[Media:Field-Thorn-Overview-2010.pdf | Slides]], [http://wiki.jvmlangsummit.com/The_Thorn_Programming_Language:_Robust_Distributed_Scripting_on_the_JVM Abstract]

* [http://medianetwork.oracle.com/media/show/15498 Digital Performance] (Cliff Click, Azul Systems) - [http://wiki.jvmlangsummit.com/Digital_Performance Abstract]

* [http://medianetwork.oracle.com/media/show/15496 Erjang - A JVM-based Erlang VM] (Kresten Krab Thorup, Trifork) - [http://wiki.jvmlangsummit.com/Erjang_-_A_JVM-based_Erlang_VM Abstract]

* [http://medianetwork.oracle.com/media/show/15492 Kawa and gnu.bytecode update] (Per Bothner, Oracle) - [http://wiki.jvmlangsummit.com/Kawa_and_gnu.bytecode_update Abstract]

* [http://medianetwork.oracle.com/media/show/15497 Project Fortress compiler implementation status] (Christine Flood, Oracle Sun Labs) - [[Media:JVMSummit-Flood.pdf | Slides]], [http://wiki.jvmlangsummit.com/Project_Fortress_compiler_implementation_status Abstract]

* [http://medianetwork.oracle.com/media/show/15490 Faking closures on the JVM isn't as simple as it looks] (David Pollak) - [http://wiki.jvmlangsummit.com/Faking_closures_on_the_JVM_isn%27t_as_simple_as_it_looks Abstract]

* [http://medianetwork.oracle.com/media/show/15509 Mixed language project compilation in Eclipse: Java and Groovy] (Andy Clement, VMware) - [[Media:Clement MixedLanguageProjectCompilationInEclipse.pdf | Slides]], [http://wiki.jvmlangsummit.com/Mixed_language_project_compilation_in_Eclipse:_Java_and_Groovy Abstract]

* [http://medianetwork.oracle.com/media/show/15494 Symmetric multilanguage VM architecture] (Oleg Pliss, Oracle) - [[Media:Pliss-Monty-Multilanguage VM-2010.pdf | Slides]], [http://wiki.jvmlangsummit.com/Symmetric_multilanguage_VM_architecture Abstract]

* [http://medianetwork.oracle.com/media/show/15499 The Maxine Inspector: a Specialized Tool for VM Development] (Michael Van De Vanter, Oracle Sun Labs) - [[Media:Maxine-JVMLangSummit2010.pdf | Slides]], [http://wiki.jvmlangsummit.com/The_Maxine_Inspector:_a_Specialized_Tool_for_VM_Development Abstract]

Image galleries:

* http://picasaweb.google.com/Pliss.Oleg/JVMLanguageSummit2010# (Oleg Pliss)
* http://gallery.me.com/rose00#100059 (John Rose)

<gallery widths=200px>
Image:40_-_Doug_Lea.jpg|Doug Lea
Image:Rose-iphone-IMG 0023.jpg|Remi and Kresten
</gallery>

== Agenda for the 2010 [http://jvmlangsummit.com/ JVM Language Summit] ==

{| border="1"
!
!Monday 7/26
!Tuesday 7/27
!Wednesday 7/28
|-
| 8:30|| align="center" colspan="3" style="color:green; background-color:#ffffcc;" | Breakfast (30 mins) 
|-
| 9:00|| Brian Goetz Welcome || rowspan="2" | Doug Lea (Keynote) [[Engineering Fine-Grained Parallelism in Java]] || Jochen Theodorou [[Improvements in Groovy performance]]
|-
| 9:30|| Charles Nutter [[Trending Toward the Middle: The Best of Static and Dynamic]] || Rémi Forax [[PHP.reboot: a post JSR292 dynamic language]]
|-
| 10:00|| Eric Caspole [[Improvements in OpenJDK useful for JVM languages]] || Joshua Bloch [[Performance Anxiety]] || Per Bothner [[Kawa and gnu.bytecode update]]
|-
| 10:30|| align="center" colspan="3" style="color:green; background-color:#ffffcc;" | Break (30 mins) 
|-
| 11:00|| John Rose [[Gathering the threads: JVM Futures]] || rowspan="2" style="color:lightblue; background-color:green;" | W1A: John Rose W1B: Robert McKinney [[Introduction to Gosu]] || rowspan="2" style="color:lightblue; background-color:green;" | W1A: Rich Hickey [[What the JVM needs]] W2B: John Field Thorn
|-
| 11:30|| Christian Wimmer [[Register Allocation on SSA form for Java Just-in-Time Compilation]]
|-
| 12:00|| align="center" rowspan="2" colspan="2" style="color:green; background-color:#ffffcc;" | Lunch (60 mins) || align="center" colspan="2" style="color:green; background-color:#ffffcc;" | Lunch (30 mins) 
|-
| 12:30|| Christine Flood [[Project Fortress compiler implementation status]]
|-
| 1:00|| Lukas Stadler [[Coroutines for the Java Platform]] || Neal Gafter [[LINQ: Language Features for concurrency (among other things)]] || David Pollak [[Faking closures on the JVM isn't as simple as it looks]]
|-
| 1:30|| Prashant Deva [[Chronon - Time Travelling Debugger]] || John Field [[The Thorn Programming Language: Robust Distributed Scripting on the JVM]] || align="center" style="color:green; background-color:#ffffcc;" | Break (30 mins)
|-
| 2:00|| Fredrik Öhrström [[Efficient compilation of Lambdas using MethodHandles and JRockit]] || align="center" style="color:green; background-color:#ffffcc;" | Break (30 mins) || Adam Messinger Oracle
|-
| 2:30|| rowspan="2" style="color:lightblue; background-color:green;" | W1A: Fredrik Öhrström Compile your favourite Lambda expression! W1B: Ben Titzer [[Virgil on the JVM]] || Dan Heidinga [[MethodHandles: an IBM implementation]] || Andy Clement [[Mixed language project compilation in Eclipse: Java and Groovy]]
|-
| 3:00|| Cliff Click [[Digital Performance]] || Oleg Pliss [[Symmetric multilanguage VM architecture]]
|-
| 3:30|| align="center" style="color:green; background-color:#ffffcc;" | Break (30 mins) || Kresten Krab Thorup [[Erjang - A JVM-based Erlang VM]] || Michael Van De Vanter [[The Maxine Inspector: a Specialized Tool for VM Development]]
|-
| 4:00|| rowspan="2" style="color:lightblue; background-color:green;" | W2A: Charles Nutter W2B: Hiroshi Yamauchi [[Continuations in Servers]] || rowspan="2" style="color:lightblue; background-color:green;" | W2A: Kresten Krab Thorup || rowspan="2" style="color:lightblue; background-color:green;" | W2A: Cliff Click W2B: Per Bothner Speedy Scripting
|-
| 4:30
|-
| 5:00|| Break || Lightning talks || Final break
|-
| 6:00|| || Dinner at Faultline ||
|}

== Bonus Discussions ==

(add pages and/or workshop links here)
* [[What the JVM needs]]
* [[JVM System Programming Language]]
* [[Why Tailcalls]]

2012 Main Page

2011-08-25T23:56:14Z

Jrose:

__NOTOC__
Welcome to the wiki for the 2011 JVM Language Summit, taking place July 18-20, 2011, at the Oracle Santa Clara Campus.

== Media ==
Image galleries:
* https://picasaweb.google.com/Pliss.Oleg/JVMLanguageSummit2011# (Oleg Pliss)

''We expect videos to be online by the end of August.''

== Links ==

* [http://openjdk.java.net/projects/mlvm/jvmlangsummit JVM Language Summit] main page
* Email contacts: [mailto:brian.goetz-at-oracle.com Brian Goetz] and [mailto:john.r.rose-at-oracle.com John Rose]
* Archived wiki pages: [[2008_Main_Page | 2008]], [[2009_Main_Page | 2009]], [[2010_Main_Page | 2010]]
* [[Logistics]] page for travel tips and requests

== Agenda for the 2011 JVM Language Summit ==

{| border="1"
!
!Monday 7/18
!Tuesday 7/19
!Wednesday 7/20
|-
| 8:30|| align="center" colspan="3" style="background-color:lightpink;" | Breakfast (30 mins) 
|-
| 9:00|| Intro and Welcome || rowspan="2" | Mark Roos [[Porting Smalltalk]] ([[Media:Roos-Rtalk.pdf|slides]]) || rowspan="2" | Tobias Ivarsson [[Interface injection]] ([[Media:inti2011.pdf|slides]])
|-
| 9:20|| rowspan="2" | Cameron Purdy [[2011 Keynote]] ([[Media:2011 Purdy.pdf|slides]])
|-
| 9:40|| rowspan="1" | Jim Laskey [[Nashorn]] ([[Media:Nashorn.pdf|slides]]) || rowspan="1" | Brian Goetz [[Extension methods]] ([[Media:2011 Goetz Extension Slides.pdf|slides]])
|-
| 10:20|| align="center" colspan="3" style="background-color:lightpink;" | Break (20 mins) 
|-
| 10:40|| Mads Torgersen [[Async .NET]] ([[Media:Async_in_.NET.pdf|slides]]) || Shashank Bharadwaj [[invokedynamic+Jython]] ([[Media:Indy_and_Jython-Shashank_Bharadwaj.pdf‎|slides]]) || Sunil Puri [[jvmtracejit]] ([[Media:Puri-jvmtracejit.pdf|slides]]) Brian Goetz [[Lambda Bytecode]] ([[Media:2011 Goetz Lambda.pdf|slides]])
|-
| 11:20|| style="background-color:lightgreen;" | Mads Torgersen (Reification in .NET) || style="background-color:lightgreen;" | Ola Bini (Seph) Mark Roos || style="background-color:lightgreen;" | Tom Marble (Performance benchmarking) ([[Media:2011 Marble.pdf|slides]]) Tobias Ivarsson (Interface injection)
|-
| 12:20|| align="center" colspan="3" style="background-color:lightpink;" | Lunch (60 mins)  
|-
| 1:20|| John Rose [[Method Handles]] ([[Media:Rose-2011-FutureDirections.pdf |slides]]) || Attila Szegedi [[Dynalink]] ([[Media:Dynalink_2011_JVM_Language_Summit.pdf |slides]]) || Christine Flood [[Fortress 2011|Fortress]] ([[Media:Project_Fortress_Bytecode_Optimizer.pdf|slides]])
|-
| 2:00|| Dan Heidinga [[MethodHandle Implementation]] ([[Media:2011 Heidinga.pdf|slides]]) || Georges Saab [[Java SE]] ([[Media:JVMLS_GES.pdf |slides]]) || Thomas Wuerthinger [[Graal]] ([[Media:GraalJVMSummit2011.pdf|slides]])
|-
| 2:40|| align="center" colspan="3" style="background-color:lightpink;" | Break (20 mins)
|-
| 3:00|| Charles Nutter [[JRuby 2011|JRuby]] ([[Media:2011 Nutter.pdf|slides]]) || Carson Gross [[Gosu - Language Features As A Library]] ([[Media:2011 Gross.pdf|slides]]) || Prashant Deva [[Chronon - Debugging in 2011]] ([[Media:2011_Chronon.pdf|slides]])
|-
| 3:40|| Rémi Forax [[JSR-292 Cookbook]] ([[Media:2011 Forax.pdf|slides]]) || JetBrains [[Kotlin]] ([[Media:Jetbrains-Kotlin.pdf|slides]]) || Lightning talks
|-
| 4:20|| style="background-color:lightgreen;" | Jeroen Frijters (IKVM.NET) John Rose || style="background-color:lightgreen;" | Venkat Subramaniam (Language Integration) JetBrains ([[Kotlin]]) ([[Media:Jetbrains-Kotlin-workshop.pdf|slides]]) || style="background-color:lightgreen;" | Prashant Deva Lukas Stadler ([[Graal]]) ([[Media:2011 Stadler Graal workshop.pdf|slides]])
|-
| 5:20|| align="center" colspan="3" style="background-color:lightyellow;" |
|-
| 6:00|| || align="center" style="background-color:lightpink;" | Dinner at Faultline ||
|}

== Write Access & Uploading ==

In order to modify the wiki, you need an account.
# Log in as user [[User:jvmlang|jvmlang]] and with a password which you should have received separately.
# Go to the [http://wiki.jvmlangsummit.com/index.php?title=Special:UserLogin&type=signup user creation page]. (If you have an OpenJDK or java.net user name, please reuse that here.)
# Log out, then back in using your new user name (note the tiny login link at the upper right).

The initial jvmlang participant account does not have full write privileges; please use it only for self-registering.

If you are having trouble recovering your password from last year, just re-register (e.g., ''jrose2'').

* Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]

== Bonus Discussions ==

(add pages and/or workshop links here)
* [[Why Tailcalls]]

Why Interface Injection

2011-07-20T23:07:46Z

Jrose: New page: Do we need interface injection, or do ClassValue and invokedynamic do everything we want? Let's gather the use cases. Definitions and design discussion may be found at [[Interface_inject...

Do we need interface injection, or do ClassValue and invokedynamic do everything we want?

Let's gather the use cases.

Definitions and design discussion may be found at [[Interface_injection|Tobias Ivarsson's "Case for Interface Injection"]].

== use cases for injecting the supertype *only* ==

In many cases, adding runtime information to arbitrary target classes can best be done with java.lang.ClassValue. The invokedynamic instruction can encode associated operations with this ClassValue.

In some cases, there is a prior commitment or inclination to use Java interfaces and perhaps interface inheritance.

=== Infinite Supertypes ===
Some languages (a) have infinite sets of supertypes, and (b) want to represent their types as Java classes and interfaces. Scala and Fortress are in this category.

Example: Given the way function types work, ()->String is a subtype of ()->Object. Argument type "go backwards", so (String)->void is a *supertype* of (Object)->void. In fact, (Foo)->void is a supertype of (Object->void for every subclass Foo of object! Thus, if a language represents (Object)->void as an interface IFn_Object_V, it may attempt to declare super-interfaces in the classfile of IFn_Object_V, including IFn_String_V, etc. If a new type Foo is loaded, then IFn_Foo_V should be retroactively added to the super-interface list for IFn_Object_V.

Workaround: Have the language use JVM interface subtyping as a first resort, but have its own subtype algorithm (like the JVM's) as a last resort. Same idea for method lookup, if IFn_Foo_V contains Java methods.

== use cases for injecting methods ==

=== Defender methods ===
Defenders are methods which can be added to implementations of interfaces, where the implementation class and the interface are statically related; there is no need to modify a type's supertypes.

== external links ==
;Old Proposal: http://blogs.oracle.com/jrose/entry/interface_injection_in_the_vm

2012 Main Page

2011-07-20T21:06:53Z

Jrose:

__NOTOC__
Welcome to the wiki for the 2011 JVM Language Summit, taking place July 18-20, 2011, at the Oracle Santa Clara Campus.

== Links ==

* [http://openjdk.java.net/projects/mlvm/jvmlangsummit JVM Language Summit] main page
* Email contacts: [mailto:brian.goetz-at-oracle.com Brian Goetz] and [mailto:john.r.rose-at-oracle.com John Rose]
* Archived wiki pages: [[2008_Main_Page | 2008]], [[2009_Main_Page | 2009]], [[2010_Main_Page | 2010]]
* [[Logistics]] page for travel tips and requests

== Agenda for the 2011 JVM Language Summit ==

{| border="1"
!
!Monday 7/18
!Tuesday 7/19
!Wednesday 7/20
|-
| 8:30|| align="center" colspan="3" style="background-color:lightpink;" | Breakfast (30 mins) 
|-
| 9:00|| Intro and Welcome || rowspan="2" | Mark Roos [[Porting Smalltalk]] || rowspan="2" | Tobias Ivarsson [[Interface injection]]
|-
| 9:20|| rowspan="2" | Cameron Purdy [[2011 Keynote]]
|-
| 9:40|| rowspan="1" | Jim Laskey [[Nashorn]] ([[Media:Nashorn.pdf|slides]]) || rowspan="1" | Brian Goetz [[Extension methods]]
|-
| 10:20|| align="center" colspan="3" style="background-color:lightpink;" | Break (20 mins) 
|-
| 10:40|| Mads Torgersen [[Async .NET]] ([[Media:Async_in_.NET.pdf|slides]]) || Shashank Bharadwaj [[invokedynamic+Jython]] ([[Media:Indy_and_Jython-Shashank_Bharadwaj.pdf‎|slides]]) || Sunil Puri / Brian Goetz Tracing JIT / Lambda Bytecode
|-
| 11:20|| style="background-color:lightgreen;" | Mads Torgersen (TBA) || style="background-color:lightgreen;" | Ola Bini (Seph) Mark Roos || style="background-color:lightgreen;" | Tom Marble (Jigsaw+Clojure) Tobias Ivarsson
|-
| 12:20|| align="center" colspan="3" style="background-color:lightpink;" | Lunch (60 mins)  
|-
| 1:20|| John Rose [[Method Handles]] ([[Media:Rose-2011-FutureDirections.pdf |slides]]) || Attila Szegedi [[Dynalink]] ([[Media:Dynalink_2011_JVM_Language_Summit.pdf |slides]]) || Christine Flood [[Fortress 2011|Fortress]] ([[Media:Project_Fortress_Bytecode_Optimizer.pdf|slides]])
|-
| 2:00|| Dan Heidinga [[MethodHandle Impl]] ([[Media:2011 Heidinga.pdf|slides]]) || Georges Saab [[Java SE]] || Thomas Wuerthinger [[Graal]]
|-
| 2:40|| align="center" colspan="3" style="background-color:lightpink;" | Break (20 mins)
|-
| 3:00|| Charlie Nutter [[JRuby 2011|JRuby]] ([[Media:2011 Nutter.pdf|slides]]) || Carson Gross [[Gosu]] || Prashant Deva [[Debugger]]
|-
| 3:40|| Rémi Forax [[JSR-292 Cookbook]] ([[Media:2011 Forax.pdf|slides]]) || JetBrains [[Kotlin]] || TBA TBA
|-
| 4:20|| style="background-color:lightgreen;" | Jeroen Frijters (IKVM.NET) John Rose (TBA) || style="background-color:lightgreen;" | Venkat Subramaniam (Language Integration) JetBrains ([[Kotlin]]) || style="background-color:lightgreen;" | Prashant Deva Lukas Stadler ([[Graal]])
|-
| 5:20|| align="center" colspan="3" style="background-color:lightyellow;" |
|-
| 6:00|| || align="center" style="background-color:lightpink;" | Dinner at Faultline ||
|}

== Write Access & Uploading ==

In order to modify the wiki, you need an account.
# Log in as user [[User:jvmlang|jvmlang]] and with a password which you should have received separately.
# Go to the [http://wiki.jvmlangsummit.com/index.php?title=Special:UserLogin&type=signup user creation page]. (If you have an OpenJDK or java.net user name, please reuse that here.)
# Log out, then back in using your new user name (note the tiny login link at the upper right).

The initial jvmlang participant account does not have full write privileges; please use it only for self-registering.

If you are having trouble recovering your password from last year, just re-register (e.g., ''jrose2'').

* Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]

== Bonus Discussions ==

(add pages and/or workshop links here)
* [[Why Tailcalls]]

Why Tailcalls

2011-07-20T21:05:37Z

Jrose:

Are tailcalls fated to come in second place on every feature priority list?

Let's gather the use cases and consider the implementation.

(Note: This page is about "hard tail calls" as defined in the [http://blogs.sun.com/jrose/entry/tail_calls_in_the_vm Rose blog]. Soft TCO is already in many compilers, but does not have a strong effect on software architecture.)

;[[Why_Tailcalls_%28GLS%29|Note from Guy Steele]]

== use cases ==
=== multi-core task distribution ===
(Doug Lea) chaining task execution; without tail calls you blow the stack needlessly

=== languages with guaranteed TCO ===
These are languages with functional patterns, including Scheme, Scala, F#. Seph also aims to give this guarantee.

=== robust support for design patterns ===
Comment from Matthias Felleisen:
<blockquote>
One common misunderstanding about TCO is due to the word 'optimization'. It is indeed a space optimization (don't use more space than goto, as Guy said in the 1970s) but a language should implement TCO in support of PROPER DESIGN. To wit, go through the OO design pattern books and inspect all the little patterns. Pick some -- say interpreter or composite -- and design your Java program accordingly. Then run a stress test and weep. Java blows up even if all the method calls are tail-recursive because it doesn't support TCO. Now do the same in PLT Scheme's class system and smile. It works -- for all inputs.

See my [http://www.ccs.neu.edu/home/matthias/Presentations/ecoop2004.pdf ECOOP keynote (2004)] for some more details.
</blockquote>

Pages 51-59 in the keynote are especially relevant.

See also [http://projectfortress.sun.com/Projects/Community/blog/ObjectOrientedTailRecursion this discussion] in the Fortress Community website:

=== guaranteed disposal of stack-frame ===
Clojure needs workarounds to avoid floating garbage
public static int count(Object o) {
if (o instanceof Counted)
return ((Counted) o).count();
return countFrom(Util.ret1(o, o = null));
}
static public Object ret1(Object ret, Object nil) { return ret; }

=== Reduce call stack size ! ===
(Rémi) Avoid to show language implementation internals by collapsing runtime stack frame.

== external links ==
;Proposal: http://blogs.sun.com/jrose/entry/tail_calls_in_the_vm
;Thesis: http://www.ssw.uni-linz.ac.at/Research/Papers/Schwaighofer09Master/
;mlvm Wiki: http://wikis.sun.com/display/mlvm/TailCalls
;mlvm Code: http://hg.openjdk.java.net/mlvm/mlvm/hotspot/file/tip/tailc.patch
;Fortress discussion: http://projectfortress.sun.com/Projects/Community/blog/ObjectOrientedTailRecursion

Why Tailcalls

2011-07-20T21:05:03Z

Jrose:

Are tailcalls fated to come in second place on every feature priority list?

Let's gather the use cases and consider the implementation.

(Note: This page is about "hard tail calls" as defined in the [http://blogs.sun.com/jrose/entry/tail_calls_in_the_vm Rose blog]. Soft TCO is already in many compilers, but does not have a strong effect on software architecture.)

== use cases ==
=== multi-core task distribution ===
(Doug Lea) chaining task execution; without tail calls you blow the stack needlessly

=== languages with guaranteed TCO ===
These are languages with functional patterns, including Scheme, Scala, F#. Seph also aims to give this guarantee.

=== robust support for design patterns ===
Comment from Matthias Felleisen:
<blockquote>
One common misunderstanding about TCO is due to the word 'optimization'. It is indeed a space optimization (don't use more space than goto, as Guy said in the 1970s) but a language should implement TCO in support of PROPER DESIGN. To wit, go through the OO design pattern books and inspect all the little patterns. Pick some -- say interpreter or composite -- and design your Java program accordingly. Then run a stress test and weep. Java blows up even if all the method calls are tail-recursive because it doesn't support TCO. Now do the same in PLT Scheme's class system and smile. It works -- for all inputs.

See my [http://www.ccs.neu.edu/home/matthias/Presentations/ecoop2004.pdf ECOOP keynote (2004)] for some more details.
</blockquote>

Pages 51-59 in the keynote are especially relevant.

See also [http://projectfortress.sun.com/Projects/Community/blog/ObjectOrientedTailRecursion this discussion] in the Fortress Community website:

=== guaranteed disposal of stack-frame ===
Clojure needs workarounds to avoid floating garbage
public static int count(Object o) {
if (o instanceof Counted)
return ((Counted) o).count();
return countFrom(Util.ret1(o, o = null));
}
static public Object ret1(Object ret, Object nil) { return ret; }

=== Reduce call stack size ! ===
(Rémi) Avoid to show language implementation internals by collapsing runtime stack frame.

== external links ==
;Proposal: http://blogs.sun.com/jrose/entry/tail_calls_in_the_vm
;Thesis: http://www.ssw.uni-linz.ac.at/Research/Papers/Schwaighofer09Master/
;mlvm Wiki: http://wikis.sun.com/display/mlvm/TailCalls
;mlvm Code: http://hg.openjdk.java.net/mlvm/mlvm/hotspot/file/tip/tailc.patch
;Fortress discussion: http://projectfortress.sun.com/Projects/Community/blog/ObjectOrientedTailRecursion
;[[Why_Tailcalls_%28GLS%29|Note from Guy Steele]]

Why Tailcalls (GLS)

2011-07-20T21:02:39Z

Jrose: New page: While searching for something else, I happened to stumble across an old proposal for JVM tail calls from 1998 (updated 2002)! Since Cameron apparently mentioned them at the JVM summit, I ...

While searching for something else, I happened to stumble across an old proposal
for JVM tail calls from 1998 (updated 2002)! Since Cameron apparently mentioned
them at the JVM summit, I couldn't resist sending this around for your amusement.

--Guy

----------------------------------------------------------------
Proposal for JVM tail call support

Guy Steele, May 15, 1998
updated January 3, 2002
updated January 8, 2002

Summary: phase in support for tail calls in a manner that is
compatible with existing JVM implementations (except that such
implementations might run out of storage when executing code that
relies heavily on tail calls).

This is done by adding a "TailCall" attribute to methods in class files.

A "goto" statement is added to the Java programming language to allow
tail calls to be expressed in source code.

(1) At the JVM level:

Introduce a new attribute of the method_info structure: the "TailCall"
attribute. The info of this attribute is a list of pc locations
within the Code attribute for the same method. Each pc location must
be the location of an invokeinterface, invokespecial, invokestatic, or
invokevirtual instruction; moreover, that instruction must be
immediately followed by a return instruction. If these constraints
are not met, the class file is considered malformed and may be
rejected by a JVM.

An invokeinterface, invokespecial, invokestatic, or invokevirtual
instruction that is identified by the TailCall attribute is intended
to be executed as a tail call if possible. This is done by first
following all the usual rules for locating the method to be invoked,
and then (in effect) popping the arguments (and perhaps an objectref)
from the stack. At this point, a test is made to see whether a tail
call is permitted (see below). If the test succeeds, then the current
stack frame is removed from the stack as if by an appropriate return
instruction; this also restores the PC to a point within the *caller*
of the current method. Then, whether the test succeeded or failed,
the rest of the invoke operation is carried out by creating a new
stack frame, installing the arguments (and perhaps an objectref) as
local variables, etc.

Here is the test mentioned in the preceding paragraph:

(1) The test is permitted to fail or to succeed, at the
discretion of the implementation, if the called method is native.
It is the responsibility of the implementation to ensure that security
policies are not compromised if a tail call is used.

(2) Otherwise, the test is permitted to fail or to succeed, at the
discretion of the implementation, if the class loader of either the
calling method or the called method is the system class loader (null).
It is the responsibility of the implementation to ensure that security
policies are not compromised if a tail call is used.

(3) Otherwise, the test definitely fails if the class loader of the
calling method and the class loader of the called method are different
and neither is the system class loader (null).

(4) Otherwise, the test definitely fails if the protection domain of the
calling method and the protection domain of the called method are different.

(5) Otherwise, the test definitely succeeds.

Thus, an application programmer can rely on a tail call consuming no
net stack space if the JVM supports tail calls and the called method
has the same class loader and protection domain as the calling method.
An important special case is that tail calls always "work" if the JVM
supports tail calls and the called method is defined in the same class
as the calling method.

It is permitted, though discouraged, for a JVM to ignore the TailCall
attribute. In this case, code will be executed in a semantically
equivalent manner but may fail to complete execution if it runs out of
storage for stack frames. (This is permitted primarily to allow some
measure of compatibility with existing JVM implementations. The
intent, however, is to phase in implementations that all properly
support tail calls so that, after a certain point in time, programmers
will be able to rely on it as a programming mechanism.)

(This is exactly analogous to the observation that it is permitted,
but discouraged, for a JVM not to have a garbage collector; it could
just allocate new objects out of a finite pool of storage and then
give up when the pool is exhausted. But that's not considered a
quality implementation.)

(2) At the JLS level:

Introduce a new statement:

goto <MethodInvocation> ;

This may appear in exactly the places that a return statement may appear.
(Perhaps, out of an abundance of caution, we should not allow it
to be used within a constructor.)

If the type of the <MethodInvocation> expression is void, then this
statement may appear within the body of a method whose return type is
void [or within the body of a constructor?]. This statement is then
semantically equivalent to

{ <MethodInvocation>; return; }

If the type of the <MethodInvocation> expression is not void, then
this statement may appear within the body of a method whose return
type is the same as the type of the <MethodInvocation> expression.
This statement is then semantically equivalent to

return <MethodInvocation>;

In each case, however, the "goto" form additionally specifies a
requirement, or at least the strong desire, that the implementation
should recycle the stack frame of the currently running method
as it performs the invocation of the called method. The intent
is that it should be possible to execute an indefinitely large
number of "goto" calls without running out of space by reason
of stack overflow.

However, the programmer cannot expect the stack frame to be recycled
in this manner if the call might fail the test (mentioned above in the
JVM section).

(3) Small example: Searching a polymorphic list

Suppose there is a list with two or more kinds of nodes, and we want
to ask whether there is a node in the list that matches a given
string, and if so, return an associated value. The "obvious" way to
do it is as follows:

Interface Chain { Value lookup(String name); }

class SimplePair implements Chain {
String name;
Value val;
Chain next;
...
Value lookup(String query) {
if (name.equals(query)) return value;
if (next == null) return null;
return next.lookup(query); ;not me---pass the buck
}
}

class ComputedValue implements Chain {
String oldprefix;
String newprefix;
Chain next;
...
Value lookup(String query) {
if (query.startsWith(prefix))
return new Value(newprefix + query.substring(prefix.length()));
if (next == null) return null;
return next.lookup(query); ;not me---pass the buck
}
}

Unfortunately, in current JVM implementations, this chews up a stack
frame for every node in the chain. As a result, implementors often try
to use an explicit while loop, which results in tearing apart the code
for the lookup method in complicated ways.

With tail calls, just replace

return next.lookup(query);

with

goto next.lookup(query);

and both the algorithmic intent and the intended stack behavior are
quite clear.

(4) Big example: A tiny Lisp evaluator

Here is an interpreter for a tiny lambda-calculus-based language that
consists of numeric (BigInteger) literals, variables, an if-then-else
expression, lambda expressions of one parameter, a rec (label)
construct for naming a recursive function, and function calls with one
argument. It provides add and multiply operators in curried form, so
that one must say ((+ 3) 4), for example. There is also an explicit
zero test primitive that returns true or false. (Internally, the
number 0 is used as the false value for if-then-else.)

Programs are of type Expression; the eval method produces a Value.

interface Expression {
Value eval(Environment env);
}

class LiteralNode implements Expression {
final Value item;
LiteralNode(Value item) { this.item = item; }
public Value eval(Environment env) { return item; }
}

class VariableNode implements Expression {
final String name;
VariableNode(String name) { this.name = name; }
public Value eval(Environment env) { return env.lookup(name); }
}

class IfNode implements Expression {
final Expression test, thenpart, elsepart;
IfNode(Expression test, Expression thenpart, Expression elsepart) {
this.test = test; this.thenpart = thenpart; this.elsepart = elsepart;
}
public Value eval(Environment env) {
if (!(test.eval(env).isZero()))
goto thenpart.eval(env);
else
goto elsepart.eval(env);
}
}

class LambdaNode implements Expression {
final String name;
final Expression body;
LambdaNode(String name, Expression body) { this.name = name; this.body = body; }
public Value eval(Environment env) { return new Closure(name, body, env); }
}

class RecNode implements Expression {
final String name;
final Expression body;
RecNode(String name, Expression body) { this.name = name; this.body = body; }
public Value eval(Environment env) {
Environment newenv = env.push(name, null);
Value item = body.eval(newenv);
newenv.clobber(item);
return item;
}
}

class CallNode implements Expression {
final Expression fn, arg;
CallNode(Expression fn, Expression arg) { this.fn = fn; this.arg = arg; }
public Value eval(Environment env) { goto fn.eval(env).invoke(arg.eval(env)); }
}

interface Value {
Value invoke(Value arg);
boolean isZero();
}

class IntVal implements Value {
final java.math.BigInteger v;
IntVal(java.math.BigInteger v) { this.v = v; }
IntVal(int v) { this.v = java.math.BigInteger.valueOf(v); }
static java.math.BigInteger zero = java.math.BigInteger.valueOf(0);
static java.math.BigInteger one = java.math.BigInteger.valueOf(1);
public boolean isZero() { return v.equals(zero); }
Value zeroTest() { return new IntVal(isZero() ? one : zero); }
Value add(Value that) { return new IntVal(this.v.add(((IntVal)that).v)) ; }
Value multiply(Value that) { return new IntVal(this.v.multiply(((IntVal)that).v)) ; }
public Value invoke(Value arg) { throw new Error("Can't invoke an integer"); }
public String toString() { return v.toString(); }
}

abstract class NonZeroValue implements Value { public boolean isZero() { return false; } }

class Closure extends NonZeroValue {
final String name;
final Expression body;
final Environment env;
Closure(String name, Expression body, Environment env) {
this.name = name; this.body = body; this.env = env;
}
public Value invoke(Value arg) { goto body.eval(env.push(name, arg)); }
}

class ZeroTestPrimitive extends NonZeroValue {
public Value invoke(Value arg) { return ((IntVal)arg).zeroTest(); }
}

class AddPrimitive extends NonZeroValue {
public Value invoke(Value arg) { return new CurriedAdd(arg); }
}

class CurriedAdd extends NonZeroValue {
final Value arg1;
CurriedAdd(Value arg1) { this.arg1 = arg1; }
public Value invoke(Value arg2) {
return ((IntVal)arg1).add(arg2);
}
}

class MultPrimitive extends NonZeroValue {
public Value invoke(Value arg) { return new CurriedMult(arg); }
}

class CurriedMult extends NonZeroValue {
final Value arg1;
CurriedMult(Value arg1) { this.arg1 = arg1; }
public Value invoke(Value arg2) {
return ((IntVal)arg1).multiply(arg2);
}
}

class Environment {
final String name;
Value item;
final Environment next;
static Environment empty = new Environment(null, null, null);
private Environment(String name, Value item, Environment next) {
this.name = name; this.item = item; this.next = next;
}
Environment push(String name, Value item) {
return new Environment(name, item, this);
}
void clobber(Value item) { this.item = item; }
Value lookup(String query) {
if (this == empty) throw new Error("Name " + query + " not found");
if (name.equals(query)) return item;
goto next.lookup(query);
}
}

/*
Here is test code that executes the expression

((rec fact (lambda (n) (if ((= n) 0) 1 ((* n) (fact ((+ n) -1)))))) j)

to compute the factorial function for various values of j.
*/

public class Foo {
static Expression demo(int j) {
return new CallNode(
new RecNode("fact",
new LambdaNode("n",
new IfNode(
new CallNode(
new LiteralNode(new ZeroTestPrimitive()),
new VariableNode("n")
),
new LiteralNode(new IntVal(1)),
new CallNode(
new CallNode(
new LiteralNode(new MultPrimitive()),
new VariableNode("n")
),
new CallNode(
new VariableNode("fact"),
new CallNode(
new CallNode(
new LiteralNode(new AddPrimitive()),
new VariableNode("n")
),
new LiteralNode(new IntVal(-1))
)
)
)
)
)
),
new LiteralNode(new IntVal(j)));
}
public static void main(String args[]) {
System.out.println(demo(0).eval(Environment.empty).toString());
System.out.println(demo(5).eval(Environment.empty).toString());
System.out.println(demo(8).eval(Environment.empty).toString());
System.out.println(demo(1000).eval(Environment.empty).toString());
System.out.println(demo(1000000).eval(Environment.empty).toString());
}
}

Under the existing JVM, I tested the code exactly as shown except that
I replaced the keyword "goto" with the keyword "return". Here is the
output:

livia 69 =>java Foo
1
24
120
40320
402387260077093773543702433923003985719374864210714632543799910429938512398629020592044208486969404800479988610197196058631666872994808558901323829669944590997424504087073759918823627727188732519779505950995276120874975462497043601418278094646496291056393887437886487337119181045825783647849977012476632889835955735432513185323958463075557409114262417474349347553428646576611667797396668820291207379143853719588249808126867838374559731746136085379534524221586593201928090878297308431392844403281231558611036976801357304216168747609675871348312025478589320767169132448426236131412508780208000261683151027341827977704784635868170164365024153691398281264810213092761244896359928705114964975419909342221566832572080821333186116811553615836546984046708975602900950537616475847728421889679646244945160765353408198901385442487984959953319101723355556602139450399736280750137837615307127761926849034352625200015888535147331611702103968175921510907788019393178114194545257223865541461062892187960223838971476088506276862967146674697562911234082439208160153780889893964518263243671616762179168909779911903754031274622289988005195444414282012187361745992642956581746628302955570299024324153181617210465832036786906117260158783520751516284225540265170483304226143974286933061690897968482590125458327168226458066526769958652682272807075781391858178889652208164348344825993266043367660176999612831860788386150279465955131156552036093988180612138558600301435694527224206344631797460594682573103790084024432438465657245014402821885252470935190620929023136493273497565513958720559654228749774011413346962715422845862377387538230483865688976461927383814900140767310446640259899490222221765904339901886018566526485061799702356193897017860040811889729918311021171229845901641921068884387121855646124960798722908519296819372388642614839657382291123125024186649353143970137428531926649875337218940694281434118520158014123344828015051399694290153483077644569099073152433278288269864602789864321139083506217095002597389863554277196742822248757586765752344220207573630569498825087968928162753848863396909959826280956121450994871701244516461260379029309120889086942028510640182154399457156805941872748998094254742173582401063677404595741785160829230135358081840096996372524230560855903700624271243416909004153690105933983835777939410970027753472000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
Exception in thread "main" java.lang.StackOverflowError: c stack overflow
livia 70 =>

Note that it correctly computed all the factorial values but the last,
and ran out of stack trying to compute the last one---and rightly so,
ha ha, for this computation is not tail-recursive! But now consider
this test code, which performs a factorial computation tail-recursively:

/*
Here is test code that executes the expression

(((rec fact (lambda (n) (lambda (a) (if ((= n) 0) a ((fact ((+ n) -1)) ((* n) a)))))) j) 1)

to compute the factorial function for various values of j.
*/

public class Bar {
static Expression demo(int j) {
return new CallNode(
new CallNode(
new RecNode("fact",
new LambdaNode("n",
new LambdaNode("a",
new IfNode(
new CallNode(
new CallNode(
new LiteralNode(new EqualsPrimitive()),
new VariableNode("n")
),
new LiteralNode(new IntVal(0))
),
new VariableNode("a"),
new CallNode(
new CallNode(
new VariableNode("fact"),
new CallNode(
new CallNode(
new LiteralNode(new AddPrimitive()),
new VariableNode("n")
),
new LiteralNode(new IntVal(-1))
)
),
new CallNode(
new CallNode(
new LiteralNode(new MultPrimitive()),
new VariableNode("n")
),
new VariableNode("a")
)
)
)
)
)
),
new LiteralNode(new IntVal(j))),
new LiteralNode(new IntVal(1)));
}
public static void main(String args[]) {
System.out.println(demo(0).eval(Environment.empty).toString());
System.out.println(demo(5).eval(Environment.empty).toString());
System.out.println(demo(8).eval(Environment.empty).toString());
System.out.println(demo(1000).eval(Environment.empty).toString());
System.out.println(demo(1000000).eval(Environment.empty).toString());
}
}

This, actually, uses up stack less quickly and so runs out of memory trying
to compute really huge BigIntegers. So I changed the starting value 1 to 0,
and changed * to +, so that it computes triangular numbers instead of
factorials, and got this output:

livia 87 =>java Bar
0
15
36
500500
Exception in thread "main" java.lang.StackOverflowError: c stack overflow
livia 88 =>

and I claim that that last stack overflow need not occur if only
tail calls were supported in Java.

In the code for the evaluator, note how the statements

goto thenpart.eval(env);

and

goto elsepart.eval(env);

in the code for the eval method of IfNode make clear the intent
to process the chosen part of an "if" expression tail-recursively.
Similarly for the invocation of a function by a CallNode and the
evaluation of a body by a Closure.

Closing over Variables

2011-07-20T18:36:07Z

Jrose:

== Closing over variables considered harmful ==

http://blogs.msdn.com/b/ericlippert/archive/2009/11/12/closing-over-the-loop-variable-considered-harmful.aspx

Agreeing with the author:
<blockquote>
John Rose 22 Jan 2010 8:56 PM

@Konrad: "I much prefer Java’s rule here: only allow closing over variables which are declared `final`. But then, this only works because Java allows local variables to be declared `final`, which C# doesn’t."

The reason Java supports final variables is exactly to fix this problem. The designer of inner classes was a Lisp refugee who had been bitten by the DOTIMES issue (see Peter Seibel above), and didn't want to allow the problem into Java.

This particular barn door is hard to close after the mutable iteration variable has galloped away.
</blockquote>

== Closing over variables considered beneficial ==

From your internal interator body, you can manage loop accumulators as if by a primitive while loop.

Closing over Variables

2011-07-20T18:34:15Z

Jrose: New page: == Closing over variables considered harmful http://blogs.msdn.com/b/ericlippert/archive/2009/11/12/closing-over-the-loop-variable-considered-harmful.aspx Agreeing with the author: John...

== Closing over variables considered harmful

http://blogs.msdn.com/b/ericlippert/archive/2009/11/12/closing-over-the-loop-variable-considered-harmful.aspx

Agreeing with the author:
John Rose 22 Jan 2010 8:56 PM
@Konrad: "I much prefer Java’s rule here: only allow closing over variables which are declared `final`. But then, this only works because Java allows local variables to be declared `final`, which C# doesn’t."
The reason Java supports final variables is exactly to fix this problem. The designer of inner classes was a Lisp refugee who had been bitten by the DOTIMES issue (see Peter Seibel above), and didn't want to allow the problem into Java.
This particular barn door is hard to close after the mutable iteration variable has galloped away.

== Closing over variables considered beneficial

From your internal interator body, you can manage loop accumulators as if by a primitive while loop.