Interprocedural Sparse Conditional Type Propagation

Related Stories

Abstract Data type

JVM Runtime Parametric Type Support

Proposal: Implicit Error Propagation via `throw` Identifier in Go

Faster route propagation by rewriting our Traefik gateway in Rust

TLTSS: a programming language made in TypeScript's type system

The Perils of Pointers in the Land of the Zero-Sized Type

What is Go's SMALLEST Type? A video about zero sized values.

Finally, someone's speaking up against the tyranny of type systems. I always thought strong-typing was inherently patriarchal.

A new type of extremely rare explosion has been discovered—it is a baffling twenty-five times more energetic than the most energetic supernova known

Error Monads the Hard Way

Premature Design Is Not Design

Zero-Cost 'Tagless Final' in Rust with GADT-style Enums

A tour of upcoming RFCs for the Hare programming language

public/protected/private is an unnecessary feature

What's higher-order about so-called higher-order references?

Linearity and uniqueness

Our production Ruby on Rails stack

Handling bidirectional control flow

Red Language Reference Manual

error[E0599]: no method named `local_file` found for struct `proc_macro2::Span` in the current scope

[DISCUSSION] Razen Lang: A Rust-Built Language. need Support and help

Is worth the Jetbrains Rust Course?

Just published my first crate: ato - a minimal no_std compatible async runtime

What do you think about my example file for beginners to learn rust?

Nested repetition in macro_rules?

Why is `std::sum` refusing to compile

Strange ownership behaviour in async function when using mutable references

Is there a library for 2D rendering that is both performant and somewhat ergonomic?

[Discussion] I created a Rust builder pattern library - what do you think?

Buying a prebuilt PC