October 2016 - Pharo-users - lists.pharo.org

Re: [Pharo-users] CodeGenerator, your opinions?

by Evan Donahue

So this isn't a specific out-of-the-box solution to any of the code-generation use cases people have been discussing, but I thought it was relevant enough to toss it out there. I'm currently doing some work on program synthesis using a Pharo port of the miniKanren logic programming language (http://minikanren.org/) The Pharo version is here: http://smalltalkhub.com/#!/~EvanDonahue/SmallKanren . So far, I've only used it to implement this paper on generating scheme programs (http://smalltalkhub.com/#!/~EvanDonahue/SmallKanren) the implementation of which is here: http://smalltalkhub.com/#!/~EvanDonahue/Barliman . I've thought a bit about things like generating GUI's, and it seems like something interesting could be done there, since you could imagine feeding it constraints and then giving the results a thumbs up/thumbs down to see other satisfying layouts more or less like the ones you voted on, but the probabilistic learning component is an object of current research and isn't ready yet. I was planning on sending out an announcement once it was more complete and robust, as right now it has lots of tests but not much documentation, and the architecture is changing rapidly, per research requirements, but if anyone is interested in knowing more about it feel free to get in touch. This is part of a broader research program on intelligent interfaces, so hopefully some cooler things come out of it later down the line. Cheers, Evan -- View this message in context: http://forum.world.st/CodeGenerator-your-opinions-tp4919152p4919250.html Sent from the Pharo Smalltalk Users mailing list archive at Nabble.com.

Oct. 18, 2016

Re: [Pharo-users] CodeGenerator, your opinions?

by Todd Blanchard

My personal feeling on code generators is they are a bad code smell and the desire to use them tends to imply that your programming language isn't dynamic enough. That said I have used DNE on proto object proxies to capture messages sent and generate handlers (I have used this on Morphic to try to figure out what methods actually get called vs the ones that don't). I have also used this sort of thing to build a model that matches a database schema. But I wouldn't typically make code generation a routine part of my development process. > On Oct 17, 2016, at 22:24, HernÃ¡n Morales Durand <hernan.morales(a)gmail.com> wrote: > > Hi guys, > > I am writing a code generator, doing a few iterations right now. > I want your opinion, which most useful thing would you like to be generated automatically? It could be a pattern, an idiom, another language... > > For example my own wish (roadmap) list: > > - A "settings framework" settings class generator. > - A state machine generator (based in the excellent paper of Trevor P. Hopkins) > - A Spec UI generator. > > Let me know your thoughts. > > Cheers, > > HernÃ¡n >

Oct. 18, 2016

Re: [Pharo-users] Cog VM on Raspberry Pi ?

by Sven Van Caekenberghe

> On 18 Oct 2016, at 14:29, Henrik Johansen <henrik.s.johansen(a)veloxit.no> wrote: > > >> On 17 Oct 2016, at 8:43 , Sven Van Caekenberghe <sven(a)stfx.eu> wrote: >> >> Hi, >> >> Does a (faster) Cog VM for the Raspberry Pi actually exist ? >> >> I tried comparing the latest OpenSmalltalk VM with some older ones, only to find that they are all equally fast (slow actually): >> >> pi@raspberrypi ~/Pharo $ ./pharo -nodisplay Pharo.image printVersion >> [version] 5.0 #50581 >> >> "http://files.pharo.org/vm/pharoS/raspbian/latest.zip" >> >> pi@raspberrypi ~/Pharo $ ./pharo -nodisplay Pharo.image eval '1 tinyBenchmarks' >> '167429692 bytecodes/sec; 11160247 sends/sec' >> >> "http://www.mirandabanda.org/files/Cog/VM/VM.r3427/cogspurlinuxhtARM-15.33.3…" >> >> pi@raspberrypi ~/Pharo $ ./products/phcogspurlinuxhtRPi/pharo -nodisplay Pharo.image eval '1 tinyBenchmarks' >> '166992824 bytecodes/sec; 11337746 sends/sec' >> >> "https://bintray.com/opensmalltalk/vm/download_file?file_path=cog_linux32ARM…" >> >> pi@raspberrypi ~/Pharo $ ./products/phcogspurlinuxhtRPi/pharo -nodisplay Pharo.image eval '1 tinyBenchmarks' >> '166992824 bytecodes/sec; 11337746 sends/sec' >> >> That is no significant difference on a RPi 3, at all. Is this normal ? Am I missing something ? >> >> Thx, >> >> Sven >> >> PS: Just for reference, my Mac Book Pro is 10 times faster >> >> 1 tinyBenchmarks "'1323852617 bytecodes/sec; 174185794 sends/sec'" > > Are you 100% sure you benched different VM's? > A stack VM (PharoS) getting the same results as a Spur VM (cog_linux32ARMv6_pharo.cog.spur_201610142319.tar.gz) is rather suspicious... > > At least on my Pi3, the spur Cog VM gives numbers around 250M bytecodes/160M sends.... > which, while still "slow", is a decent bump in speed compared to what you're seeing. > > Cheers, > Henry Hi Henry, That is exactly the kind of reference/experience I am looking for. Could you please point me to the exact download URL you downloaded ? I will happily test it ;-) Thx, Sven

Oct. 18, 2016

Re: [Pharo-users] CodeGenerator, your opinions?

by HernÃ¡n Morales Durand

2016-10-18 9:35 GMT-03:00 Lionel Akue <lionelakue(a)gmail.com>: > Great! > > We had the same idea :) > > Let me know if we can join forces to speed uo things. > The first requirements I wrote was to generate Spec UI directly. But I > rather chose to make Magritte compatible with Spec. > > So from the Magritte description, we could generate Spec, Seaside ... > > The CodeGenerator I wrote already generates Magritte code. If you load it in Pharo 5 Gofer it smalltalkhubUser: 'hernan' project: 'CodeGenerator'; configuration; loadDevelopment. Have a look at the usage examples: #exampleMagritteDescriptionCreation1 #exampleMagritteDescriptionCreation2 #exampleMagritteDescriptionCreation3 If you have suggestions I would like to read. HernÃ¡n > Lionel > > 2016-10-18 14:20 GMT+02:00 Peter Uhnak <i.uhnak(a)gmail.com>: > >> Hi Hernan, >> >> I wrote some time ago two basic code generators (both in Pharo) from >> UML-ified FAMIX for a particular user (so there are some domain-specific >> patterns), >> one for Pharo syntax ( https://github.com/OpenPonk/cl >> ass-editor/blob/master/docs/code-generation/uml-to-code.md ) >> and one for VW syntax ( https://github.com/OpenPonk/cl >> ass-editor/blob/master/docs/vw-code-generation/pim-psm.md ) >> >> (the code is here https://github.com/OpenPonk/cl >> ass-editor/tree/master/repository/DynaCASE-Generator.package and here >> https://github.com/OpenPonk/class-editor/tree/master/reposit >> ory/UML-CodeGenerator.package ) >> >> The most pain I had was with expressing templateable code to which I >> could just plug specific data, I wanted to look at QVT but didn't have the >> time yet. >> But it would be interesting to see if your generator could address such >> issues; plus soon I want to iterate on my generators to have more live >> interaction (so the code is generated on the fly as the model is created, >> although I am using Pharo Refactoring engine for now, which is also quite >> powerful.) >> >> Addionally, Lionel (in cc) is working on some meta system generating >> classes with magritte descriptions. >> >> So it would be cool if we could have some really cool generator that >> could do many cool things. :) >> >> Peter >> >> On Tue, Oct 18, 2016 at 02:24:28AM -0300, HernÃ¡n Morales Durand wrote: >> > Hi guys, >> > >> > I am writing a code generator, doing a few iterations right now. >> > I want your opinion, which most useful thing would you like to be >> generated >> > automatically? It could be a pattern, an idiom, another language... >> > >> > For example my own wish (roadmap) list: >> > >> > - A "settings framework" settings class generator. >> > - A state machine generator (based in the excellent paper of Trevor P. >> > Hopkins) >> > - A Spec UI generator. >> > >> > Let me know your thoughts. >> > >> > Cheers, >> > >> > HernÃ¡n >> > >

Oct. 18, 2016

Re: [Pharo-users] CodeGenerator, your opinions?

by HernÃ¡n Morales Durand

Hi Otto, 2016-10-18 5:01 GMT-03:00 Otto Behrens <otto(a)finworks.biz>: > +1 for the visitor. What would be nice is to generate methods in the > form #visit<Class Name>: for all classes in a given hierarchy (eg > Magritte's MAVisitor). The default implementation of such a method > would be to call #visit<My Super Class name>: > > We have been using state machines for a long time and have built > generators for it (on a previous project, for which I do not have the > code). I still think that is a useful idea. It is difficult for the > code generator to maintain changes in the generated code with changes > in the "spec". Will you then define a DSL for the state machine? > > Do you mean internal or embedded DSL? I am open to write an DSL if facilitates the job, the thing with the Trevor's paper is that he defines 6 implementations of FSM's (and in each implementation he considers several issues leading to sub-implementations) so I would like a DSL which let me express different implementations for the same FSM. Plus there are FSM implementations out there: HotDraw, Connectors, MIDIInputParser, XMIReader, SState, etc. I think a "correct" DSL would enable to define any of them right? The approach I am using now is a parametrized code generator, using templates (not in the form of T4 templates), so it's a long way. Maybe Helvetia could help? > On Tue, Oct 18, 2016 at 9:29 AM, Julien Delplanque <julien(a)tamere.eu> > wrote: > > Hello, > > > > A generator for the visitor design pattern: > > - Generate methods in visited objects: VisitedObject>>#accept: (with the > > selector name configurable) > > - Generate empty methods (or methods with a "self > subclassResponsability" if > > an abstract visitor is generated) > > called in #accept: methods of VisitedObjects in the Visitor i.e > > Visitor>>#acceptVisitedObject: (with the selector > > name configurable again). > > > > Each time this design pattern has to be used, it is annoying to write by > > hand all these methods. > > > > Regards, > > > > Julien > > > > > > On 18/10/16 07:24, HernÃ¡n Morales Durand wrote: > >> > >> Hi guys, > >> > >> I am writing a code generator, doing a few iterations right now. > >> I want your opinion, which most useful thing would you like to be > >> generated > >> automatically? It could be a pattern, an idiom, another language... > >> > >> For example my own wish (roadmap) list: > >> > >> - A "settings framework" settings class generator. > >> - A state machine generator (based in the excellent paper of Trevor P. > >> Hopkins) > >> - A Spec UI generator. > >> > >> Let me know your thoughts. > >> > >> Cheers, > >> > >> HernÃ¡n > >> > > > > > >

Oct. 18, 2016

Re: [Pharo-users] Nao robot with Pharo and LRP

by Alexandre Bergel

This is great!!! Keep going! Alexandre > On Oct 18, 2016, at 6:09 AM, Miguel Campusano <mcampusa(a)dcc.uchile.cl> wrote: > > Hello, > I've been working on an API for the Nao Robot [1] in Pharo. You can find an early demo of how it works in Pharo: > https://www.youtube.com/watch?v=z8jopUfLWtQ <https://www.youtube.com/watch?v=z8jopUfLWtQ> > > Moreover, I built a communication bridge between the Nao and LRP [2]. LRP is a live programming language for robotic behaviors. You can see a working demo of the nao moving via LRP here: > https://www.youtube.com/watch?v=q1jGDtaW41U <https://www.youtube.com/watch?v=q1jGDtaW41U> > > I want to emphasize how easy and fun can be to program a robot with a live environment. Looking at the robot and see how immediately changes its behavior whenever you send a command, that is cool! > > You can find the API here (I have to write the documentation on how to use it): > http://www.smalltalkhub.com/#!/~mcamp/NaoSocket <http://www.smalltalkhub.com/#!/~mcamp/NaoSocket> > > This is a work in progress. The Nao has several features that I'm planning to incorporate in the API when they are needed. > > To make this work I use TCP sockets to communicate with the robot. For the Nao, there is a documentation on how the robot communicates via binary packages, but the documentation lacks a lot of information that I managed to figure it out by reading the binary information (thanks gtInspector for that) and understanding how the robot works. > > [1] https://www.ald.softbankrobotics.com/en/cool-robots/nao <https://www.ald.softbankrobotics.com/en/cool-robots/nao> > [2] pleiad.cl/lrp <http://pleiad.cl/lrp>

Oct. 18, 2016

Re: [Pharo-users] [Seaside] Seaside can not be used with Pharo 60261

by Norbert Hartl

Thanks, that worked. Feels really strange encountering this. So one cannot use the commandline handler for loading a configuration anymore. Sad! The same way sad as you cannot use versionner anymore when you start to use BaselineOf instead of ConfigurationOf. This is not a complaint because I can understand why this happens. It is just that we need more energy to solve all this than we have. Sad! Norbert > Am 18.10.2016 um 17:20 schrieb Johan Brichau <johan(a)inceptive.be>: > > >> On 18 Oct 2016, at 16:36, Norbert Hartl <norbert(a)hartl.name <mailto:norbert@hartl.name>> wrote: >> >> (ConfigurationOfAster project version: #development) load > > There are issues with this âoldâ way of Metacello loading. Can you try: > > Metacello new > configuration:âAsterâ; > version: #development; > load. > > (Maybe you need to add the repo to, donât know). > > Cheers > Johan

Oct. 18, 2016

Re: [Pharo-users] Nao robot with Pharo and LRP

by Johan Fabry

Excellent work ! :-) -- Does this mail seem too brief? Sorry for that, I donât mean to be rude! Please see http://emailcharter.org <http://emailcharter.org/> . Johan Fabry - http://pleiad.cl/~jfabry PLEIAD and RyCh labs - Computer Science Department (DCC) - University of Chile > On 18 Oct 2016, at 06:09, Miguel Campusano <mcampusa(a)dcc.uchile.cl> wrote: > > Hello, > I've been working on an API for the Nao Robot [1] in Pharo. You can find an early demo of how it works in Pharo: > https://www.youtube.com/watch?v=z8jopUfLWtQ <https://www.youtube.com/watch?v=z8jopUfLWtQ> > > Moreover, I built a communication bridge between the Nao and LRP [2]. LRP is a live programming language for robotic behaviors. You can see a working demo of the nao moving via LRP here: > https://www.youtube.com/watch?v=q1jGDtaW41U <https://www.youtube.com/watch?v=q1jGDtaW41U> > > I want to emphasize how easy and fun can be to program a robot with a live environment. Looking at the robot and see how immediately changes its behavior whenever you send a command, that is cool! > > You can find the API here (I have to write the documentation on how to use it): > http://www.smalltalkhub.com/#!/~mcamp/NaoSocket <http://www.smalltalkhub.com/#!/~mcamp/NaoSocket> > > This is a work in progress. The Nao has several features that I'm planning to incorporate in the API when they are needed. > > To make this work I use TCP sockets to communicate with the robot. For the Nao, there is a documentation on how the robot communicates via binary packages, but the documentation lacks a lot of information that I managed to figure it out by reading the binary information (thanks gtInspector for that) and understanding how the robot works. > > [1] https://www.ald.softbankrobotics.com/en/cool-robots/nao <https://www.ald.softbankrobotics.com/en/cool-robots/nao> > [2] pleiad.cl/lrp <http://pleiad.cl/lrp>

Oct. 18, 2016

Re: [Pharo-users] [Seaside] Seaside can not be used with Pharo 60261

by Johan Brichau

> On 18 Oct 2016, at 16:36, Norbert Hartl <norbert(a)hartl.name> wrote: > > (ConfigurationOfAster project version: #development) load There are issues with this âoldâ way of Metacello loading. Can you try: Metacello new configuration:âAsterâ; version: #development; load. (Maybe you need to add the repo to, donât know). Cheers Johan

Oct. 18, 2016

Re: [Pharo-users] CodeGenerator, your opinions?

by HernÃ¡n Morales Durand

Hi Dimitris, That would be certainly nice. C++ is hard, but if one start with a basic instantiation template it could be easier to move forward to more complex tasks like mapping data structures to STL, their containers and iterators. And I think it would attract C++ developers to Smalltalk. Cheers, HernÃ¡n 2016-10-18 4:54 GMT-03:00 Dimitris Chloupis <kilon.alios(a)gmail.com>: > There is the CCodeGenerator , which is basically Slang, Smalltalk that is > turned into basic C. I would like to expand it to generate C++ at some > point for converting pharo code to C++ code that I will be able to add to > Unreal. Though its a very low priority project for me. > > http://smalltalkhub.com/#!/~PavelKrivanek/CCodeGenerator > > Personally I am against generalized solutions because they tend to be bad > for specialized cases , on the other hand I welcome any code that I can use > as inspiration for my own code generator. > > On Tue, Oct 18, 2016 at 8:25 AM HernÃ¡n Morales Durand < > hernan.morales(a)gmail.com> wrote: > >> Hi guys, >> >> I am writing a code generator, doing a few iterations right now. >> I want your opinion, which most useful thing would you like to be >> generated automatically? It could be a pattern, an idiom, another >> language... >> >> For example my own wish (roadmap) list: >> >> - A "settings framework" settings class generator. >> - A state machine generator (based in the excellent paper of Trevor P. >> Hopkins) >> - A Spec UI generator. >> >> Let me know your thoughts. >> >> Cheers, >> >> HernÃ¡n >> >>

Oct. 18, 2016