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 -
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 -
The Scope of Algebraic Effects
Featuring Nicolas Wu
Effect handlers are a clean way of describing various effects in a principled and modular way. The approach models the syntax and semantic of operations, where syntax is given by a free monad, and the semantics is given by a handler. Traditionally, the operations must be algebraic in that they...
haskell effect-handlers free-monad -
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 -
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: 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 -
This Ain't Your Daddy's Probability Monad - Modelling Probabilistic Time in Haskell
Featuring Lars Brünjes
It is well known that (discrete) probability distributions can be implemented as monads in Haskell in various more or less sophisticated ways.
haskell network-modelling time probability monad -
Cleaning the Big Picture: Creating Maintainable Mobile Games in Haskell
Featuring Christina Zeller
As game-app developers, you want to create many games that are easy to maintain.
haskell clean-code ios android mobile game-apps -
Gazing into the Void: Understanding Space (Leaks)
Featuring Matthew Pickering
Passing by any online Haskell meeting place you'll hear questions about why a program doesn't type check but seldom about why a program is a memory hog. It's widely assumed that the compiler will make your program fast enough and use a reasonable amount of memory.
haskell tooling memory-usage-of-programs -
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