Signify Technology
Signify Technology is the only tech recruitment company to specialise purely in Scala. Our aim is to help the Scala community to grow whilst giving back to the community. We are sponsoring many key Scala events around Europe & the USA. Signify provide permanent and contract technology recruitment solutions to a wide range of the world's leading brands who are using Scala at scale.
We are currently helping brands across 17 countries, some of the clients that already trust us include- Lightbend, Twitter, Xing, Zopa, ITV, Zalando, OVO Energy, Rally Health, Getty Images and many of the world’s fastest growing start-up’s. Behind each piece of technology changing the world, is a person, it's our mission to introduce them to the companies that need them the most. We look forward to meeting you, come over say hi to the team and grab some merchandise.
-
Lightning Talk: Making and Testing Code Generators in Haskell
Featuring Michał Gajda
Michał and the Migamake Pte Ltd team are currently making an open source library to help produce code generators in Haskell. It facilitates generating code with syntax-checked templates and unit testing with smaller and more robust tests Michał will go through code generation approaches seen in...
haskell generators -
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 -
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 -
GHC Runtime Linker by Example
Featuring Artem Pyanykh
Linkers are one of the least understood yet widely used software components. GHC, unlike many other projects, has its own rather complex linking facilities in the runtime system that among other things power our beloved GHCi. And while having a custom linker has its benefits there are also...
haskell runtime linker compiler ghc -
A Type-ical Case Study: The Sound Type-Indexed Type Checker
Featuring Richard Eisenberg
This talk will be an exploration of an implementation of a simply-typed λ-calculus using lots of Haskell's fancy types: only well-typed terms can be represented.
haskell well-typed types -
Higher-Order Type-Level Programming
Featuring Csongor Kiss
Thanks to its myriad of extensions, GHC's type system has come a long way in offering a powerful language for expressing complex programs at the type-level.
type-level-programming haskell ghc types -
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 -
Build Systems à la Carte
Featuring Andrey Mokhov
Build systems are used by every developer around the world but are rarely the object of study.
shake bazel dune nix haskell build-systems