Sure, never claimed anything different. Runtime type safety != type safety.
- 0 Posts
- 3 Comments
Joined 2 years ago
Cake day: August 17th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Yes it is? It isn’t strictly sound, but it is type-safe aside from explicit escape hatches (which other type-safe languages also provide).
Yes, there exist different kinds of type safety. What the fuck are you even asking?