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
andData.SortedSet (contrib)
, most notablymerge
, merging two maps by theirSemigroup
op (<+>) - New instances:
- Added
Catchable
forReaderT
,WriterT
, andRWST
- Added
MonadTrans
forRWST
- Added
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:
___
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:
- August 8, 2017
- Curalate - Seattle, WA
- 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.