Re: [Pharo-project] Pharo 1.4
On Aug 22, 2011, at 1:34 PM, Ilmari Vacklin wrote:
On Monday, August 22, 2011 1:09:28 PM UTC+3, Alexandre Bergel wrote: Hi! I now switched to Pharo 1.4. It is much more usable than 1.3 in my opinion. I like the code completion tool, more stable than ocompletion.
I'd be interested in testing a new code completion tool too. I downloaded the unstable image from pharo-project.org, but its workspaces and the browser do not have code completion. Do I need to install additional packages?
1.4 has currently no enhanced completion installed. This issue has the Gofer expression to load Ocompletion: http://code.google.com/p/pharo/issues/detail?id=4622 But maybe we should use Ecompletion instead? Or nothing? -- Marcus Denker -- http://marcusdenker.de
Pressing Ctrl-q popups a list of possible selector. It works well. I haven't checked where this comes from, but it contributes to my happiness :-D Alexandre On 22 Aug 2011, at 13:47, Marcus Denker wrote:
On Aug 22, 2011, at 1:34 PM, Ilmari Vacklin wrote:
On Monday, August 22, 2011 1:09:28 PM UTC+3, Alexandre Bergel wrote: Hi! I now switched to Pharo 1.4. It is much more usable than 1.3 in my opinion. I like the code completion tool, more stable than ocompletion.
I'd be interested in testing a new code completion tool too. I downloaded the unstable image from pharo-project.org, but its workspaces and the browser do not have code completion. Do I need to install additional packages?
1.4 has currently no enhanced completion installed.
This issue has the Gofer expression to load Ocompletion:
http://code.google.com/p/pharo/issues/detail?id=4622
But maybe we should use Ecompletion instead? Or nothing?
-- Marcus Denker -- http://marcusdenker.de
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
On maanantai 22. elokuuta 2011 at 17.04, Alexandre Bergel wrote:
Pressing Ctrl-q popups a list of possible selector. It works well. I haven't checked where this comes from, but it contributes to my happiness :-D Indeed! It is somewhat hard to discover, though, and requires me to use arrow keys to select a completion, which is very slow compared to pressing tab as with OCompletion.
I don´t understand the behavior of any completion mechanism than works on Pharo/Squeak. When I type a literal, for example "1000" and later type "fac" appears always a great number of messages from system than nothing have relation with the object where we doing message call. I´ll wait for example #factorial message and other fews. I suppose that don´t easy solve in a language with don´t strong type, but another Smalltalks like Dolphin seems work very good in that. Thanks for read my poor english :) -- View this message in context: http://forum.world.st/Pharo-1-4-tp3759684p3774928.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
On Sun, Aug 28, 2011 at 9:41 PM, nullPointer <epicfan@gmail.com> wrote:
I don´t understand the behavior of any completion mechanism than works on Pharo/Squeak. When I type a literal, for example "1000" and later type "fac" appears always a great number of messages from system than nothing have relation with the object where we doing message call. I´ll wait for example #factorial message and other fews. I suppose that don´t easy solve in a language with don´t strong type, but another Smalltalks like Dolphin seems work very good in that.
Thanks for read my poor english :)
There are existing tools to infer types but they need to be integrated. -- Damien Cassou http://damiencassou.seasidehosting.st "Lambdas are relegated to relative obscurity until Java makes them popular by not having them." James Iry
Damien Cassou wrote:
Cool! That would make a big difference. Where are they/what are they called? Sean -- View this message in context: http://forum.world.st/Pharo-1-4-tp3759684p3774973.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
On 28 August 2011 21:18, Sean P. DeNigris <sean@clipperadams.com> wrote:
Damien Cassou wrote:
Cool! That would make a big difference. Where are they/what are they called?
I know of Roel Wuyts' RoelTyper (http://decomp.ulb.ac.be/roelwuyts/smalltalk/roeltyper/) and Lex Spoon's Chuck (http://www.lexspoon.org/ti/). Matt Might has also written about k-CFA (Control Flow Analysis) for inferring types in a dynamic language (Scheme, in particular) - http://matt.might.net/articles/implementation-of-kcfa-and-0cfa/ - which we might be able to apply to Smalltalk. frank
Sean
-- View this message in context: http://forum.world.st/Pharo-1-4-tp3759684p3774973.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
In fact Pharo 1.3 uses OCompletion built on top of ECompletion[1] and RoelTyper. I just looked at 1.4 and it looks simpler but OCompletion works great for me! I think is a great tool but it's not well integrated (cause there's been a lot of changes, new editors and yada yada yada) IMHO it does't hurt to have them (you can disable it and use ECompletion instead or you can even disable both tools) and makes Pharo more friendly to newcomers from others IDEs. Cheers, Francisco [1] http://uncomplex.net/ecompletion/ On Sun, Aug 28, 2011 at 7:04 PM, Frank Shearar <frank.shearar@gmail.com>wrote:
On 28 August 2011 21:18, Sean P. DeNigris <sean@clipperadams.com> wrote:
Damien Cassou wrote:
Cool! That would make a big difference. Where are they/what are they
called?
I know of Roel Wuyts' RoelTyper (http://decomp.ulb.ac.be/roelwuyts/smalltalk/roeltyper/) and Lex Spoon's Chuck (http://www.lexspoon.org/ti/). Matt Might has also written about k-CFA (Control Flow Analysis) for inferring types in a dynamic language (Scheme, in particular) - http://matt.might.net/articles/implementation-of-kcfa-and-0cfa/ - which we might be able to apply to Smalltalk.
frank
Sean
-- View this message in context: http://forum.world.st/Pharo-1-4-tp3759684p3774973.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
Exactly. I am the first to disable both, but there is nothing personal in it. Well, it *IS* personal, but simply my personal preference to type vs. having lists block my view of the code. I think it is great that the tools exist and provide good service to those who want them. ________________________________________ From: pharo-project-bounces@lists.gforge.inria.fr [pharo-project-bounces@lists.gforge.inria.fr] On Behalf Of Francisco Ortiz Peñaloza [patchinko@gmail.com] Sent: Sunday, August 28, 2011 10:57 PM To: Pharo-project@lists.gforge.inria.fr Subject: Re: [Pharo-project] Pharo 1.4 In fact Pharo 1.3 uses OCompletion built on top of ECompletion[1] and RoelTyper. I just looked at 1.4 and it looks simpler but OCompletion works great for me! I think is a great tool but it's not well integrated (cause there's been a lot of changes, new editors and yada yada yada) IMHO it does't hurt to have them (you can disable it and use ECompletion instead or you can even disable both tools) and makes Pharo more friendly to newcomers from others IDEs. Cheers, Francisco [1] http://uncomplex.net/ecompletion/ On Sun, Aug 28, 2011 at 7:04 PM, Frank Shearar <frank.shearar@gmail.com<mailto:frank.shearar@gmail.com>> wrote: On 28 August 2011 21:18, Sean P. DeNigris <sean@clipperadams.com<mailto:sean@clipperadams.com>> wrote:
Damien Cassou wrote:
Cool! That would make a big difference. Where are they/what are they called?
I know of Roel Wuyts' RoelTyper (http://decomp.ulb.ac.be/roelwuyts/smalltalk/roeltyper/) and Lex Spoon's Chuck (http://www.lexspoon.org/ti/). Matt Might has also written about k-CFA (Control Flow Analysis) for inferring types in a dynamic language (Scheme, in particular) - http://matt.might.net/articles/implementation-of-kcfa-and-0cfa/ - which we might be able to apply to Smalltalk. frank
Sean
-- View this message in context: http://forum.world.st/Pharo-1-4-tp3759684p3774973.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
Roel typer does inference using method bodies and I do not think that it takes the receiver. Now the problem is that we could take the expression (here 100) and evaluate and get its class (and catch error in case you wrote jlkkj Now what if the expression should not be evaluated twice. So type inferencer May be if we had a message: expr isLiteral we could guess a bit better. So if someone want to experiment please do. Stef
Cool! That would make a big difference. Where are they/what are they called?
I know of Roel Wuyts' RoelTyper (http://decomp.ulb.ac.be/roelwuyts/smalltalk/roeltyper/) and Lex Spoon's Chuck (http://www.lexspoon.org/ti/).
forget it. It was nice but you need 80 mb or more of cache and I'm not sure the code is somewhere and working
Matt Might has also written about k-CFA (Control Flow Analysis) for inferring types in a dynamic language (Scheme, in particular) - http://matt.might.net/articles/implementation-of-kcfa-and-0cfa/ - which we might be able to apply to Smalltalk.
well this is not something you do in 3 months.
frank
Sean
-- View this message in context: http://forum.world.st/Pharo-1-4-tp3759684p3774973.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
On Mon, 29 Aug 2011, Stéphane Ducasse wrote:
Roel typer does inference using method bodies and I do not think that it takes the receiver. Now the problem is that we could take the expression (here 100) and evaluate and get its class (and catch error in case you wrote jlkkj
Now what if the expression should not be evaluated twice.
So type inferencer
May be if we had a message:
expr isLiteral we could guess a bit better.
So if someone want to experiment please do.
ECompletion already does that. See ECContext >> #guessTypeOf:. Levente
Stef
Cool! That would make a big difference. Where are they/what are they called?
I know of Roel Wuyts' RoelTyper (http://decomp.ulb.ac.be/roelwuyts/smalltalk/roeltyper/) and Lex Spoon's Chuck (http://www.lexspoon.org/ti/).
forget it. It was nice but you need 80 mb or more of cache and I'm not sure the code is somewhere and working
Matt Might has also written about k-CFA (Control Flow Analysis) for inferring types in a dynamic language (Scheme, in particular) - http://matt.might.net/articles/implementation-of-kcfa-and-0cfa/ - which we might be able to apply to Smalltalk.
well this is not something you do in 3 months.
frank
Sean
-- View this message in context: http://forum.world.st/Pharo-1-4-tp3759684p3774973.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
RoelTyper is probably what should be interfaced with the automatic completion. Other approaches are expensive. Alexandre On 28 Aug 2011, at 19:04, Frank Shearar wrote:
On 28 August 2011 21:18, Sean P. DeNigris <sean@clipperadams.com> wrote:
Damien Cassou wrote:
Cool! That would make a big difference. Where are they/what are they called?
I know of Roel Wuyts' RoelTyper (http://decomp.ulb.ac.be/roelwuyts/smalltalk/roeltyper/) and Lex Spoon's Chuck (http://www.lexspoon.org/ti/). Matt Might has also written about k-CFA (Control Flow Analysis) for inferring types in a dynamic language (Scheme, in particular) - http://matt.might.net/articles/implementation-of-kcfa-and-0cfa/ - which we might be able to apply to Smalltalk.
frank
Sean
-- View this message in context: http://forum.world.st/Pharo-1-4-tp3759684p3774973.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
On Aug 29, 2011, at 7:19 PM, Alexandre Bergel wrote:
RoelTyper is probably what should be interfaced with the automatic completion.
it is. Stef
Other approaches are expensive.
Alexandre
On 28 Aug 2011, at 19:04, Frank Shearar wrote:
On 28 August 2011 21:18, Sean P. DeNigris <sean@clipperadams.com> wrote:
Damien Cassou wrote:
Cool! That would make a big difference. Where are they/what are they called?
I know of Roel Wuyts' RoelTyper (http://decomp.ulb.ac.be/roelwuyts/smalltalk/roeltyper/) and Lex Spoon's Chuck (http://www.lexspoon.org/ti/). Matt Might has also written about k-CFA (Control Flow Analysis) for inferring types in a dynamic language (Scheme, in particular) - http://matt.might.net/articles/implementation-of-kcfa-and-0cfa/ - which we might be able to apply to Smalltalk.
frank
Sean
-- View this message in context: http://forum.world.st/Pharo-1-4-tp3759684p3774973.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
participants (11)
-
Alexandre Bergel -
Damien Cassou -
Francisco Ortiz Peñaloza -
Frank Shearar -
Ilmari Vacklin -
Levente Uzonyi -
Marcus Denker -
nullPointer -
Schwab,Wilhelm K -
Sean P. DeNigris -
Stéphane Ducasse