InfoQ Homepage Functional Programming Content on InfoQ
-
Dependent-Types Language Idris Reaches 1.0
A few months after reaching what could be considered alpha stage, Idris 1.0 is out, writes Idris creator Edwin Brady, Lecturer in Computer Science at the University of St Andrews, UK.
-
Lightbend Speaks to InfoQ on Their Acquisition of OpsClarity
Nine months after acquiring BoldRadius, Lightbend announced their acquisition of OpsClarity, a company specializing in monitoring reactive applications. InfoQ interviewed Mark Brewer, president and CEO at Lightbend and Alan Ngai, co-founder of OpsClarity and now VP of cloud services at Lightbend to learn more about this new partnership.
-
Java Type Inference Won't Support Mutability Specification
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.
-
Idris Getting Close to Version 1.0
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.
-
The Road to Javaslang 3.0
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.
-
Enterprise Development Trends 2016: A Survey of JVM Developers by Lightbend
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.
-
Racket 6.7 Brings Android App Support, Improved REPL, and More
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 Presents F# Design Principles at .Net Fringe
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.
-
Open-Source OCaml to JavaScript Compiler BuckleScript Hits 1.0
BuckleScript 1.0 brings almost full compatibility with OCaml features and an improved FFI with the aim of avoiding writing unsafe JavaScript stubs. InfoQ has spoken with Bloomberg’s Hongbo Zhang, BuckleScript creator at Bloomberg.
-
Retrospective: Haskell in Production
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.
-
The New Scala Center Focuses on Education and the Scala Community
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 Brings New Language Features, APIs, and Improved Tooling
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.spec is a New Contract System for Clojure
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.
-
Chez Scheme Native Compiler now Open Source
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 6.5 Brings Improved Typed Racket, Faster Iteration, and More
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.