pluggable type systems for Scala ?

Hi,

there are two pluggable type systems for the scala compiler which were developed at EPFL, both available in the scala SVN repository.
The units plugin [1] is a simple package for units and dimensions. And there's the xmltypes plugin [2] which check the types (very similar to DTD schemas) of XML expressions.

Cheers: Lukas


[1] http://lampsvn.epfl.ch/trac/scala/browser/compiler-plugins/units
[2] http://lampsvn.epfl.ch/trac/scala/browser/xmltypes/trunk



On Sat, Dec 20, 2008 at 00:18, Szymon Jachim <sjachim [at] gmail [dot] com> wrote:

Were there any pluggable type checkers for Scala compiler done so far?
For example a thing that imposes immutability of classes or purity of referential transparency of methods?
Anybody experimented with uniqueness typing for Scala?

Szymon

I've posted an updated question (with references to ongoing work) about this
topic at scala.internals:
http://comments.gmane.org/gmane.comp.lang.scala.internals/2673

Miguel
http://www.sts.tu-harburg.de/people/mi.garcia

"Szymon Jachim" wrote in message
news:334b16640812191518j1efe227ene1d2e5e1894778a5 [at] mail [dot] gmail [dot] com...
> Were there any pluggable type checkers for Scala compiler done so far?
> For example a thing that imposes immutability of classes or purity of
> referential transparency of methods?
> Anybody experimented with uniqueness typing for Scala?
>
> Szymon