O'Reilly
O'Reilly spreads the knowledge of innovators through its technology books, online services, magazines, research, and tech conferences. Since 1978, O'Reilly has been a chronicler and catalyst of leading-edge development, homing in on the technology trends that really matter and galvanizing their adoption by amplifying "faint signals" from the alpha geeks who are creating the future.
An active participant in the technology community, O'Reilly has a long history of advocacy, meme-making, and evangelism. www.oreilly.com
-
Welcome to Gamecraft!
Registration & Welcome to Gamecraft!
software-development gamecraft game-design game-engine game-development -
Strongly Typed Publish/Subscribe over Websockets via Singleton Types
Featuring Oliver Charles
Haskell is a language known for its type safety, but just how far can the type system go? In this talk, Oliver will demonstrate how a publish/subscribe protocol implemented over Websockets has grown from using little type information and progressed to well-typed sessions through the use of...
haskell types websockets -
Park Bench Panel Discussion
The Haskell eXchange wraps up with a park bench discussion on various topics around the Haskell ecosystem.
haskell -
2
Structural Typing for Structured Products
Featuring Tim Williams and Peter Marks
Join Tim WIlliams & Peter Marks from Barclays for a talk on structural typing for structured products.
haskell functional-programming -
Rest - Building APIs Easily
Featuring Erik Hesselink
At Silk, we have an external REST API that people can use to interact with our product. We also have internal services that talk to each other using REST APIs. These all follow a similar structure: there are resources (users, pages), and actions to perform on them (list, get, update, delete). For...
haskell functional-programming rest api gadt haskellx -
2
Coping with change: data schema migration in Haskell
Featuring Adam Gundry and Chris Dornan
It's all very well to write a beautiful RESTful web service in Haskell, but software development is an inherently dynamic activity with your specs in constant flux. We need to be able to constantly revise the API specs and data schema, communicating changes to the whole engineering team,...
haskellx haskell functional-programming schema dsl migration -
Performance Measurement and Optimization in Haskell
Featuring Bryan O'Sullivan
In this talk, I'll discuss performance measurement and optimization in Haskell from the perspective of a library or application programmer.
haskell functional-programming performance -
Safe, Zero-Cost Coercions in Haskell
Featuring Simon Peyton Jones
Newtypes are the key to data abstraction in Haskell, and come with an crucial performance guarantee: it doesn’t cost anything to use a newtype.
haskell functional-programming -
Opening & Welcome
Featuring Andres Löh
Programme Lead for the Haskell eXchange and tech leader Andres Löh opens the day's proceedings .
haskell haskellx