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
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
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
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
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
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