Spotlight on Bartosz Milewski
When: Friday, October 27th - 13:30
Midday Keynote: Profunctor Optics: The Categorical Approach
The Haskell lens library offers fine-grain declarative access to immutable (persistent) data structures. Its main attraction is that it’s compositional: you can focus on substructures of larger structures simply by composing polymorphic higher-order functions. Its most general formulation is known as profunctor optics. In his keynote, Bartosz will talk about the categorical foundation of profunctor optics.
If you are unfamiliar with optics, you might consider taking the beginner optics workshop on Thursday, October 26th at 17:00.
Bartosz was educated in Poland, where he got his PhD in Theoretical Physics. He had several postdoc positions in Europe and the United States. Then, he suddenly found himself working for Microsoft designing and implementing a search engine. After he quit Microsoft, he started his own micro company, Reliable Software, which makes a distributed version control system. He wrote a book, C++ in Action, Industrial Strength Programming in C++. He started digging into Computer Science, enlisting in graduate courses at the University of Washington. After becoming fascinated with multithreading, he joined Walter Bright and Andrei Alexandrescu in designing and implementing the D programming language. His interest in C++ template metaprogramming and concurrency naturally lead him to Haskell, and then to category theory.
Dr. Bartosz has a treasure trove of instructional videos on his YouTube channel covering everything from C++ and Haskell to going in-depth on Category Theory. Start watching here: Dr. Bartosz Milewski on YouTube.
Fun fact: Bartosz uses the name Mark when he orders from Starbucks, no explanation needed on that decision.
For more on Bartosz, visit:
About Lambda World:
Lambda World takes place October 26th - 27th, in Cadiz, Spain and is hosted by 47 Degrees in conjunction with the Scala and Java communities of Spain. The event is located at the Palacio de Congresos, an old tobacco factory near the beach. You can find more details at Lambda.World.