IssueRaiser

The most annoying problem I run into with strongly typed languages or even typed python for that matter, is what on earth do I expect thi...

The most annoying problem I run into with strongly typed languages or even typed python for that matter, is what on earth do I expect this to return? With python, it could be a mysterious class that isn't explicitly mentioned. For Rust, you often need to know 4 layers deep of nested types for various error and flow control, and once generics are introduced with the expectation of implemented traits, it all goes out the window. If I need to declare the type of a value ahead of time, or know it's shape to serialize, check, etc, I want a very clear "this is what it returns, this is how it's expected to be used".

Posted by MSFT_Edging on Oct 10, 2025, 5:25 PM

Tags

Related issues

Raise real-world problems, find people facing the same issue, and discuss solutions.2,000 issues0 comments

hackernews (Other)

The most annoying problem I run into with strongly typed languages or even typed python for that matter, is what on earth do I expect thi...

MSFT_EdgingOct 10, 2025, 5:25 PM

The most annoying problem I run into with strongly typed languages or even typed python for that matter, is what on earth do I expect this to return? With python, it could be a mysterious class that isn't explicitly mentioned. For Rust, you often need to know 4 layers deep of nested types for various error and flow control, and once generics are introduced with the expectation of implemented traits, it all goes out the window. If I need to declare the type of a value ahead of time, or know it's shape to serialize, check, etc, I want a very clear "this is what it returns, this is how it's expected to be used".

Comments (0)

No comments yet. Start the discussion.

Comment on this issue