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 2019
Two days in London
Back for its eighth instalment, 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 you...cryptocurrency fp ghc haskell functional-programming types haskellx
Keynote: How to Deploy your Haskell Code Hundreds of Times a Day
Featuring Simon Marlow
Facebook's Sigma system is a Haskell platform used by many different teams, mainly (but not exclusively) for fighting abuse on Facebook. One of Sigma's key features is that code committed to its repository automatically gets deployed to the running servers.keynote sigma-system haskellx haskell
Haskell SpriteKit — A Purely Functional API for a Stateful Animation System & Physics Engine
Featuring Manuel M T Chakravarty
Graphics, animation, and games programming in Haskell faces a dilemma. You can either use existing frameworks with their highly imperative APIs (such as OpenGL, Cocos2D, or SpriteKit) or you waste a lot of energy trying to re-engineer those rather complex systems from scratch. Or, maybe, you can...haskell frameworks bindings spritekit physics animation games
Binding Types à la carte
Featuring Arnaud Spiwack
Imagine you want to write a data type for an abstract syntax tree with binders. You get started, write a function for substitution. Get lost in the renaming story.haskell quantified-constraints category-theory algebraic-data-types binders abstract-syntax-trees
Building a Program from Streams
Featuring Tim Williams
The seminal paper "Why Functional Programming Matters" (Hughes, 1990) demonstrated that better modularity and abstraction can often be achieved by structuring software components in terms of producers and consumers, utilising lazy evaluation and higher-order functions in a pure context....functional-programming haskellx haskell
Authenticated Data Structures, Generically, in Haskell
Featuring Lars Brünjes
"An authenticated data structure (ADS) is a data structure whose operations can be carried out by an untrusted prover, the results of which a verifier can efficiently check as authentic." (Andrew Miller et al.)haskell data-structures free-monads cryptographic-hash-function interpreters-for-free-monads authenticated-data-structures