[ANN] Scala 2.7.0-RC1

We are very pleased to announce version 2.7.0-RC1 of the
Scala distribution:

1) It introduces several language changes:

     http://www.scala-lang.org/docu/changelog.html#v2.7.0

     - Support for Java generic types
     - Support for type annotations
     - Extended case classes
     - etc.

2) It fixes many bugs both in the compiler and the libraries.

     http://scala-lang.org/downloads/changes.html#v2.7.0-RC1

3) It adds new functionalities to the standard library:

     - rewritten package scala.util.parsing.combinator
     - improvements in packages scala.actors and scala.xml
     - additions like classes StringBuilder (100% Scala),
       BigDecimal (wrapper)
     - etc.

4) It also includes changes to the distribution and documentation:

     - splitted installation of tools and documentation (eg. API)
     - corrections and improvements  the reference manual

Other release candidates may follow this version depending

Re: [ANN] Scala 2.7.0-RC1

Re: [ANN] Scala 2.7.0-RC1

Re: Setup jedit for scala project

The instructions don't work.  See 
http://liftweb.net/index.php/Talk:SetUp_jEdit for my notes.

"David Bernard" <david.bernard.31@...> 
wrote in message news:47A0BD94.5000408@...
> Hi,
>
> I publish a first version of a plugin and a doc to ease the development of 
> scala poject (under maven or simple file (no-dependencies)) with jEdit 
> like lift itself, any project created with lift archetypes or 
> scala-archetypes (for introduction to scala and maven see article at 
> http://scala-blogs.org/).
>
> Main features include :
>     * syntax highlight
>     * compilation of .scala on save (standalone .scala and into a maven 
> project)
>     * running scalaTest (with the right classpath) from jEdit
>     * compiling/packaging maven project from jEdit and grab error in the 
> editor
>     * set keyboard shortcut for every action
>     * a configured environment after 1 or 2 hours
>
> More info at http://liftweb.net/index.php/SetUp_jEdit
>
> Feedbacks and contributions are welcome. (at less to know if there is 
> interesting users)
>
> /davidB
> 

Re: Setup jedit for scala project

Re: [scala-user] Re: Setup jedit for scala project

Hi Andy,

This a problem with white space. It is fixed (I expect) in the new version (0.2) release yesterday.
Please give a try.

Thanks,

Andy Czerwonka wrote:
> The instructions don't work.  See 
> http://liftweb.net/index.php/Talk:SetUp_jEdit for my notes.
> 
> "David Bernard" <david.bernard.31@...> 
> wrote in message news:47A0BD94.5000408@...
>> Hi,
>>
>> I publish a first version of a plugin and a doc to ease the development of 
>> scala poject (under maven or simple file (no-dependencies)) with jEdit 
>> like lift itself, any project created with lift archetypes or 
>> scala-archetypes (for introduction to scala and maven see article at 
>> http://scala-blogs.org/).
>>
>> Main features include :
>>     * syntax highlight
>>     * compilation of .scala on save (standalone .scala and into a maven 
>> project)
>>     * running scalaTest (with the right classpath) from jEdit
>>     * compiling/packaging maven project from jEdit and grab error in the 
>> editor
>>     * set keyboard shortcut for every action
>>     * a configured environment after 1 or 2 hours
>>
>> More info at http://liftweb.net/index.php/SetUp_jEdit
>>
>> Feedbacks and contributions are welcome. (at less to know if there is 
>> interesting users)
>>
>> /davidB
>>
> 
> 
> 

Re: [scala-user] Re: Setup jedit for scala project

Nope - still doesn't work.  Same problem.  I'm sure it was 0.2 that I used 
yesterday in the first place.

"David Bernard" <david.bernard.31@...> 
wrote in message news:47B00F98.1090902@...
> Hi Andy,
>
> This a problem with white space. It is fixed (I expect) in the new version 
> (0.2) release yesterday.
> Please give a try.
>
> Thanks,
>
> Andy Czerwonka wrote:
>> The instructions don't work.  See 
>> http://liftweb.net/index.php/Talk:SetUp_jEdit for my notes.
>>
>> "David Bernard" 
>> <david.bernard.31@...> wrote in 
>> message news:47A0BD94.5000408@...
>>> Hi,
>>>
>>> I publish a first version of a plugin and a doc to ease the development 
>>> of scala poject (under maven or simple file (no-dependencies)) with 
>>> jEdit like lift itself, any project created with lift archetypes or 
>>> scala-archetypes (for introduction to scala and maven see article at 
>>> http://scala-blogs.org/).
>>>
>>> Main features include :
>>>     * syntax highlight
>>>     * compilation of .scala on save (standalone .scala and into a maven 
>>> project)
>>>     * running scalaTest (with the right classpath) from jEdit
>>>     * compiling/packaging maven project from jEdit and grab error in the 
>>> editor
>>>     * set keyboard shortcut for every action
>>>     * a configured environment after 1 or 2 hours
>>>
>>> More info at http://liftweb.net/index.php/SetUp_jEdit
>>>
>>> Feedbacks and contributions are welcome. (at less to know if there is 
>>> interesting users)
>>>
>>> /davidB
>>>
>>
>>
>>
>
> 

Re: [ANN] Scala 2.7.0-RC1

Alex Boisvert wrote:
> I see no mention of type annotations in the language changelog.   Could 
> you elaborate?

(Followups to gmain.comp.lang.scala)

For several months, I worked on optional support in scalac for 
annotations on types.  The support was only turned on if you compiled 
with -Xplug-types.  Now, the option is gone and you always get the support.

This is a pretty good foundation, I think, for the pluggable type 
systems that Gilad Bracha describes.  The work is supported by the 
Hasler Foundation, so hopefully they think it is a pretty good 
foundation, too.  :)

There are two interesting parts to it compared to Java annotations.  One 
is that you can put arbitrary type-checked expressions in your 
annotations, not just constants.  So  <at> dim(Length/Time) is perfectly 
valid.  Second, there is sophisticated support for propagating type 
annotations through the type inference.  Here is a typical example:

   object Foo {
     val x = 3
     val y: Int  <at> GreaterThan(x) = 10
   }

   val z = Foo.y  // inferred type is Int  <at> GreaterThan(Foo.x)

Notice how the  <at> GreaterThan(x) had to be rewritten as 
 <at> GreaterThan(Foo.x).  Let me tell you, that was a long saga to get 
implemented!

If you want such rewrites, your annotation must inherit from 
ConstrainedTypeAnnotation in addition to the usual StaticAnnotation 
class.  Otherwise, the compiler will drop the annotation, and the 
inferred type for z would be just "Int" instead of an annotated Int.

Currently these annotations are only visible at compile time, because 
they are not reflected in the underlying Java types.  So to process 
them, you have to write a tool that links against scalac's code and does 
some extra processing.  One way to do this is to write your code as a 
compiler plugin.

That's the general idea.  Much much more can be written, and should be 
written, but hopefully that gives you the general idea.

Lex

RE: Re: [ANN] Scala 2.7.0-RC1

Do implicits work with the annotated types? This can yield some nice
benefits, like automatically doing a security check on a session object
if the callee declares a  <at> SecurityChecked annotation on the parameter.
Having an extra "dimension" of type information will find many uses.

RJ 

Re: Re: [ANN] Scala 2.7.0-RC1

Ooohhh... this sounds wicked cool.  I'd love to hear "yes it works" and 
then see an example.

Judson, Ross wrote:
> Do implicits work with the annotated types? This can yield some nice
> benefits, like automatically doing a security check on a session object
> if the callee declares a  <at> SecurityChecked annotation on the parameter.
> Having an extra "dimension" of type information will find many uses.
>
> RJ 
>