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

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

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 >

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 >

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

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