Version 15.0.0 of the standard released 🎉

The highlights are:

  • You can now assemble records more easily with support for record “puns”

    In other words, { x, y } is now syntactic sugar for { x = x, y = y }, which comes in handy when packaging several let bindings into a record

  • There is a new with keyword for nested record updates:

    record with { a.b.c = 1 }
    
  • Prelude.JSON.render now pretty-prints the rendered JSON

  • Quoted URL path components are now deprecated in favor of percent-encoding

You can find the full changelog here: https://github.com/dhall-lang/dhall-lang/releases/tag/v15.0.0

5 Likes