4 ms·
It's more probable they skimmed and couldn't recognize those. There's Idris, Hare, Odin, V, Roc, Haskell, Nim, Haxe, PureScript, Vala, Lobster, and arguably Com
by klibertp 2y ago
It's more probable they skimmed and couldn't recognize those. There's Idris, Hare, Odin, V, Roc, Haskell, Nim, Haxe, PureScript, Vala, Lobster, and arguably Common Lisp and Dylan. That's from a single read of the list.
Concluding there are no statically typed languages is only possible if you can't recognize them.
- teleforce 2y agoOK I stand corrected, but less than half of them that you've mentioned are not proper static type meaning that you cannot enforce and guarantee static and strongly type only Idris, Hare, Odin, V, Roc & Haskell. Only about 10% of the listed programming languages are proper static typed languages and most of the popular static typed languages are conveniently left out. They're missing the usual suspects of D, Rust, Ada, C++, Elm, Swift, Kotlin, Scala, TypeScript, Eiffel, Crystal, Modula-3, Futhark, Sather, VHDL, Verilog/SystemVerilog, etc.
- Jtsummers 2y ago> They're missing the usual suspects of D, Rust, Ada, C++, Elm, Swift, Kotlin, Scala, TypeScript, Eiffel, Crystal, Modula-3, Futhark, Sather, VHDL, Verilog/SystemVerilog, etc. Ada: #78 (which I listed in my initial response to you, and like the actual list, you apparently did not read). Verilog: #17 TypeScript: #54 Futhark: #94 You just keep making it clear that you didn't even look at the list. You're making things up now.
- teleforce 2y agoSure you're correct that I'm missed some of them but, the list are still missing many static languages that's my overall points: D, Rust, C++, Elm, Swift, Kotlin, Scala, Eiffel, Crystal, Modula-3, Sather, VHDL, etc. Also my main point of contention is that only small percentage of proper static languages (about 15%) are on the list if we include Ada, Futhark, Typescript and Verilog. Just don't lose the forest for the trees.