miniblog.

← Back to all posts
Jan 26, 2020 at 16:29
Back from #POPL! The Saturday tracks were well worth attending. Ronald's discussion of gradual type safety vs soundness was my highlight: https://popl20.sigplan.org/details/wgt-2020-papers/5/Gradual-Typing-as-if-Types-Mattered When talking about soundness, it's important to say exactly what issues you're handling, and the talk explored this.
Gradual Typing as if Types Mattered (WGT 2020 - : First ACM SIGPLAN Workshop on Gradual Typing) - POPL 2020
The Workshop on Gradual Typing (WGT) aims at disseminating the latest results on the integration of compile­-time and run­-time checking of program invariants, such as the integration of static and dynamic type checking. The workshop serves as an incubator for ideas, open problems, and manuscripts: it is a place where the community can meet, discuss, and give each other constructive feedback. The workshop will encourage participation from researchers in both academia and industry, drawing people from the many active projects on both sides of the aisle. Format: A one-day workshop with 1­-2 ...

Related Posts

Apr 3, 2026 at 00:37
21
Rust and RISC-V both feel like they've reached critical mass and I'd guess that they'll be used more in 5 years than they are today. What other technologies fit this description?
Apr 2, 2026 at 09:44
2
Some excellent safety improvements in C++26: hardening the standard library against out-of-bounds bugs, and a safer semantics for uninitialised local variables:
C++26 is done! — Trip report: March 2026 ISO C++ standards meeting (London Croydon, UK) – Sutter’s Mill
Apr 2, 2026 at 09:10
1
LLMs have been really helpful for me porting some JS projects to TS. Since the types are erased and annotations are optional, I can go gradually and safely with more minimal human oversight. (I'm not sure if it'll significantly help robustness, but it's lovely for navigation.)