Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
Message from discussion New member (and a project) introduction
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
Ivan Kuraj  
View profile  
 More options Aug 21 2012, 9:35 am
From: Ivan Kuraj <ivan.ku...@gmail.com>
Date: Tue, 21 Aug 2012 15:35:04 +0200
Local: Tues, Aug 21 2012 9:35 am
Subject: Re: [scala-ide-dev] New member (and a project) introduction

Hi Simon,

Thanks for the useful feedback!

On 08/21/2012 12:53 PM, Simon Schäfer wrote:

> Hi Ivan,

> some suggestions (I use the version for 2.10):

Versions for 2.9 and 2.10 should be (behave) the same.

> * On `val xs: Array[Int] =` there is suggested `Array apply 0` instead
> of `Array(0)`

It is not mentioned in the documentation, InSynth's support for
polymorphic types (generics) is not yet implemented, but we plan to
implement it.
The documentation should definitely be corrected to mention this. And
also it would be good if no completions are offered in such case, I presume?
> * operator names are shown as they are represented internally for
> example `$hash$hash` instead of `##`

I see, while the former should also work (if I am not mistaking) the
later is a better alternative. This should be definitely fixed.
> * for case classes there is shown only a call to the ctor and not to
> the companions apply method

I think that we have some limitation while searching companion objects,
could you please give a test case - or if it is not a problem opening an
issue would be even better (for this one and other suggestions also)?
> * for local/imported methods there is always shown full operator
> notation `obj op param` instead of simply `op(param)`

I see, although a test case would be excellent, I think I know about
this. It can be corrected.
> * for `val xs = Seq(Seq(1), Seq(2)); val ys: Seq[Int] = x.` there is
> nothing suggested. For Array there are things like `Array apply 0`
> suggested (after hitting CTRL+SPACE after the dot). Same for a method
> which expects a `Seq[Int]` but a `Seq[Seq[Int]]` is found - nothing is
> shown.

The discussion about polymorphic types should apply here.
> * your suggestions are always shown even if they make no more sense.
> In `obj.abc` there are things shown which do not start with `abc`

The idea of InSynth is to provide code snippets at a given location,
regardless of what the developer already typed - therefore it will
always try to search for all visible solutions, not just the ones that
contain the expression you already wrote.
This should definitely be considered as a feature/improvement.

> Maybe some of these things should already work?

Yes, definitely. And thank you very much for pointing these things out!
As I imagined, writing a lot of tests cannot replace testing when a
developer is actually interacting with InSynth plugin. :)

I wanted to ask you, could you please submit these suggestions as
tickets (it would be very good to have them public/documented)? I guess
GitHub issue tracker
<https://github.com/kaptoxic/scala-ide-insynth-integration/issues>, for
the InSynth repository, would be the best place for that.

Thank you very much again!!
Cheers,
Ivan

> On Di 21 Aug 2012 05:31:19 CEST, Ivan Kuraj wrote:

>> Hi all,

>> I've probably should have been informing you about the progress/issues
>> of the InSynth plugin development for Scala IDE more often (at least
>> unnecessarily clogging of the mailing list was avoided :)), but I
>> would like to use this opportunity to present a pull request for the
>> InSynth plugin into the Scala IDE ecosystem.

>> InSynth should be ready to go, it has a testing framework with decent
>> amount of tests and has been tested manually, therefore we believe
>> that everything should be okay when using InSynth plugin in "normal
>> conditions". Unfortunately, we suspect that there are still bugs -
>> among others, the ones caused by unsafe calls to the presentation
>> compiler are present - so any feedback on such would be highly
>> appreciated.

>> In case you want to give InSynth a try, you can use nightly update
>> sites for Scala 2.9
>> <http://scala-ide.dreamhosters.com/nightly-update-insynth-scalaide21-2...>

>> or for Scala 2.10
>> <http://scala-ide.dreamhosters.com/nightly-update-insynth-scalaide21-2...>.

>> I've submitted a pull request
>> <https://github.com/scala-ide/ecosystem/pull/2> to the Scala IDE
>> Ecosystem.

>> There is a short documentation
>> <https://github.com/kaptoxic/scala-ide-insynth-integration/wiki> for
>> the InSynth plugin.

>> As usual I would be extremely thankful for feedback -
>> positive/negative, bug reports, feature suggestions, etc. - which can
>> be given through the ticket system of the repository
>> <https://github.com/kaptoxic/scala-ide-insynth-integration/issues>.

>> I would like to thank my mentor, Iulian, for an excellent mentorship
>> and as well Mirco and Luc for helping me out (I was bugging these guys
>> most of the time, instead of using the mailing list :)). I am really
>> happy that InSynth got the opportunity to become a part of the Scala
>> IDE (its ecosystem).

>> Just to mentioned that the plugin is still under (constant)
>> development and surely that will not change in the near future, since
>> there are still many bugs to fix and features to add (just to mention,
>> I will be working on the InSynth, and its theory, for my master thesis
>> project). :)

>> Thanks for your time.
>> Cheers!
>> Ivan

>> On 05/09/2012 03:10 PM, Mirco Dotta wrote:

>>> That's great news Ivan, very much looking forward to your contribution!

>>> -- Mirco

>>> On May 9, 2012, at 2:25 PM, ivan.kuraj wrote:

>>>> Hi all,

>>>> I am a new member of this group and I would like to just briefly
>>>> introduce myself (and my project, which is focusing on the Scala IDE).

>>>> My name is Ivan Kuraj and I am a second year computer science master
>>>> student at EPFL, with Foundations of Software as chosen
>>>> specialization.
>>>> In the next couple of months I will be working on a Google Summer of
>>>> Code project related to Scala IDE. The project is called "Smart Quick
>>>> Fixes for Scala IDE for Eclipse" and is about implementing a
>>>> 'QuickFix' functionality for Scala development within the Eclipse. The
>>>> implemented mechanism should be used to provide automatic suggestions
>>>> for fixing compilation errors, code completion proposals, and
>>>> refactoring suggestions.

>>>> The basic ideas for the project are to implement some useful "quick
>>>> fixes" for Scala in Eclipse which include code modifications after a
>>>> compilation error (e.g. if a required type is List[T] but found is
>>>> List[List[T]], one suggestion could be to add a flatten method call to
>>>> an expression of type List[List[T]]), syntactic transformations which
>>>> are semantically equivalent (e.g. from foreach/map/flatmap to for-
>>>> yield construct transforms), utilization of the InSynth tool for code
>>>> synthesis (http://lara.epfl.ch/web2010/insynth) and investigate some
>>>> other possibilities which could prove interesting (e.g. scalagen tool
>>>> application).

>>>> Since such implementation requires close interaction with the Scala
>>>> and Scala IDE framework, a great point for the project would be to
>>>> cooperate with people which are involved in the core tasks of Scala
>>>> and the Scala IDE development, which includes people in this group.

>>>> It is my pleasure to be a part of this group. I am looking forward to
>>>> mutually beneficial discussions and cooperation within the community,
>>>> and finally my contribution to it.

>>>> Cheers,
>>>> Ivan

>>> ---------------
>>> Mirco Dotta
>>> Typesafe <http://www.typesafe.com/> - The software stack for
>>> applications that scale
>>> PSE-D, 1015 Lausanne, Switzerland
>>> Work: +41 (0)21 691 49 65
>>> Twitter: @mircodotta


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.