Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Tue 19 Oct 2021 09:00 - 10:30 at Zurich B - Dynamism

Programming languages come with increasingly powerful type-level programming features and meta-programming facilities – both of which shift part of the computation from dynamic (our traditional notion of “run-time”) to static (what often think of as “compile-time”). This boundary is being blurred as compilation increasingly happens at run-time and computations are staged. This means we have to start thinking about debuggers and profilers for our type systems. But we must also ask whether that additional expressive power is actually a net positive. Where is the point of diminishing returns?

Tue 19 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:30
DynamismREBASE at Zurich B
The F# view on the Static / Dynamic divideVirtual
Don Syme Microsoft, Nicholas Matsakis Amazon, USA