Type-Level Functions: calculating types

By Edwin Brady

In Idris, types and expressions are part of the same language and you use the same syntax for both. This article talks about type-level functions in Idris and how expressions can appear in types.

Save 37% off Type-Driven Development with Idris with code fccbrady at

Entities and Security: identity matters

By Dan Bergh Johnsson, Daniel Deogun, and Daniel Sawano

This article discusses the properties of the model objects known as
entities and how they function inside the domain model. Knowing about
fundamental DDD concepts such as entities is a great way to start your
Secure by Design journey – here is what you need to know to be ready
to dive in.

Save 37% off Secure by Design with code fccsecure at

Virtualizing the Product Catalog Service with Mountebank

By Brandon Byars

This article discusses how Mountebank lets you to virtualize services for testing individual microservices.

Save 37% off Testing Microservices with Mountebank with code fccbyars at

Slideshare: Passing Arguments to a Thread Function


By Anthony Williams
Save 42% off C++ Concurrency in Action, Second Edition with code slwilliams at

Animation: Apps can be more stable than the infrastructure they run on

By Cornelia Davis

Slideshare: Setting up an HTTPS Imposter


Save 42% off Testing Microservices with Mountebank with code slbyars at

Delving into Nim

By Dominik Picheta

In this article you’ll learn the basics of Nim’s syntax. Learning the syntax is an important first step, as it teaches you the specific ways to write Nim code.

A First Example of Dependent Data Types

By Edwin Brady

In this article, you will learn about defining dependent data types and defining vectors with Idris.

Interpolated String Literals in C#

By Jon Skeet

This article gives a quick recap on string formatting in .NET before going into depth on using the new interpolated string literal feature of C# 6.

Exploring the memoize Function

By Renzo Borgatti

In this article we will explore some concrete examples of the many uses and intricacies of the memoize function from the Clojure standard library.

© 2017 Manning — Design Credits