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 )
> 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
>
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
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
> 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
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.
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