Advanced Scala Training from Propensive

Advanced Type Mechanics

Scala’s type system is a fundamental bedrock upon which the entire language rests.

Advanced Type Mechanics is a comprehensive study into all aspects of the Scala Type System, treating it as a collection of tools to be utilized for solving common problems, with a focus on how each feature or quirk of the type system may be employed for practical benefit, particularly for API designers, helping us to create software which is correct and also intuitive.

Advanced Type Mechanics combines theory with practical and compelling examples, designed to start small and demonstrate composition into larger examples.

Course material will remain available to view for 30 days after the training session.

Course format

Material will be taught in a classroom environment up to a maximum of fifteen people, alternating between taught sessions of 15-20 minutes each, and self-study sessions of a similar length, with checked exercises to practise new ideas after each session.

Detailed text of the taught material taught material will be available to watch and review during the self-study sessions, if additional review is necessary, and will remain available to attendees for 30 days after each session.

Jon Pretty

Jon has worked full-time as a Scala developer since 2004, and has been heavily involved in the Scala community for as long as it has existed.

He travels extensively, speaking on a variety of Scala topics at many Scala events worldwide, including talks on his open-source libraries and original reseach on subjects such as type inference and the differences between type members and type parameters.

Jon chairs the Scala Center Advisory Board.

Contact Us

Scala One training will be available at a number of public training events, however corporate sessions are also available on request, with an added opportunity to tailor courses to customers’ needs. Please enquire about pricing and availability.

We are also interested in selecting new locations to run training courses.

Please make any enquiries to

Scala One training courses are run by Propensive Ltd, registered in England, no. 6873445.