BTW, if you are interested in typing for Smalltalk, you may want to look at Gradualtalk, a gradually-typed Pharo: http://pleiad.cl/research/software/gradualtalk Let us know if you have questions, Best, -- Éric On Apr 11, 2014, at 3:54 AM, Jan Vrany <jan.vrany@fit.cvut.cz> wrote:

OK,

I've got stuff from Francisco. Thanks!

Jan

On 10/04/14 20:37, Jan Vrany wrote:

...

Hi,

does anybody happen to have a copy of English translation of Francisco Garau's thesis on Concrete Type Inference for Squeak and is wiling to share this pearl with me?

If so, please write me back, I would really appreciate that!

Best, Jan

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

I think GradualTalk is made for cohabiting typed and untyped code. I do not know if there is a type inferencer however. Cheers, Alexandre On Apr 11, 2014, at 12:11 PM, Clément Bera <bera.clement@gmail.com> wrote:

Hello,

How are the project typing Pharo ? Do you have a good type-inference algorithm ? I would be interested in this kind of algorithm.

2014-04-11 5:33 GMT-07:00 Eric Tanter <etanter@dcc.uchile.cl>: BTW, if you are interested in typing for Smalltalk, you may want to look at Gradualtalk, a gradually-typed Pharo:

http://pleiad.cl/research/software/gradualtalk

Let us know if you have questions,

Best,

-- Éric

On Apr 11, 2014, at 3:54 AM, Jan Vrany <jan.vrany@fit.cvut.cz> wrote:

...

OK,

I've got stuff from Francisco. Thanks!

Jan

On 10/04/14 20:37, Jan Vrany wrote:

...

Hi,

does anybody happen to have a copy of English translation of Francisco Garau's thesis on Concrete Type Inference for Squeak and is wiling to share this pearl with me?

If so, please write me back, I would really appreciate that!

Best, Jan

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

Hi jan Nicolas Passerini and Pablo Tesone are working on a type inferencer. Woudl be nice to join effort. Contact them . On 11 Apr 2014, at 23:06, Johan Fabry <jfabry@dcc.uchile.cl> wrote:

Hi guys,

Gradualtalk is gradually typed Smalltalk: a gradually typed language basically means you type whatever you want, and typed and untyped code live together in peace, love, and harmony ;-)

I confirm that Gradualtalk does NOT have any type inferencing. We looked into it some time ago, but needed to take another route. It would be very useful and cool to have a type inferencer, but we don’t have the manpower to work on that, sadly.

On Apr 11, 2014, at 5:13 PM, Alexandre Bergel <abergel@dcc.uchile.cl> wrote:

...

I think GradualTalk is made for cohabiting typed and untyped code. I do not know if there is a type inferencer however.

Cheers, Alexandre

On Apr 11, 2014, at 12:11 PM, Clément Bera <bera.clement@gmail.com> wrote:

...

Hello,

How are the project typing Pharo ? Do you have a good type-inference algorithm ? I would be interested in this kind of algorithm.

2014-04-11 5:33 GMT-07:00 Eric Tanter <etanter@dcc.uchile.cl>: BTW, if you are interested in typing for Smalltalk, you may want to look at Gradualtalk, a gradually-typed Pharo:

http://pleiad.cl/research/software/gradualtalk

Let us know if you have questions,

Best,

-- Éric

On Apr 11, 2014, at 3:54 AM, Jan Vrany <jan.vrany@fit.cvut.cz> wrote:

...

OK,

I've got stuff from Francisco. Thanks!

Jan

On 10/04/14 20:37, Jan Vrany wrote:

...

Hi,

does anybody happen to have a copy of English translation of Francisco Garau's thesis on Concrete Type Inference for Squeak and is wiling to share this pearl with me?

If so, please write me back, I would really appreciate that!

Best, Jan

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

---> Save our in-boxes! http://emailcharter.org <---

Johan Fabry - http://pleiad.cl/~jfabry PLEIAD lab - Computer Science Department (DCC) - University of Chile

_______________________________________________ Esug-list mailing list Esug-list@lists.esug.org http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org