Functional Roundup for August 2, 2017

by Maureen Elsberry
•
August 02, 2017
•
functional roundup• scala• idris• typelevel
|
4 minutes to read.

Here are some of the latest updates, projects, talks, articles, and events in the Functional Programming community:

On Wednesday, July 26th, Scala 2.12.3 was released.

According to the release, the update features a significantly improved compiler time, a new optimizer setting, and improved support for implicit macros.

Other changes include:

5978 - Avoid calling static initializers when reflecting on Java classes
5964 - New setting -opt-inline-from to control where to inline from
5848 - add per-phase profiling to scalac
5879 - -Xlint:unused - Ywarn-unused is intuitive
5931 - Upgrade to jline 2.14.4

Read the full release notes here: Scala 2.12.3.

Tuesday, August 1st saw the release of Idris 1.1.0.

According to the release, updates include:

Added Text.PrettyPrint.WL, an implementation of the Wadler-Leijen Pretty-Print algorithm.
Added utility functions to Data.SortedMap and Data.SortedSet (contrib), most notably merge, merging two maps by their Semigroup op (<+>)
New instances:
- Added Catchable for ReaderT, WriterT, and RWST
- Added MonadTrans for RWST

View the complete list of changes here: Idris 1.1.0 released.

On Wednesday, August 2nd, Miles Sabin announced the availability of Typelevel Scala 4 for Scala 2.11.1, 2.12.3, and 2.13.0-M2.

Some of the features in this release include:

5649 - Faster compilation of inductive implicits (by Miles Sabin
5350 - Configurable default imports (by Andy Scott
5617 - Exhaustivity of extractors, guards, and unsealed traits (by Greg Pfeil
5245 - Trailing commas (by Dale Wijnand

As usual, the new features exist as a PR against Lightbend Scala and are being considered for merging.

View the full list of changes here: Typelevel Scala 4 released.

Bonus: Also announced is the release of Shapeless 2.3.1 for Scala 2.13.0-M2

Additional great content and news:

Suggested information to digest this week:

The functional programming community has no shortage of excellent conferences, talks, and articles. Here are just a few that were released that we recommend checking out if you missed them the first time. Scala Wave 2017 edition!

https://www.youtube.com/watch?v=vreGxw6tbYU

Jon Pretty:

Jon Pretty presented Impromptu: Dependently-Typed Async at Scala Wave 2017. You can watch the video here: