Programming Languages Foster & Sustain Lifelong Learning in Computer Science
Welcome
Registration and Opening Session, Enjoy free Pizza and Soft Drinks and Networking
Introducing MoonBit and exploring the design space of asynchronous programming
In today's rapidly evolving technological landscape, the design of modern industrial-grade programming languages is not only the cornerstone of software development but also a critical factor in driving innovation and ensuring the sustainable development of technological ecosystems. As software systems grow increasingly complex, the demands on programming languages continue to rise.
MoonBit, developed by the IDEA Research Institute, is an AI-native cloud programming language and developer platform. Inspired by Golang and Rust, MoonBit combines simplicity and ease of use with a robust type system to enhance fault tolerance. It is particularly well-suited for cloud and edge computing, excelling in compilation speed, runtime efficiency, and compact binary size, significantly outperforming traditional languages.
Born in the wave of AI and cloud-native development, MoonBit integrates traditional IDE intelligence with large-model intelligence, leveraging local and global resampling techniques to refine and adjust intelligent code generation.
The MoonBit team is actively working on extending MoonBit’s capability, such as supporting asynchronous programming. Qing will talk about the design space of asynchronous programming support in programming languages, and possible directions of MoonBit async design.
In this presentation, HongBo and Qing will delve into how MoonBit addresses critical software development challenges, provide a live demonstration of MoonBit's core features, and explore MoonBit AI’s capabilities in intelligent software engineering tasks, such as code generation and beyond.
Speaker
HongBo Zhang, Founder of Moobit and Chair Scientist at IDEA & Qing Liu, Core Developer of Moonbit
HongBo Zhang is Chair Scientist and Department Head of Digital Infrastructure Innovation at IDEA, leading the MoonBit Platform. Best known as the creator of ReScript (formerly ReasonML and BuckleScript), Zhang has a distinguished academic background from Tsinghua University and the University of Pennsylvania. His career includes key roles at Bloomberg LP and Facebook, where he advanced programming languages like ReScript and Flow.
https://github.com/bobzhang
https://rescript-lang.org
https://www.moonbitlang.com
Qing Liu is core developer of MoonBit who has six years of experience in programming language development, with extensive knowledge of programming language theory and compiler implementation.
How Computer Science was Introduced at Yale-NUS College
Imagine that you are young again.
Not just that, but imagine that you also were accepted at Hogwarts School of Witchcraft and Wizardry (congratulations for that, BTW).
And now, with a beating heart, you are attending your first lecture about magic.
Wow. Your wand has been thoughtfully put on your desk, with a feather next to it. You are told to grab your wand, wave it over the feather, and enunciate "Wingardium Leviosa" or something.
Then the feather is supposed to levitate, and it doesn't, it's YOUR FAULT. Ditto if you are allergic to feathers.
Your next lecture is about potions, and then the first thing the clearly insecure teacher does is to bully you because you don't know any of the keywords he is supposed to teach you.
Gosh.
Can you imagine Computer Science being introduced like that?
But let's backtrack and start again, this time for good.
Imagine that you are young again.
Not just that, but imagine that you also were accepted at Yale-NUS College (congratulations for that, BTW).
And now, with a beating heart, you are attending your first lecture about Computer Science.
This talk begins like this first lecture and then
(1) presents the principles that have structured the introduction to Computer Science at Yale-NUS College
(2) analyses their impact.
Speaker:
Olivier Danvy, Professor of Science (Computer Science) at Yale-NUS College
Olivier Danvy is interested in all aspects of programming languages, including programming and teaching.
https://www.yale-nus.edu.sg/faculty/olivier-danvy
https://research.com/u/olivier-danvy
Networking & Discussions
Engage with speakers and fellow attendees.
Exchange ideas, discuss innovation, and build connections.