Signify Technology
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 -
Functional Lenses Through a Practical Lens
Featuring Sara Fransson
In the greater Haskell ecosystem, as well as in various industry codebases, libraries sometimes provide lens based APIs. One of the great promises of lenses is to make it easy and smooth to work with Haskell's immutable data structures.
optics lenses haskell -
Categories and State Machines
Featuring Marcin Szamotulski
Marcin will give a short introduction to categories in Haskell, and he will present free construction of categories which embrace monadic actions and their usefulness to build state machines in Haskell.
haskell state-machines kleisli-categories categories -
What To Do When You Have Plenty of (Non-)Haskell
Featuring Mathieu Boespflug
Codebases are hard to build. Someone somewhere invariably wants to write custom code preprocessors and generators. Teams each use their own mix of languages (Haskell, C/C++, Rust, Java{Script}, Python...). Changing code induces a lot of rebuilding and GHC requires so much CPU power that it would...
bazel build-systems haskell ghc codebases -
Keynote: Revisiting Pattern Match Overlap Checks
Featuring Simon Peyton Jones
How hard can it be to spot missing or overlapping patterns in a Haskell function definition? Surely it’s the least we can expect from a decent compiler? But when you mix in GADTs, pattern guards, view patterns, data families, strict data constructors, and pattern synonyms, matters get...
pattern-matching refactored-implementation gadt ghc haskell -
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 -
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 -
Porcupine: Flows Your Rows with Arrows
Featuring Yves Parès
This talk aims at presenting the porcupine Haskell library and more generally the advantages of using a more constrained framework (in this case, arrow-based) than pure functions and monads to represent parameterizable data pipelines in Haskell.
haskell constrained-framework data porcupine -
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 -
Fixing Haskell Records
Featuring Neil Mitchell
Sadly, Haskell records aren’t very good - problems include that field names must be unique and that record updates are not very expressive. A variety of solutions have been proposed over many decades, but none has gained traction. The closest answer Haskell has is the lens library, which famously...
records haskell daml