All about the Scala.Net Compiler     A collection of resources for compiler hackers Companion websites: The Scala Compiler Corner The jdk2ikvm automatic migration tool

Download

• The most recent sources of the Scala.Net SDK are available on GitHub
• Binaries in the downloads section
• This version is (still) not production-ready. Your feedback can help us improve it for the Scala 2.10 timeframe.

Talks

• 2011-09-06: Adding support for CLR Generics
• 2011-06-03: Scala.NET: What you can do with it today (slides, video, further details). Talk at ScalaDays 2011).
• 2011-04-26: A tour of CLR Generics from a Scala vantage point
• 2011-01-18: jdk2ikvm and scala.tools.unparse

Cross-platform development using Scala

• A preview of Scala.NET: Cross-platform development the Scala way (Updated March 2012)

Some compiler internals

• Playground for LINQ Expression Trees (July 2010)
• Level 1 support for CLR enums and valuetypes (July 2010)
• Generics in the back-end: Coming soon!

Transforming JDK-based Scala sources to use IKVM instead (a.k.a. "Bootstrapping")

• Bootstrapping Scala.NET via jdk2ikvm
  • Bootstrapping Scala.NET via jdk2ikvm (April 2011) Do-it-yourself files: patches1.zip, patches2.zip
  • Mental adjustments demanded by IKVM's Object Model Mapping (October 2010)
  • How ikvmc works (September 2010)
• The jdk2ikvm source-to-source converter
  • Finding the source code fragment that corresponds to a given AST-level type-reference (January 2011)
  • A source-level, automatic API migration that preserves layout (a story of range positions) (January 2011)
  • The jdk2ikvm source-to-source converter (December 2010)

Emitting MSIL

• More about the internal workings of GenMSIL (August 2010)
• Notes on GenMSIL (April 2010)
• Making ILPrinterVisitor ready for Generics (June 2010)
• Emitting binary assemblies (GenBinMSIL) via IKVM.Reflection (October 2011)

The rest

• Volatile fields, Sub-line step debugging, and a few TODOs (plugins, properties) (April 2011)
• Charting new territory: bytecode verification by type-checking, overflow checking, unsigned integrals, and a nullables primer, (September 2010), Prototype: patch file
• How TypeParser and GenMSIL handle properties, delegates, and events (July 2010)
• CIL Metadata as Scala source, and other projects for the Scala.NET ecosystem (May 2010)
• Exception handling: from ICode to CIL (May 2010)

Project ideas for Scala.NET

• REPL for Scala.NET.
• Extending Scaladoc to emit API documentation that follows .NET conventions. PDF
• Targeting both JDK and .NET from a single codebase :
  We have developed a tool (jdk2ikvm) to automate the migration of Scala sources from JDK to .NET (once migrated, those sources can be compiled by Scala.NET against the IKVM library to obtain .NET assemblies). Our experience with this tool is based on porting the Scala compiler itself and the Scala library. However, the API migration that jdk2ikvm performs is general in nature, and thus it would be interesting to field-test it with other large Scala applications (for a non-exhaustive list, see a Scala Corpus). "Field testing" means more than just running jdk2ikvm and hoping for the best, it includes for example running the (migrated) test suite of the application on .NET. An expected by-product of these case studies are additional conversion rules, gathered for JDK APIs previously not addressed by the conversion.
• Visual Studio plugin for Scala.NET:
  Visual Studio SDK Language Services:
  • http://msdn.microsoft.com/en-us/library/bb165099(v=VS.100).aspx
  A discussion of the presentation compiler (scala.tools.nsc.interactive.CompilerControl):
  • http://ensime.blogspot.com/2010/08/building-ide-with-scala-presentation.html
• A new backend for the Scala compiler to generate C# sources PDF-1 PDF-2
• From Scala.NET to Spec# (similar to the above but with a program verification focus) PDF-1 PDF-2

Last updated: 2012-03-06, Miguel Garcia