JsSqueak - Wednesday, December 29th

By

For our December meeting, Florin Mateoc will show us JsSqueak, a JavaScript implementation of (JavaScript compiled) Squeak.

Whereas SqueakJS or TruffleSqueak are implementations of the Squeak stack VM which run the Squeak bytecodes, JsSqueak compiles all the Squeak code to JavaScript (including the VM plugins), it exports the image state as one big JavaScript storeString, and then loads them, and runs the JavaScript implemented minimal VM (mostly primitives) and the JavaScript-translated Squeak methods as one combined JavaScript application. The compiled JavaScript application can be run either in a browser or in Node.js

While JavaScript, especially with its newest additions, is a very powerful language, which allows us to implement most Smalltalk-specific features (e.g. processes/green threads are implemented using generator functions and recursive yield* for all invocations, DNU is implemented using proxies and proto manipulation, the Smalltalk parallel class hierarchy is implemented using JavaScript classes with static properties and their parallel prototypes hierarchy, weak classes are implemented using JavaScript WeakRef instances in their (weak) slots), one obvious challenge is implementing contexts.
Since we compile Squeak classes to JavaScript classes, Squeak methods to JavaScript methods (and class-side Squeak methods to static JavaScript methods), the code runs on the native JavaScript call stack, and we do not have a mapping between the JavaScript function activations and reified contexts. Nevertheless, it turns out that, by providing specialized implementations for various aspects that are implemented using contexts/stack walking in Squeak, we can actually run almost all Squeak code as-is.

Florin Mateoc is an electronics engineer who has always loved programming and who has actually only ever worked as a software engineer.
Florin has worked as a professional Smalltalk programmer in Enfin (later called ObjectStudio), VisualAge, VisualWorks, and a little bit as a hobbyist in Squeak.

This will be an online meeting from home.

If you'd like to join us, please sign up in advance on the meeting's Meetup page to receive the meeting details. Don’t forget to bring your laptop and drinks!

Update 1 January 2025: The recording of the presentation is now available on YouTube:


 

Comments

Post a Comment

Popular posts from this blog

Nov 22: Michael Lucas-Smith on Xtreams

By
In order to welcome Michael Lucas-Smith and Helge Nowak, who will be visiting London this month, we've moved our November monthly meeting one week earlier to Monday, November 22. Michael has offered to give us an in-depth presentation on Xtreams , a streaming framework with a new and refreshingly consistent API. From the project page: Xtreams is a generalized stream/iterator framework providing [a] simple, unified API for reading from different kinds of sources and writing into different kinds of destinations (Collections, Sockets, Files, Pipes, etc). Streams themselves can be sources or destinations as well. This allows to stack streams on top of each other. It is the stacking nature of the streams that give this framework its real power and, from what Michael and Martin (Kobetic) have shown me, you can do some pretty impressive stuff. Martin's presentation at ESUG only scratched the surface, apparently, and Michael intends to delve even deeper. There will also be plenty of ti...
Read more

Javier Pimas -- Live Metacircular Runtimes: The case of Egg Smalltalk - 29 June 2024

By
Image
 Egg is a new Smalltalk dialect that was designed from scratch to incorporate some interesting features: A module system with namespaces that replaces the old-good Smalltalk global. Dynamic identifiers, which are bound lazily similarly to how methods are lazily bound. A multi-VM architecture, with different VM implementations written in C++, Pharo, JavaScript and Egg. The Egg-in-Egg VM is special in that the VM component is just another module of the system, creating what we have named Live Metacircular Runtimes (LMRs) [1]. The most interesting characteristic of LMRs in Smalltalk is that they can be developed using standard Smalltalk tools, which shorten feedback loops when doing VM development. During the talk I'll show a little bit about Egg and its LMR, and how not only VM developers get more productive when writing VMs, but also application developers can better understand what the VM does behind the scenes. [1] https://arxiv.org/abs/2312.16973 - Live Objects All Th...
Read more

Craig Latta - WebAssembly as a Smalltalk Compilation Target (v1) - 22 February 2023

By
Image
WebAssembly (WASM) is an instruction format for portable high-performance code, run by a stack-based virtual machine. To Smalltalkers, this sounds very familiar. WASM is supported by the three most popular web browsers, and by other host platforms as well. Perhaps we can translate certain Smalltalk compiled methods to WASM, augmenting our support for physical processors and for livecoding the Web. For our February meeting, Craig Latta will describe his initial experiments, using the Epigram compilation framework. Craig Latta is a research computer scientist in Berkeley and Amsterdam, with interests including livecoding, music performance, and interactive visualization. The discovery of a mysteriously-placed copy of the Blue Book at university led to stints at several exploratory labs, and a pursuit of improvisation wherever code is found. This will be an online meeting from home. If you'd like to join us, please sign up in advance on the meeting's  Meetup page  to receive t...
Read more