Functional Roundup for August 2, 2017

Functional Roundup for August 2, 2017

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

Scala 2.12.3 released

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.

Idris 1.1.0 released

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.

typelevel scala 4

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:

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!

Jon Pretty:

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


Roland Kuhn:

Roland Kuhn presented Akka Typed at Scala Wave 2017. You can watch the video here:


Miles Sabin:

Miles Sabin presented Typelevel 2017 at Scala Wave 2017. You can watch the video here:



Upcoming Events:

Scala at the Sea

  • August 8, 2017
  • Curalate - Seattle, WA

Lambda World 2017

  • October 26 - 27, 2017
  • Palacio de Congresos - Cádiz, Spain


  • November 2 - 3, 2017
  • CPE School - Lyon, France

Have a news tip for us? Tweet to us @47deg or send to us via email here.

Ensure the success of your project

47 Degrees can work with you to help manage the risks of technology evolution, develop a team of top-tier engaged developers, improve productivity, lower maintenance cost, increase hardware utilization, and improve product quality; all while using the best technologies.