Skip to content

Home

Jump to bottom Edit New page
Cédric Bastin edited this page Jun 5, 2014 · 8 revisions

ScalaDyno is a Scala compiler plug-in for Scala 2.11 which augments the Scala language with the dynamic feature of deferring type error to runtime.

This project was realized as a semester project of Cédric Bastin, supervised by Vlad Ureche for LAMP, EPFL, Switzerland.

The key features of the current implementation is the deferring of the following errors:

naming errors

  • instantiation use non-existing class names
  • non-existing field or method accesses

type errors

  • assignment of non-matching types
  • argument usage of non-matching types

All the corresponding errors will yield only a warning at compile time and make the program crash at runtime when the wrongly typed code is encountered.

the structure of this wiki:

  • how to use the plugin to compile single files
  • using the plugin with sbt

For further details and clarifications about the theory and implementation please refer to the related paper: https://github.com/scaladyno/papers

Add a custom footer
Add a custom sidebar
Clone this wiki locally