Programming

355 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 1 year 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.

you are viewing a single comment's thread
view the rest of the comments

[–] [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.