Seven Scribbles in Compositionality

Featuring Irene Papakonstantinou

You've been meaning to read some clever books, but you've been too lazy, and they're all too big. You might all be Haskell developers (or Haskell enthusiasts), but what on earth is a preorder? Why should anyone care?

haskell categorytheory

Polysemy: Chasing Performance in Free Monads

Featuring Sandy Maguire

haskell monads

Well-Typed Communication Protocols

Featuring Duncan Coutts

Concurrency is still hard. Building distributed applications using message passing is still hard. Application-specific message passing protocols are often specified in an informal and ad-hoc way (if at all), with very little support from the programming language or tools. This sets things up for...

types state-machines message-passing network protocols distributed-systems haskell

Lightning Talk: The Elm Architecture in Haskell: Managing state with multiple threads

Featuring Marcelo Lazaroni

Elm is a pure functional language for the front-end. It enforces an architecture that allows programs to stay pure in an event-based setting.

haskell architecture elm fp

Lightning Talk: The Anatomy of an X-GRIN Back End. Showcase: Idris.

Featuring Andor Penzes

In this talk, Andor is going to discuss the anatomy of GRIN as a compiler back end by showcasing the main challenges the grin team had to overcome when implementing.

haskell abstract-interpretation compiler-construction

Lightning Talk: Generating Castles for Minecraft™ using Haskell

Featuring Tim Williams

Tim has recently started playing Minecraft with his kids but quickly found himself wanting to generate larger structures using code.

lenses games dsl haskell monoids mindcraft

JavaScript for Idris Developers

Featuring Tom Harding

It's easy to think in your endless 9-to-5 that Idris is all there is: it's your backend, frontend, mobile apps, and endless libraries to learn each week. It's about time someone asked: what can you learn from academia?

haskell type-system ramda.js idris javascript

Lightning talk: Evolving an Entity-Component Game Engine in Haskell

Featuring Tom Johnson

Videogame logic and architecture has some interesting requirements that don't suit either traditional functional or object-oriented paradigms. Entity/controller systems have arisen as an alternative paradigm, implemented atop traditional languages, to help solve these problems.

haskell types entity

Lightning Talk: The Power Of Const

Featuring Markus Hauck

At first glance, the Const newtype looks nonsensical. But as it turns out, this humble newtype has a lot of interesting things going for it. This talk will look at some of the surprising usages of Const and show you that there is a lot of cool stuff going on.

haskell fp const datatypes functors

Keynote: Haskell is a Great Host

Featuring Gabriele Keller

Haskell is a great host language for embedded domain specific languages, not least thanks to extensions like generalised algebraic data types, type families, and Template Haskell.

variable-binding pattern-matching accelerate type-system haskell functional-programming

Lightning Talk: Ideas for Future Haskell Tooling

Featuring Csaba Hruska

The Haskell ecosystem mostly consists of loosely connected tools e.g. editor, compiler, REPL interface, profiler. However, it would be beneficial for the programming experience if these tools were tightly integrated. The optimizer and the language runtime could provide valuable information for...

haskell ux programming-environment optimization tooling

2

Lightning Talk: Manufacturing Circuit Boards with Robots and Haskell

Featuring Oliver Charles and Andrew Seddon

Oliver and Andrew will demonstrate the use of Haskell to control industrial robots in a real-world manufacturing environment. They will also show that Haskell can be used to interact with the state-of-the-art general-purpose planning library "Fast Downward" to find optimal plans for...

haskell realworld-haskell planning robots

Lightning Talk: Why I No longer Use Haskell

Featuring Tom Nielsen

haskell functional-programmig

Principled Testing of Functional Reactive Systems

Featuring Henrik Nilsson

In pure functional programming, testing is greatly facilitated thanks to referential transparency guaranteeing exact reproducibility. Principled techniques such as property based testing have proved to be particularly effective. However, once you get to whole programs or entire systems, nothing...

full-reproducibility cross-platform-testing-frameworks property-based-testing frp functional-reactive-programming haskell

Turbocharging Azure DevOps with Octopus Deploy

Featuring Derek Campbell

Often, organisations and members of the Dev and Ops teams have automated the build & test but still, need to deploy manually and often out of hours.

Azure DevOps and Octopus Deploy go together like cheese and crackers and are easily integrated and can be used to deploy to Azure IaaS &...

devops nuget deployment octopus-deploy azure-devops azure

Pragmatic Memory Management

Featuring Anatoly Zhmur

When we talk about allocations, we have basically two truth: allocations are really fast - and don't allocate if you haven't to. The practical trade-off is between writing easy allocate-y code, and improving it with different methods - which make it harder to write and maintain but...

optimisation memory-management c# .net

Improving Productivity of Project Controls by 50% Using Advanced Data Analytics

Featuring Martin Paver

Definition: “Project Controls are the data gathering, data management and analytical processes used to predict, understand and constructively influence the time and cost outcomes of a project or programme; through the communication of information in formats that assist effective management and...

data data-analytics

Prisoner's Dilemma Coding dojo with Tomas Petricek

Featuring Tomas Petricek

We will spend the evening writing game strategies for the "iterated prisoner's dilemma" problem. This is a simple round-based game with two players. In each round, each player can choose to cooperate with or betray the other play. If you betray but the opponent cooperates, you win 3...

f# machine-learning. game-theory dojo

Design Your Authentic Personal Style for the Workplace

Featuring Rachel Kempinska-Smith

Rachel Kepinska-Smith, Image Consultant with House of Colour, will be demonstrating how to use colour and personal style to enhance your credibility, visibility and authority in the workplace.

leadership diversity empowerment career

Why We Choose React for a Large Scale Financial Trading Platform

Featuring Keith Bloom

In this talk, Keith Bloom will illustrate why React is increasingly being leveraged to build zero-failure trading platforms, for the biggest investment banks and financial institutions in the world. We'll start from altitude, looking across multiple teams spanning hundreds of developers -...

architecture frontend react