Please log in to watch this conference skillscast.
A static pointer can be thought of as the address of symbol in a program. Their primary use lies in the fact that they can always be serialized and hence sent across a network; thus, while we cannot send a Haskell function over a network, we /can/ send a static pointer to that function. This makes them very useful in distributed frameworks such as Cloud Haskell (an library for Erlang-like distributed programs) and Sparkle (Haskell bindings to the Apache Spark cluster computing framework). In this talk, you will learn how static pointers work, what kind of infrastructure we can define on top to make working with static pointers more practical, and outline some use cases.
Static Pointers, Closures and Polymorphism
Edsko received his PhD in type systems for functional programming languages from Trinity College in 2008. After that he worked as a postdoctoral researcher proving properties of concurrent programs, before joining Well-Typed as a Haskell Consultant in 2012. As a consultant he has worked on many projects, both proprietary and open source, including Cloud Haskell, Sparkle, and the Hackage Security library. He also teaches Haskell around the world and blogs frequently on advanced Haskell programming topics.