Tag

Types

Building and Using Topologies

From PostGIS in Action, Third Edition by Leo S. Hsu and Regina O. Obe

In this article, you’ll learn what a topology is, how to build a topology from scratch, and how to use commonly available geometry data.

Anonymous Functions in Practice

From Get Programming with Scala by Daniela Sfregola After reading this article, you will be able to: § Implement anonymous functions § Code using the concise notation for anonymous functions   Take 37% off Get Programming with Scala by entering… Continue Reading →

Mastering Typed Programming

From Programming with Types by Vlad Riscutia


slideshare-mastering-typed-programming

Type-Level Functions: calculating types

From Type-Driven Development with Idris 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.

 

A First Example of Dependent Data Types

From Type-Driven Development with Idris by Edwin Brady

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

© 2021 Manning — Design Credits