Subtype Inference by Example

Re:Subtype Inference by Example by jjice on Friday June 13, 2025 @03:49PM (#44271660)

FWIW, I've seen many IDEs and plugins add inline type annotations so it reads as though they are there, but aren't. I think the first time I saw this was with the JetBrains IntelliJ Rust plugin in 2019.

[ Parent | on HN ]

Re:Subtype Inference by Example by layla5alive on Wednesday June 18, 2025 @12:10AM (#44306588)

I like being able to read code in nano or vi

[ Parent | on HN ]