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!
Haskell eXchange 2018
Two days in London
Back for a seventh installment, the Haskell eXchange is an annual conference created for and by the Skills Matter community. An opportunity for Haskellers to meet, learn and share skills, discover emerging technologies and help evolve the Haskell ecosystem. Everyone is welcome to join, whether...haskell haskellx types functional-programming
Data Science in Haskell: Solutions and Challenges
Featuring Tom Nielsen
Data science has emerged as "the sexiest job of the 21st century" - but can existing data science infrastructure and ecosystems live up to that title? Many data scientists use dynamically typed languages such as Python, or R. In the Haskell community, you know that functional...haskellx haskell data datascience
Change in an Immutable World – Taming IO, ST, and the Demons of Unsafety
Featuring David Luposchainsky
In Haskell, everything is immutable – yet you can print to the terminal, read files, and mutate arrays in place. There are many myths about the apparent type system breakouts and compiler hacks necessary to reconcile these principles. But as it turns out, the concepts are not contradictory at...haskellx haskell immutable io
Keynote: Category Theory in Life
Featuring Dr Eugenia Cheng
Category theory can be thought of as being "very abstract algebra". It is thought of as "too abstract" by some people, and as "abstract nonsense" by some others. In this talk, you will discover that while it is abstract, it is far from being nonsense. Eugenia will...haskell haskellx category-theory
Keynote: Compiling without Continuations
Featuring Simon Peyton Jones
GHC compiles Haskell via Core, a tiny intermediate language based closely on the lambda calculus. Almost all GHC’s optimisations happen in Core, but until recently there was an important kind of optimisation that Core really did not handle well. In this talk, you will learn what the problem was,...haskell haskellx types monads compile compiler ghc
Individualisation of Extensible Workflows
Featuring Arie Middelkoop
Imagine you have many small customers with a common problem that can be solved by utilizing a workflow system. This opens a market for a common solution in the form of a process description. However, as customers usually have significant differences in their requirements, the capturing of data...haskellx haskell workflows edsl typelevel-programming attribute-grammars
Fast XML Parsing with Haskell
Featuring Neil Mitchell
Haskell has lots of XML parsing libraries, implemented using different techniques, and offering different levels of performance. In this talk, you will learn why, until recently, even the fastest of these libraries was embarrassingly slow compared to state-of-the-art XML parsers. Neil will share...haskellx haskell performance xml parsing ffi
Lightning Talk: Dependent Maps
Featuring Will Jones
Sometimes you want something a bit more strongly-typed than Haskell's traditional Map and HashMap types. In this talk, you will explore a variety of increasingly-abusive solutions to try and maximise typing whilst minimising boilerplate.haskell dependent-types
Featuring Andrey Mokhov
Are you tired of fiddling with sets of vertices and edges when working with graphs? Would you like to have a simple tree-like data type for representing graphs and manipulating them using familiar functional programming abstractions? In this talk, you will learn a new way of thinking about graphs...haskell haskellx graph algebra