Abstract:

Lua is a scripting language widely uses in several fields, with strong niches in games and embedded systems. Pallene is a new language designed to be a companion language for Lua, that is, a system language specifically designed to interoperate with Lua in a scripting architecture.

In this talk, Roberto will present the main features of Lua, in particular those that set it apart from other scripting languages. Then Roberto will discuss Pallene and the concept of a companion language, which brings together ideas from scripting, JIT compilation, and gradual typing, focusing on a design that aims to bring more performance for Lua programs. To close the talk, Roberto will briefly outline the work to formalize the Lua-Pallene system, in particular, to prove the gradual guarantee for Pallene.

Brief speaker bio:

Roberto Ierusalimschy is a professor at the Pontifical Catholic University of Rio de Janeiro and the leading architect of the Lua programming language. Currently he is visiting the University of Edinburgh under the UoE School of Informatics – Huawei Distinguished Visitor Scheme.

To join this talk please use the following details.

https://welink.zhumu.com/j/211786325

UoE – Huawei Tech Talk series: Lua and Pallene, a talk by Roberto Ierusalimschy / Huawei-Edinburgh Joint Lab by blogadmin is licensed under a Creative Commons Attribution CC BY 3.0