Engelbart’s demo in 1968 put forth compelling visions for personal computing that led to almost 30 years of innovation. Can we do the same for programming languages today? This presentation introduces several new PL technologies to this end. Type-less eliminates most type annotations from object-oriented code so programmers can get rich code completion with much less overhead. Glitch manages state and time like a garbage collector manages memory to achieve React-style reactivity that also applies to side effects and multi-core executions! Glitch can also update executing programs according to live code edits, allowing for a rich live programming experience. Together, Type-less and Glitch lead to a novel feedback-rich programmer experience that is demonstrated in the presentation.

Engelbart’s demo in 1968 put forth compelling visions for personal computing that led to almost 30 years of innovation. Can we do the same for programming languages today? This presentation introduces several new PL technologies to this end. Type-less eliminates most type annotations from object-oriented code so programmers can get rich code completion with much less overhead. Glitch manages state and time like a garbage collector manages memory to achieve React-style reactivity that also applies to side effects and multi-core executions! Glitch can also update executing programs according to live code edits, allowing for a rich live programming experience. Together, Type-less and Glitch lead to a novel feedback-rich programmer experience that is demonstrated in the presentation.

Engelbart’s demo in 1968 put forth compelling visions for personal computing that led to almost 30 years of innovation. Can we do the same for programming languages today? This presentation introduces several new PL technologies to this end. Type-less eliminates most type annotations from object-oriented code so programmers can get rich code completion with much less overhead. Glitch manages state and time like a garbage collector manages memory to achieve React-style reactivity that also applies to side effects and multi-core executions! Glitch can also update executing programs according to live code edits, allowing for a rich live programming experience. Together, Type-less and Glitch lead to a novel feedback-rich programmer experience that is demonstrated in the presentation.