Static Pointers, Closures and Polymorphism
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.
YOU MAY ALSO LIKE:
- Lazy I/O and Alternatives in Haskell (SkillsCast recorded in July 2013)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Fireside chat: Martin Odersky & Simon Peyton Jones (SkillsCast recorded in December 2018)
- Liquid Haskell: Theorem Proving for All (SkillsCast recorded in December 2018)
Thanks to our sponsors
Static Pointers, Closures and Polymorphism
Edsko de Vries
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.
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.
YOU MAY ALSO LIKE:
- Lazy I/O and Alternatives in Haskell (SkillsCast recorded in July 2013)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Fireside chat: Martin Odersky & Simon Peyton Jones (SkillsCast recorded in December 2018)
- Liquid Haskell: Theorem Proving for All (SkillsCast recorded in December 2018)
Thanks to our sponsors
Static Pointers, Closures and Polymorphism
Edsko de Vries
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.