Programming

43 readers

1 users here now

This magazine is dedicated to discussions on programming languages, software development, and coding. Whether you are a beginner programmer or an experienced developer, this is the place for you. Here you can share your knowledge, ask questions, and engage in discussions on topics such as coding languages, software engineering, web development, and more. From the latest trends and frameworks to tips and tricks for debugging, this category covers a wide range of topics related to programming.

founded 2 years ago

Make invalid states unrepresentable (geeklaunch.io)

submitted 1 year ago by [email protected] to c/[email protected]

1 comments fedilink hide all child comments

Some programming languages have really powerful type systems, so we're really leaving money on the table if we don't take full advantage of them. In the case of Rust, I believe the type system has been shown to even be Turing-complete! (That's not an injunction to implement everything at compile-time.)

I know, for myself, coming from a JavaScript background, strict type systems seemed... restrictive, at first, but I've gradually grown to love and even depend on the strong guarantees provided by languages like Rust.

This is a presentation I recently gave at a work conference in article form. I've also recorded a YouTube video version if you prefer that format.

top 1 comments

sorted by: hot top controversial new old

[–] [email protected] 1 points 1 year ago

Great explanation for why types are a good thing. I write a language that has types but none of their advantages and it annoys me a lot.