1st edition
days
hours
minutes
seconds
to share the ideas in an awesome academic/research paper with fellow engineers, programmers, and paper-readers
(or show off code that you wrote that implements these ideas)
What was the last paper within the realm of computing you read and loved? What did it inspire you to build or tinker with?
Come share the ideas in an awesome academic/research paper with fellow engineers, programmers, and paper-readers. Lead a session and show off code that you wrote that implements these ideas or just give us the lowdown about the paper (because of HARD MATH!). Otherwise, just come, listen, and discuss.We are hosting it for first time here at Thoughtworks. And we would love to make it a monthly affair based on the response we would be garnering from you folks
Papers We Love Volunteers
9:30 pm
Welcome to the Papers We Love Event
10:00 pm
Typeclasses as objects and implicits
Mushtaq Ahmed, a renowned Scala enthusiast and a ThoughtWorker will present the paper and create an interesting backdrop to start discussions around the paper.
Haskell has populairzed typeclasses a principled way to add ad-hoc extensions on existing data types. They allow you to 1) add new operations on existing data types and 2) support new data types on existing operations, and thus solve the famous "expression problem".There is a lot of similarily between typeclasses and Java good practices of programming to interfaces and preferring composition over inheritance. The missing link is the implicit dictionary passing which allows haskell to be much more concise and expressive.This paper explains how Scala's implicits provide the missing link, which in turns make objects powerful enough to model most of the use cases of Haskell's TypeClasses. In fact, being just objects, they enable abstracting over type classes which is not possible in Haskell.In this session, we will start with a demo of a generic adder (Monoid) and show how it can be added for arbitrary types using Java's composition techniques. But this leads to exploision of parameters that mars the composition pattern. We will then see how implicits solve this problem.We can then compare it with Haskell's TC. After the session, Typeclasses should no more be a glamorous and difficult to understand concepts.
We hope that you'll read the paperTypeClasses before the meetup.
By: Mushtaq Ahmed
12:00 pm
WrapUp and lunch
ThoughtWorks Technologies Pvt Ltd 6th Floor,Binarius Building Deepak Complex,National Games Road Shastrinagar, Yerawada,Pune, Maharashtra 411006 « Open in Google Maps »
