Typelevel Summit Oslo, 4th May

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Typelevel Summit Oslo, 4th May

Miles Sabin
The Typelevel family of projects has seen a huge amount of activity since the creation of the Cats project in 2015, and now we're organizing a series of events and hack days to build on that. The first of these was in Philadelphia, colocated with NEScala, at the beginning of March and was a huge success ... there are photos from the event and and videos of the talks will appear on the Typelevel YouTube channel shortly.

The second event will be on Wednesday the 4th of May, the day after and colocated with flatMap(Oslo). There will be a one day Typelevel Summit including talks, discussion and hacking, focussed on the Typelevel projects. If you're going to be in Oslo for either flatMap or the Typelevel Summit you should really attend both!

We have a really exciting schedule shaping up. Dr. Eugenia Cheng, author of the gentle introduction to category theory How to Bake Pi, will be giving the keynote and we have talks on refinement types, functional IO and free monads already lined up. The full programme of ten Typelevel related talks will be available over the next few days.

Whilst many of the Typelevel projects use somewhat "advanced" Scala, they are a lot more approachable than many people think. A major part of Typelevel's mission is to make the ideas they embody much more widely accessible and to present them in a friendly, welcoming and safe environment. So, if you're interested in types and pure functional programming and want to make those ideas commonplace, then this is the event for you ... sign up and we'll see you there!

Cheers,


Miles

--
Miles Sabin
tel: +44 7813 944 528
skype: milessabin
gtalk: [hidden email]
http://milessabin.com/blog
http://twitter.com/milessabin

--
You received this message because you are subscribed to the Google Groups "scala-announce" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.