|
|
|
|
|
|
by darpa_escapee
2551 days ago
|
|
|
> I wonder why there isn't a popular gradually typed language that natively allows writing both dynamic and type-safe code, allowing quick prototyping and then gradual refactor to type safety. With the addition of `var`, I think Java is that language. |
|
|