miniblog.

← Back to all posts
Oct 23, 2022 at 19:42
The tradeoffs of type system design, and thinking about a gradual type checker for Elixir:
My Future with Elixir: set-theoretic types
My Future with Elixir: set-theoretic types
We announce and explore the possibilities for bringing set-theoretic types into Elixir.

Related Posts

Dec 31, 2022 at 20:56
Most of the gradual type systems I've seen are targetting existing languages: you want to interact with existing libraries that don't have type annotations. Are there many greenfield languages with gradual types? It's a useful technique in other cases, such as refactoring.
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 ...
Jan 26, 2020 at 01:59
I met some interesting gradual type people at POPL yesterday, and the schedule was full of good talks! Friday opened with a great introduction to probabilistic PLs with live demos. It showed usage, although it feels like "random programming with magic"
Probabilistic Programming (POPL 2020 - Research Papers) - POPL 2020
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages. The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.