The Unison Language and its Scala-based Runtime

on YouTube ↗46m

" summary

Unison is a functional language that ships ASTs between nodes and performs runtime code deployment by partially evaluating an interpreter implemented in Scala, producing compiled Scala functions that mutate machine-like state. The Scala-based runtime uses compilation by partial evaluation to eliminate interpreter dispatch, leverages JVM inlining and devirtualization, and achieves performance within a factor of two of native Scala where a naive interpreter is about 10x slower. Dynamic provisioning and elastic MapReduce examples are implemented and working.

AI-written summary · about

" chapters (11)

1. 0:00Start
2. 1:05The Unison Programming Language
3. 1:24Motivating the Unison Language
4. 6:12Background on the Language
5. 8:58Example of a Multi Node Computation in Unison
6. 10:55Distributed Mapreduce Function
7. 15:50Why Our Interpreters for Programming Languages Slow
8. 20:13Compute the Nth Fibonacci Number
9. 26:03Partial Evaluation
10. 28:27Loop
11. 29:58Sources of Overhead

" related talks

• 05mInterviewRúnar Bjarnason · Scale By The Bay 2018
• 46mScala's Role in the Programming Languages EcosystemMartin Odersky · Scala Days 2023 Madrid
• 01h 05mScala: The Simple PartsMartin Odersky · GOTO Chicago 2014
• 21mReasonable Scala CompilerEugene Burmako · Scale By the Bay 2017
• 57mScalan: a reasonably typed meta programming framework in ScalaAlexander Slesarenko · Scala Days Berlin 2016
• 53mFROM SCALA TO ASSEMBLY THE COST OF ABSTACTION REVISITEDJarek Ratajski · Scalar 2020
• 44mFunctional Interpreters and YouMark Mynsted · Scala Days New York 2018
• 32mATLAS: A VOYAGE OF DISCOVERY ON THE HIGH SEAS OF SCRIPTINGDave Gurnell · Scalar 2018