George Leontiev
George became interested in Scala right after he graduated from university. As soon as the opportunity presented itself, he switched to full-time Scala programming, and has never looked back. Nowadays he's working on backends at SoundCloud, and contributing to opensource on his free time.
Talks I've Given
-
42: Rise of the dependent types
Featuring George Leontiev
Scala is a language with a very sophisticated type system. It is even said to be the "poor-man's prolog". As part of his hacker-time (20% time program) at SoundCloud, George collaborated with Eugene Burmako to explore the possibility of adding an accessible way to use literal-based...
scala types -
There's a Prolog in your Scala!
Featuring George Leontiev
This talk aims to shed some light on how Scala's type-level programming is essentially logic programming, and give reasoning for code, comprising 8+ implicit parameters with funny names (FnHipsterAux).
scala logic-programming scalax functional-programming
George became interested in Scala right after he graduated from university. As soon as the opportunity presented itself, he switched to full-time Scala programming, and has never looked back. Nowadays he works at SoundCloud on their scala backends, and experiments with scala compiler in the evenings and on his 20% time.