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!
Workshop: Build a RESTful Room-Booking Server Using Servant and Aeson
Featuring Ben Clifford
Many, many services on the internet provide APIs that are RESTful. They use HTTP and JSON, widely supported technologies, to give a standard way of accessing whatever each service provides - from uploading adverts on Facebook to plugging a bot into a Slack channel.aeson servant hands-on rest haskell
Lightning Talk: Superior String Spaghetti with PureScript
Featuring Justin Woo
With PureScript 0.12's addition of Symbol Cons and instance chains (groups), you can extract type information from Symbols. In this talk, Justin will present a way to extract record type information from a SQL query by synthesizing a row type.haskell haskellx purescrit
Lightning Talk: Marlowe: An embedded DSL for Implementing Financial > Smart-Contracts in Crypto-Currencies
Featuring Pablo Lamela-Seijas
When writing down the terms of a financial contract it is easy to make mistakes. When the contracts are written on top of a blockchain, without a human judge, those errors are usually irreversible and can lead to the loss of large amounts of money, as it happened with the infamous DAO bug.crypto-currencies haskellx haskell
A Promise Checked is a Promise Kept: Inspection Testing
Featuring Joachim Breitner
Some high-quality Haskell libraries, including old friends likehaskell library-design optimization testing
textand new kinds on the block like
generic-lens, promise that the abstractions provided by these libraries are actually free and will be completely dissolved by the compiler. In the case of
textthe promise is that certain...
Lightning Talk: Proving your Haskell Code Correct with Lean
Featuring Robin Green
Lean is a theorem prover that supports core Haskell features like type classes and monads, and also lots of goodies like dependent types and tactics for proof automation. In this talk Robin will demo using Lean to prove that some functional code always obeys a specification, using more or less...haskell lean haskellx
Lightning Talk: Rethinking Freeness through Universal Algebra
Featuring Marcin Szamotulski
Freeness is a well defined concept in the mathematical discipline called Universal Algebra. It translates to Haskell surprisingly well and it gives a nice interface for many free structures of various kinds: like semigroups, monoids; functors, applicative functors, monads, state monads;...haskellx haskell
Lightning Talk: You'll Love Id!
Featuring Gabor Greif
The functionid haskellx haskell
idis one of the most simple ones you can imagine, but its has some very useful applications when fitting into an existing ecosystem. This talk will introduce some surprising cases, and hopefully bringing us to a formulation of power series.
Keynote: Liquid Haskell: Theorem Proving for All
Featuring Niki Vazou
Formal verification has been gaining the attention and resources of both the academic and the industrial world since it prevents critical software bugs that cost money, energy, time, and even lives. Yet, software development and formal verification are decoupled, requiring verification experts to...keynote haskellx haskell
Keynote: Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language
Featuring Simon Peyton Jones
Linear type systems are more often talked about than used. I have long thought that we should be able to use linearity to improve the expressiveness and efficiency of functional programming languages, especially Haskell. But I always got lost in a deep swamp of exclamation marks and upside down...ghc functional-programming linear-type-systems keynote haskellx haskell
Workshop Continued: Build a RESTful Room-Booking Server Using Servant and Aeson
Featuring Ben Clifford
Many, many services on the internet provide APIs that are RESTful. They use HTTP and JSON, widely supported technologies, to give a standard way of accessing whatever each service provides - from uploading adverts on Facebook to plugging a bot into a Slack channel.haskell hands-on-rest servant aeson