Re: [Pharo-users] IS there TypePlug for Pharo or similar type annotation tool?

2015-10-03 Thread stepharo
Why do you need that? Le 2/10/15 20:50, Peter Uhnák a écrit : Hi, What options do we have in terms of type annotations in Pharo? I stumbled upon TypePlug this https://marcusdenker.de/talks/08ParisTypes/08ParisTypePlug.pdf (or rather this http://scg.unibe.ch/archive/masters/Hald07a.pdf )

Re: [Pharo-users] IS there TypePlug for Pharo or similar type annotation tool?

2015-10-03 Thread Marcus Denker
> On 02 Oct 2015, at 20:50, Peter Uhnák wrote: > > Hi, > > What options do we have in terms of type annotations in Pharo? > > I stumbled upon TypePlug this > https://marcusdenker.de/talks/08ParisTypes/08ParisTypePlug.pdf >

Re: [Pharo-users] IS there TypePlug for Pharo or similar type annotation tool?

2015-10-03 Thread Stephan Eggermont
On 02-10-15 20:50, Peter Uhnák wrote: What options do we have in terms of type annotations in Pharo? The only type annotations I've actually used in Pharo is Magritte Stephan

[Pharo-users] IS there TypePlug for Pharo or similar type annotation tool?

2015-10-02 Thread Peter Uhnák
Hi, What options do we have in terms of type annotations in Pharo? I stumbled upon TypePlug this https://marcusdenker.de/talks/08ParisTypes/08ParisTypePlug.pdf (or rather this http://scg.unibe.ch/archive/masters/Hald07a.pdf ) which enabled type annotation for Squeak such as

Re: [Pharo-users] IS there TypePlug for Pharo or similar type annotation tool?

2015-10-02 Thread Alexandre Bergel
> Well my primary motivation is that I need annotated code to be able to do > full model reverse-engineering (that of itself is very hard task, however if > you work only on constrained models that you've forward-engineered or > control, it's significantly simpler). > In fact types are not

Re: [Pharo-users] IS there TypePlug for Pharo or similar type annotation tool?

2015-10-02 Thread Alexandre Bergel
Hi Peter! I see you are really motivated for having types in Pharo. This is great. The email you’ve sent a couple of days ago motivated me for continuing my effort. The two important design points of my implementation are as follow: (A) - Types are specified in the method comment.

Re: [Pharo-users] IS there TypePlug for Pharo or similar type annotation tool?

2015-10-02 Thread Peter Uhnák
On Fri, Oct 2, 2015 at 9:03 PM, Alexandre Bergel wrote: > Hi Peter! > > I see you are really motivated for having types in Pharo. This is great. > Well my primary motivation is that I need annotated code to be able to do full model reverse-engineering (that of itself is