Java type inference won't support differentiation of mutable vs immutable variables due to lack of consensus within the community regarding how this should be implemented, recent communication shows. Also, to prevent a long debate about corner cases, a number of such cases will be ruled out. Although the JEP doesn't indicate a target version, Java 10 seems likely.
Dependent types-based language Idris will soon reach version 0.99, which can be viewed as an alpha release of 1.0, according to the Idris team. Idris 1.0 is expected sometime around February 2017.
Javaslang, an open-source functional library that provides persistent data types and functional control structures for Java 8 and beyond, published a roadmap for a major release version 3.0 that promises significant changes to the library to remove unnecessary and deprecated features.
Lightbend surveyed over 2100 JVM developers to study correlations between development and infrastructure trends. Their findings, published in a whitepaper, revealed that microservices and lightweight containers are challenging heavyweight J2EE application servers.
PLT Design has announced a new version of Racket; its Scheme-like general purpose, multi-paradigm programming language Racket 6.7 introduces support for building graphical applications on Android, improvements to the REPL and to the package manager, and extended Typed Racked.
Don Syme, creator of F#, presented at .Net Fringe 2016 an assessment of the current status of F#. He also commented on the duality that exists in F#, a functional language created on a runtime built for object oriented languages.
Haskell might be “the closest thing to a secret weapon” when building server-side software, writes Better co-founder Carl Baatz, summarizing their four-year journey using Haskell in production.
Details of the new Scala Center, a non-profit organization created to focus on education and the open source community, were presented by research scientist Heather Miller during her June 16, 2016 keynote address at Scala Days Berlin.
Elixir 1.3, recently announced by José Valim, deprecates imperative assignments and adds new types and accessors, improves its Mix build tool and the ExUnit unit testing framework.
Clojure has a new core library, clojure.spec, that aims to provide a standard and integrated system for the specification and testing of data and functions. Besides making it possible to automatically validate Clojure code, the new specification system can be used for a number of tasks such as generative testing, error reporting, and destructuring.
R. Kent Dybvig, professor emeritus of Computer Science at Indiana University, now with Cisco, has recently open sourced version 9.4 of his formerly commercial Scheme compiler Chez Scheme.
Racket, a multi-paradigm programming language belonging to the Lisp/Scheme family, has reached version 6.5, writes Ryan Culpepper on Racket blog. The new version adds several new features, including improvements to typed/untyped code interaction, faster iteration on hash tables and sets, and more.
JetBrains has released IntelliJ IDEA 2016.1, the latest version of their most popular IDE. The new version seems to have the polyglot developer in mind, with multiple enhancements over a variety of languages and technologies; however, the most noticeable changes are aimed at Java, particularly at helping developers take full advantage of Java 8.
After 8 years of development, Lisp Flavoured Erlang (LFE) has reached version 1.0, bringing stable support for Lisp programming on the Erlang virtual machine (BEAM). LFE was created by Robert Virding, one of the initial developers of Erlang. InfoQ has spoken with Duncan McGreggor, current maintainer of LFE.