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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.