81–90 of 96 posts
Earlier quoted context omitted.
Totally agree that the JVM is super powerful. I think it's Java's greatest strength. However, I don't see any current JVM language as a potential replacement. Scala is too complex. Clojure, while wonderful, is Lisp and no one has been able to make that popular for 5 decades (not even pg).
Oh, no worries, I fixed that for you: http://gosu-lang.github.io/ ;)
Earlier quoted context omitted.
Haskell and ML are practically FP oriented. You might want to check out Rust for a language that is not purely FP oriented (it is multi-paradigm), yet attempts to take pragmatic choices from such languages. There seems to be a good community response to it.
The community response seems to be mostly from people who like to talk about programming language features all day without actually using it for real projects.
Earlier quoted context omitted.
> What language created in the last 5 years has a feature that wasn't originally discovered in the 80s or earlier? I may be wrong, but isn't Rust's static lifetime analysis to avoid GC something novel?
Objective-C has it.
Earlier quoted context omitted.
What language created in the last 5 years has a feature that wasn't originally discovered in the 80s or earlier? It's all too easy to bash new languages for not having some hot new, never before seen feature, meanwhile there are almost no examples of new languages doing earth shattering things. I think what we're currently seeing with Go, Rust, Elixir and others is taking the features that are perceived as good as tr…
> What language created in the last 5 years has a feature that wasn't originally discovered in the 80s or earlier? I may be wrong, but isn't Rust's static lifetime analysis to avoid GC something novel?
ATS uses theorem-proving, http://www.ats-lang.org/.
ParaSail uses regions, https://forge.open-do.org/plugins/moinmoin/parasail/
BitC used the type system, http://www.bitc-lang.org
Earlier quoted context omitted.
Objective-C has it.
Do you have any references? Searching for "objective c lifetime analysis" turned up articles for ARC, which is not exactly the same thing.
Earlier quoted context omitted.
Do you have any references? Searching for "objective c lifetime analysis" turned up articles for ARC, which is not exactly the same thing.
I meant ARC. I know it's not exactly the same, but it's similar enough when we're talking about novelty in programming languages.
Earlier quoted context omitted.
What about Groovy?
Good question. All I know is that it's used for Gradle and Grails. Some people I know view it more as a scripting language...
Earlier quoted context omitted.
I meant ARC. I know it's not exactly the same, but it's similar enough when we're talking about novelty in programming languages.
ARC doesn't involve any sort of nontrivial lifetime analysis. The compiler simply inserts calls to retain and release at all of the same places where explicit calls to them (hopefully) were with manual reference counting. The only vaguely novel part of any of it was successfully migrating a language from manual to automatic reference counting.
It's not particularly complex, but the architecture is there for further enhancement of this phase as they build out the static analyzer.
Earlier quoted context omitted.
I think you're missing the point of the basic type system: simplicity. It's a bigger win than you think when it comes to attracting new developers and making code easier to read. Sure, there are languages that let you write more succinct code and support all sorts of crazy typing, but one of the things good code requires is readability. Your code my be terse and elegant, but if other people can't understand it, it wo…
Readability is in the eye of the reader.