Launched in 2016, Habito is transforming the mortgage industry through innovation and cutting-edge technology. We are the UK's free online mortgage broker and we have developed a simple, honest and transparent way to help people get the best mortgage possible. We are building a brand synonymous with great customer service, ease and transparency. No jargon, no fees and no misinformation.
We have an impressive list of backers including Atomico, Ribbit Capital and Mosaic Ventures, with angel investors including Transferwise Chairman Taavet Hinrikus, Funding Circle founder Samir Desai, and influential tech investor Yuri Milner.
Our team is super-smart, ambitious, collaborative and friendly. We work hard, play hard and learn fast. This is a great opportunity to help steer, shape and mould our business.
Our core development values are strong; static typing, correctness, rigorous automation and elimination of boilerplate. We've built a stack of Haskell, PureScript and event-sourced PostgreSQL, leaning on both core tools like GHC, its extensions and powerful libraries like lenses, generics and conduits to enable us to solve the interesting problems quickly whilst abstracting away the boring ones.
Are you excited? Come and make your home at Habito!
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
Featuring Tom Harding
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
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
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
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
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
Workshop: Nix & Haskell: From Hello World To Deploying To Production
Featuring Tobias Pflug
The Nix/NixOS project is constantly growing in popularity and reach, and there is considerable overlap between the Haskell and Nix communities. What Nix shares with Haskell is that it isn't known to be easy to pick up and learn. Yet, again like Haskell, it is a very powerful tool.haskell tooling nixos nix