April 2014 - Esug-list - lists.esug.org

Re: [Esug-list] [Vm-dev] Pharo 3.0 Released!

by Tudor Girba

Every once in a while, many little pieces come together and reveal a great puzzle. This is one of those moments. Fantastic work, everyone! Doru On Wed, Apr 30, 2014 at 4:01 PM, Esteban Lorenzano <estebanlm(a)gmail.com>wrote: > > Dear World, > > Pharo 3.0 (http://www.pharo.org) is here. > > [image: pastedGraphic.png] > > The past year seemed short as we got busy building more than usual. Many > things have changed in Pharo. Here are the highlights: > - The new modular Opal compiler is now the default compiler used in the > system. > - The Athens vector graphics canvas is now integrated and it supports > Cairo rendering on all platforms. > - Many tools have been rewritten using Spec, a new framework for building > user interfaces. > - Versionner and Kommiter are two of the new development tools. > - RPackage, a new package mechanism got enhanced with tags and is fully > integrated in the system. > - The debugger model was rewritten to become modular, the inspector > received a bump to support multiple views, and the Nautilus code browser > supports tags, search and lot more improvements. > - Morphic has seen many cleanings and improvements and the visual theme > has been revamped. > > These are just the more prominent highlights, but the details are just as > important. We have closed 2364 issues in Pharo 3 (compared with 1727 issues > in Pharo 2). Take a moment to go through a more detailed recount of the > progress: > > > https://github.com/pharo-project/ChangeLogs/blob/master/Pharo30ChangeLogs.md > > Pharo is improving on many fronts. Just take a look at the code city of > Pharo (built with Pharo for Pharo). Every building is a class, and the red > bricks represent the modified methods in Pharo 3. > > [image: pastedGraphic_1.png] > > Many things are changing but the system gets more stable. Moving from > Pharo 2 to Pharo 3 is almost a matter of just loading the code. > > Remember that Pharo is your platform. We thank all the contributors of > this release: Jean-Baptiste Arnaud, Simon Allier, Philippe Back, Clément > Bera, Alexandre Bergel, Torsten Bergmann, Usman Bhatti, Vincent Blondeau, > Noury Bouraqadi, Johan Brichau, Camillo Bruni, Sven Van Caekenberghe, > Damien Cassou, Nicolas Cellier, Guido Chari, Dimitris Chloupis, Bernardo > Contreras, Ben Coman, Gabriel Omar Cotelli, Jordi Delgado, Tommaso Del > Sasso, Gisela Decuzzi, Christophe Demarey, Sean DeNigris, Marcus Denker, > Martin Dias, Erwan Douaille, Stephane Ducasse, Stephan Eggermont, Pablo > Estefo, Luc Fabresse, Johan Fabry, Hilaire Fernandes, Nahuel Garbezza, Leo > Gassman, Lucas Giudice, Tudor Girba, Thierry Goubier, Norbert Hartl, Dale > Henrichs, Pablo Herrero, Nicolai Hess, Andre Hora, Alejandro Infante, > Ricardo Jacas, Henrik Sperre Johansen, Denis Kudryashov, Pavel Krivanek, > Juraj Kubelka, Laurent Laffont, Jannik Laval, Max Leske, David Lewis, Diego > Lont, Esteban Lorenzano, Stefan Marr, Mariano Martinez Peck, Roberto > Minelli, Hernan Morales Durand, Eliot Miranda, Fernando Olivero, Nicolas > Papagna Maldonado, Nick Papoylias, Nicolas Passerini, Vanessa Peña, Nicolas > Petton, Alain Plantec, Guillermo Polito, Damien Pollet, Jochen Rick, > Benjamin Van Ryseghem, Ronie Salgado, Camille Teruel, Juan Pablo Sandoval > Alcocer, Samir Saleh, Frank Shearar, Igor Stasenko, Aliaksei Syrel, > Sebastian Tleye, Yuriy Tymchuk, Andres Valloud, Martin Walk, Hernan > Wilkinson. > And many many more who contributed indirectly, by reporting bugs, > participating in discussion threads, providing feedback... > > Pharo 3.0 is the largest step we took since we started. Yet, it’s just a > step. Expect more. Much more. > > Enjoy! > The Pharo Team > > -- www.tudorgirba.com "Every thing has its own flow"

April 30, 2014

Re: [Esug-list] Pharo 3.0 Released!

by Sebastian Tleye

Awesome!! ;) 2014-04-30 16:01 GMT+02:00 Esteban Lorenzano <estebanlm(a)gmail.com>: > Dear World, > > Pharo 3.0 (http://www.pharo.org) is here. > > [image: pastedGraphic.png] > > The past year seemed short as we got busy building more than usual. Many > things have changed in Pharo. Here are the highlights: > - The new modular Opal compiler is now the default compiler used in the > system. > - The Athens vector graphics canvas is now integrated and it supports > Cairo rendering on all platforms. > - Many tools have been rewritten using Spec, a new framework for building > user interfaces. > - Versionner and Kommiter are two of the new development tools. > - RPackage, a new package mechanism got enhanced with tags and is fully > integrated in the system. > - The debugger model was rewritten to become modular, the inspector > received a bump to support multiple views, and the Nautilus code browser > supports tags, search and lot more improvements. > - Morphic has seen many cleanings and improvements and the visual theme > has been revamped. > > These are just the more prominent highlights, but the details are just as > important. We have closed 2364 issues in Pharo 3 (compared with 1727 issues > in Pharo 2). Take a moment to go through a more detailed recount of the > progress: > > > https://github.com/pharo-project/ChangeLogs/blob/master/Pharo30ChangeLogs.md > > Pharo is improving on many fronts. Just take a look at the code city of > Pharo (built with Pharo for Pharo). Every building is a class, and the red > bricks represent the modified methods in Pharo 3. > > [image: pastedGraphic_1.png] > > Many things are changing but the system gets more stable. Moving from > Pharo 2 to Pharo 3 is almost a matter of just loading the code. > > Remember that Pharo is your platform. We thank all the contributors of > this release: Jean-Baptiste Arnaud, Simon Allier, Philippe Back, Clément > Bera, Alexandre Bergel, Torsten Bergmann, Usman Bhatti, Vincent Blondeau, > Noury Bouraqadi, Johan Brichau, Camillo Bruni, Sven Van Caekenberghe, > Damien Cassou, Nicolas Cellier, Guido Chari, Dimitris Chloupis, Bernardo > Contreras, Ben Coman, Gabriel Omar Cotelli, Jordi Delgado, Tommaso Del > Sasso, Gisela Decuzzi, Christophe Demarey, Sean DeNigris, Marcus Denker, > Martin Dias, Erwan Douaille, Stephane Ducasse, Stephan Eggermont, Pablo > Estefo, Luc Fabresse, Johan Fabry, Hilaire Fernandes, Nahuel Garbezza, Leo > Gassman, Lucas Giudice, Tudor Girba, Thierry Goubier, Norbert Hartl, Dale > Henrichs, Pablo Herrero, Nicolai Hess, Andre Hora, Alejandro Infante, > Ricardo Jacas, Henrik Sperre Johansen, Denis Kudryashov, Pavel Krivanek, > Juraj Kubelka, Laurent Laffont, Jannik Laval, Max Leske, David Lewis, Diego > Lont, Esteban Lorenzano, Stefan Marr, Mariano Martinez Peck, Roberto > Minelli, Hernan Morales Durand, Eliot Miranda, Fernando Olivero, Nicolas > Papagna Maldonado, Nick Papoylias, Nicolas Passerini, Vanessa Peña, Nicolas > Petton, Alain Plantec, Guillermo Polito, Damien Pollet, Jochen Rick, > Benjamin Van Ryseghem, Ronie Salgado, Camille Teruel, Juan Pablo Sandoval > Alcocer, Samir Saleh, Frank Shearar, Igor Stasenko, Aliaksei Syrel, > Sebastian Tleye, Yuriy Tymchuk, Andres Valloud, Martin Walk, Hernan > Wilkinson. > And many many more who contributed indirectly, by reporting bugs, > participating in discussion threads, providing feedback... > > Pharo 3.0 is the largest step we took since we started. Yet, it’s just a > step. Expect more. Much more. > > Enjoy! > The Pharo Team > > _______________________________________________ > Esug-list mailing list > Esug-list(a)lists.esug.org > http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org > >

April 30, 2014

Pharo 3.0 Released!

by Esteban Lorenzano

Dear World, Pharo 3.0 (http://www.pharo.org) is here. The past year seemed short as we got busy building more than usual. Many things have changed in Pharo. Here are the highlights: - The new modular Opal compiler is now the default compiler used in the system. - The Athens vector graphics canvas is now integrated and it supports Cairo rendering on all platforms. - Many tools have been rewritten using Spec, a new framework for building user interfaces. - Versionner and Kommiter are two of the new development tools. - RPackage, a new package mechanism got enhanced with tags and is fully integrated in the system. - The debugger model was rewritten to become modular, the inspector received a bump to support multiple views, and the Nautilus code browser supports tags, search and lot more improvements. - Morphic has seen many cleanings and improvements and the visual theme has been revamped. These are just the more prominent highlights, but the details are just as important. We have closed 2364 issues in Pharo 3 (compared with 1727 issues in Pharo 2). Take a moment to go through a more detailed recount of the progress: https://github.com/pharo-project/ChangeLogs/blob/master/Pharo30ChangeLogs.md Pharo is improving on many fronts. Just take a look at the code city of Pharo (built with Pharo for Pharo). Every building is a class, and the red bricks represent the modified methods in Pharo 3. Many things are changing but the system gets more stable. Moving from Pharo 2 to Pharo 3 is almost a matter of just loading the code. Remember that Pharo is your platform. We thank all the contributors of this release: Jean-Baptiste Arnaud, Simon Allier, Philippe Back, Clément Bera, Alexandre Bergel, Torsten Bergmann, Usman Bhatti, Vincent Blondeau, Noury Bouraqadi, Johan Brichau, Camillo Bruni, Sven Van Caekenberghe, Damien Cassou, Nicolas Cellier, Guido Chari, Dimitris Chloupis, Bernardo Contreras, Ben Coman, Gabriel Omar Cotelli, Jordi Delgado, Tommaso Del Sasso, Gisela Decuzzi, Christophe Demarey, Sean DeNigris, Marcus Denker, Martin Dias, Erwan Douaille, Stephane Ducasse, Stephan Eggermont, Pablo Estefo, Luc Fabresse, Johan Fabry, Hilaire Fernandes, Nahuel Garbezza, Leo Gassman, Lucas Giudice, Tudor Girba, Thierry Goubier, Norbert Hartl, Dale Henrichs, Pablo Herrero, Nicolai Hess, Andre Hora, Alejandro Infante, Ricardo Jacas, Henrik Sperre Johansen, Denis Kudryashov, Pavel Krivanek, Juraj Kubelka, Laurent Laffont, Jannik Laval, Max Leske, David Lewis, Diego Lont, Esteban Lorenzano, Stefan Marr, Mariano Martinez Peck, Roberto Minelli, Hernan Morales Durand, Eliot Miranda, Fernando Olivero, Nicolas Papagna Maldonado, Nick Papoylias, Nicolas Passerini, Vanessa Peña, Nicolas Petton, Alain Plantec, Guillermo Polito, Damien Pollet, Jochen Rick, Benjamin Van Ryseghem, Ronie Salgado, Camille Teruel, Juan Pablo Sandoval Alcocer, Samir Saleh, Frank Shearar, Igor Stasenko, Aliaksei Syrel, Sebastian Tleye, Yuriy Tymchuk, Andres Valloud, Martin Walk, Hernan Wilkinson. And many many more who contributed indirectly, by reporting bugs, participating in discussion threads, providing feedback... Pharo 3.0 is the largest step we took since we started. Yet, it’s just a step. Expect more. Much more. Enjoy! The Pharo Team

April 30, 2014

Arnaud Jean-Baptiste search for a Job position.

by Jean Baptiste Arnaud

Hello, I am Arnaud Jean-Baptiste, I am in Post-doc in Rmod team, my post-doc finishes in December. And I am looking for a job position. My Experience: Since 5 years, I am in the Rmod team working on Pharo language: First I conducted a PhD focused on how to integrate new language features (I reified references), to enforce security policy. During my PhD, I acquired a deep knowledge of the Pharo virtual machine, language design and understanding complexe legacy software (when I began a PhD there are no correct documentation to rebuild the VM in a clean way). My PhD can be found on my website: http://jeanbaptiste-arnaud.eu/phd/ During my Post-doc, I parsed python language using moose for extract security information rely to static analysis. In addition, I worked 6 months with Synectique (software quality company focus on legacy langage), my job was to parse and extract data from Cobol language to provide visualisation (more detail can be found: http://jeanbaptiste-arnaud.eu/cobol/) In parallele I cultivate interrest on low level features, I am the maintainer the NBOpenGL implementation and provide some tutorial and simple tool (texture importer, mpeg renderer, etc.). I am the actual developer and maintainer of the RaspberryPi PharoVM project: (https://ci.inria.fr/pharo-contribution/view/ARM/) I began to introduce FFI for ARM. I am beginning to revive the project of golubovsky, to generate android version based on the last interpreter. Other projects or more fun projects: - Opal compiler, at beginning of my PhD I was developer on the Opal project: - Storm, a binding of a 2D physical engine (focus for game), I am contributor on the project of Esteban Lorenzano, - Gameboy, I began to do from scratch a gameboy emulator (try to be closest possible of the hardware), on Pharo based on the documentation found on: http://gbdev.gg8.se/wiki/articles/Main_Page, It is fun and I made great advance (graphic/engine/memory/processor ok, need to finish material binding interrupt and debug), but sadly I do not have time anymore. Obviously, I am a Pharo contributor. Eventually If your are interested on my academic skill my academic CV: Here some peoples that can recommend me: Pharo community contacts: - Stephane Ducasse, my actual boss lead the Pharo community: stephane.ducasse(a)inria.fr - Igor Stasenko, a Senior developer involve in Pharo community: siguctua(a)gmail.com - Esteban Lorenzano, a Senior developer involve in Pharo community: estebanlm(a)gmail.com Synectique contacts: - Nicolas Anquetil, researche and lead member of Synectique: Nicolas.Anquetil(a)inria.fr - Usman Bhatti, developer and project lead. usman.bhatti(a)gmail.com Best Regards Jean Baptiste Arnaud jbaptiste.arnaud(a)gmail.com

April 19, 2014

James Robertson

by Fortman, Suzanne

For those who haven't heard, James Robertson passed away suddenly on Thursday April 17, 2014. James was a power house of information for Smalltalk and worked furiously through the years to promote it through his blog and podcasts. James was an employee of ParcPlace through the ParcPlace/Digitalk merger and through the move to Cincom. When he left CIncom in 2010, he became an independent contractor. He was always an early adopter of technology. He jumped into the blog scene when it wasn't yet a scene and started recording podcasts when podcasts were still new. Over the years, he recorded thousands of podcasts, screencasts, videos of conference talks and interviews making them accessible to everyone by podcast channels, youtube and through his blog. Funeral information can be found at the following link. http://sollevinson.com/notice.php?lr=loc&id=25422 Suzanne M. Fortman Cincom Systems, Inc. Smalltalk Program Director Manager, Cincom Smalltalk Engineering office: 949-722-8928 mobile: 949-933-0055 [CincomLogo05Blue-lg (2)] This email and any files transmitted with it are confidential and intended solely for the use of the individual or entity to whom they are addressed. If you are not the intended recipient or the person responsible for delivering to the intended recipient, please be advised that it has been sent in error and therefore any use is strictly prohibited.

April 19, 2014

James Robertson

by Fortman, Suzanne

For those who haven't heard, James Robertson passed away suddenly on Thursday April 14, 2014. James was a power house of information for Smalltalk and worked furiously through the years to promote it through his blog and podcasts. James was an employee of ParcPlace through the ParcPlace/Digitalk merger and through the move to Cincom. When he left CIncom in 2010, he became an independent contractor. He was always an early adopter of technology. He jumped into the blog scene when it wasn't yet a scene and started recording podcasts when podcasts were still new. Over the years, he recorded thousands of podcasts, screencasts, videos of conference talks and interviews making them accessible to everyone by podcast channels, youtube and through his blog. Funeral information can be found at the following link. http://sollevinson.com/notice.php?lr=loc&id=25422 Suzanne M. Fortman Cincom Systems, Inc. Smalltalk Program Director Manager, Cincom Smalltalk Engineering office: 949-722-8928 mobile: 949-933-0055 [CincomLogo05Blue-lg (2)] This email and any files transmitted with it are confidential and intended solely for the use of the individual or entity to whom they are addressed. If you are not the intended recipient or the person responsible for delivering to the intended recipient, please be advised that it has been sent in error and therefore any use is strictly prohibited.

April 19, 2014

Re: [Esug-list] Francisco's work on Concrete Type Inference for Squeak

by Stéphane Ducasse

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(a)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(a)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(a)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(a)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(a)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(a)lists.esug.org >>>>> http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org >>>> >>>> >>>> _______________________________________________ >>>> Esug-list mailing list >>>> Esug-list(a)lists.esug.org >>>> http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org >>>> >>> >>> >>> _______________________________________________ >>> Esug-list mailing list >>> Esug-list(a)lists.esug.org >>> http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org >>> >>> _______________________________________________ >>> Esug-list mailing list >>> Esug-list(a)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(a)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(a)lists.esug.org > http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org

April 12, 2014

Re: [Esug-list] Francisco's work on Concrete Type Inference for Squeak

by Johan Fabry

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(a)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(a)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(a)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(a)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(a)lists.esug.org >>>> http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org >>> >>> >>> _______________________________________________ >>> Esug-list mailing list >>> Esug-list(a)lists.esug.org >>> http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org >>> >> >> >> _______________________________________________ >> Esug-list mailing list >> Esug-list(a)lists.esug.org >> http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org >> >> _______________________________________________ >> Esug-list mailing list >> Esug-list(a)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(a)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

April 11, 2014

Re: [Esug-list] Francisco's work on Concrete Type Inference for Squeak

by Alexandre Bergel

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(a)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(a)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(a)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(a)lists.esug.org > >> http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org > > > > > > _______________________________________________ > > Esug-list mailing list > > Esug-list(a)lists.esug.org > > http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org > > > > > _______________________________________________ > Esug-list mailing list > Esug-list(a)lists.esug.org > http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org > > _______________________________________________ > Esug-list mailing list > Esug-list(a)lists.esug.org > http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

April 11, 2014

Re: [Esug-list] Francisco's work on Concrete Type Inference for Squeak

by Clément Bera

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(a)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(a)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(a)lists.esug.org > >> http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org > > > > > > _______________________________________________ > > Esug-list mailing list > > Esug-list(a)lists.esug.org > > http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org > > > > > _______________________________________________ > Esug-list mailing list > Esug-list(a)lists.esug.org > http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org >

April 11, 2014