Member since 5 months
Andrew leads a team of software developers at REA Group who use Scala (amongst other technologies) to build systems that allow real estate agents to promote properties listed on realestate.com.au.
He has experience with Scala, Haskell, and Idris, and is an advocate for pushing the limits of how type systems can be leveraged to increase confidence in software correctness. He is the author of an internal framework, http4eff, used at REA to write HTTP-based micro-services with type-level tracking of side-effects using the Eff library. He is also the author of http4idris, a Free/Open Source HTTP server library that uses dependent types in Idris to provide stronger guarantees about correctness.