Tag

tdd

Mastering Typed Programming

From Programming with Types by Vlad Riscutia


slideshare-mastering-typed-programming

Interactive Editing in Atom

From Type-Driven Development with Idris by Edwin Brady

In this article, we’ll begin writing some complex Idris functions, using its interactive editing features to develop those functions, step by step, in a type-directed way. We’ll use the Atom text editor, because there’s an extension available for editing Idris programs, which can be installed directly from the default Atom distribution. This article assumes you have the interactive Idris mode up and running.

© 2019 Manning — Design Credits