Tech Talk: Total Swift Programming
Tech Talks are in-depth technical discussions. In simple terms, a total function is a function that produces a well defined output for all possible inputs. A total program is a program composed of on...
12 Feb 201853min
Tech Talk: Idris, Proofs and Haskell with Edwin Brady
Tech Talks are in-depth technical discussions. Edwin Brady is the creator of the Idris programming language and Author of the book Type-Driven Development with Idris and a computer science lecturer. ...
29 Jan 201859min
Tech Talk: Domain Driven Design meets Functional Programming
Tech Talks are in-depth technical discussions. In object oriented languages, modeling a complex problem domain is a well understood process. Books like Domain Driven Design contain techniques for bre...
22 Jan 201856min
