Skip to main content

LiveTyping - Wednesday, June 30th

By

 The next meeting of the UK Smalltalk User Group will be on Wednesday, June 30th.

 

Hernan Wilkinson will talk about his LiveTyping project.

Currently, almost all mainstream dynamically typed languages support type annotation a la Strongtalk. Python calls it "type hints", TypeScript is JavaScript+type annotations, PHP calls it "type declarations" and Ruby does it through a tool called Sorbet. All of them annotate the types in the source code and it is the programmer who must write and maintain the annotation. In all cases, it is not mandatory for the system to correctly type check for it to run.
LiveTyping is a type system proposal for Smalltalk, that seeks similar objectives but implemented in a different way. First, it is the environment itself that collects and maintains the types based on the execution of the system, not the programmer. Second, the types are not interleaved in the source code, thus maintaining the syntax and simplicity of the language. And finally, the main objective is not to carry out a static type checking (although it supports it), but to augment the programmers experience increasing the usability of current tools such as searching for senders and implementers, and performing more accurate and safe refactorings.
In this talk Hernan will briefly show how LiveTyping is implemented to later concentrate on the improvements made to the tools and the benefits it brings when developing software with Smalltalk.
LiveTyping is currently implemented in Cuis Smalltalk and has been successfully used for the last two years in three different universities in Argentina when teaching Object Oriented Programming and Design.

Given the current COVID-19 restrictions, 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 27 August 2021: The recording of the presentation is now available on Vimeo.

Comments

Peter O said…
LiveTyping is great, as shown in the Meetup session. I believe LiveTyping does not (yet) work in Pharo Smalltalk. It would be great to have LiveTyping in Pharo.
30 June 2021 at 20:24
Post a Comment

Popular posts from this blog

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

By
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 th
Post a Comment
Read more

Vector Graphics in Cuis Smalltalk - Wednesday 31st March

By
The next meeting of the UK Smalltalk User Group will be on Wednesday, March 31st.   In this meeting, Juan Vuletich will present a Vector Graphic implementation in Cuis Smalltalk. Graphics for interactive software have traditionally been constrained for performance reasons. The consequence is that most software has serious trouble adapting to higher resolution screens, requires platform specific widget kits, provides limited functionality, and has sub optimal visual quality. But improvements in computing power over the last couple of decades enable a brighter future: Cuis Smalltalk provides a VectorGraphics based implementation of the Morphic UI framework that addresses all these issues. Juan Vuletich is a long standing member of the Open Source Smalltalk community. He started Cuis Smalltalk 12 years ago and has led it ever since. He has been contributing kernel code to Squeak and the Squeak VM for over 20 years. He holds an Ms.Sc. in Computer Science from the University of Buenos Air
Post a Comment
Read more

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
Post a Comment
Read more