[–] 2 points 1 year ago

With your example, there are a number of languages that can statically prevent thread safety issues entirely, so that's not actually a good example of something a type system can't catch.

To be honest, there's much more that can be statically enforced by a type system than what C++ is capable of. With a sufficiently powerful type system, it tends to become more about tradeoffs in ergonomics and type safety.

  • source
  • parent
  • context
  • [–] 5 points 1 year ago (1 child)

    Have you ever been to southeastern Nebraska? Like... Where most people in the state live? It's nothing like western Nebraska. I live in Lincoln and it's a great place to live: progressive, lots of parks, great school system, nice downtown area, beautiful university campus, etc. Nothing like you're describing. Nebraskans don't actually go to western Nebraska very much.

  • source
  • parent
  • context
  • [–] 9 points 1 year ago (3 children)

    Most of the population lives in the southeastern corner of the state, in Omaha, Lincoln, Nebraska City, and some surrounding counties. I live in Lincoln and it's a very nice place to live. Western Nebraska is completely different and not many people live there, and most people in the state don't go there either unless they are driving through.

  • source
  • parent
  • context
  • view more: ‹ prev next ›