5 ms·
What might “Python, but with modern type inference” look like? Are there other existing languages that come close to matching that description?
by pansa2 6y ago
What might “Python, but with modern type inference” look like? Are there other existing languages that come close to matching that description?
- ipaddr 6y agoPossible referring to php and the auto type casting? He couldn't possible mean javascript or rust. Perhaps golang because of the limited subset of types.
- skohan 6y agoSwift/kotlin are better examples of languages which allow you to stay very high level with types to keep you honest
- nicoburns 6y agoNim?
- joshuamorton 6y agoPython, with a few type annotations and pytype.
- ojbyrne 6y agoI'm going to take a guess and say that the OP is referring to languages that implement the Hindley-Miner algorithm. According to Wikipedia: "Some languages that include type inference include C++11, C# (starting with version 3.0), Chapel, Clean, Crystal, D, F#,[1] FreeBASIC, Go, Haskell, Java (starting with version 10), Julia,[2] Kotlin, ML, Nim, OCaml, Opa, RPython, Rust, Scala, Swift,[3] TypeScript,[4] Vala, Dart,[5] and Visual Basic (starting with version 9.0)." https://en.wikipedia.org/wiki/Type_inference#Types_in_programming_languages https://en.wikipedia.org/wiki/Type_inference#Types_in_progra...
- nimmer 6y agoYou described Nim: https://nim-lang.org https://nim-lang.org