Linear Homotopy Type Theory and the First Topological Quantum Computing Programming Language
Type Theory married Homotopy Theory. Classical programming languages are cartesian closed...
Tag archive
Type Theory married Homotopy Theory. Classical programming languages are cartesian closed...

This follows up on Mainframes, Monads, and Stack Machines. Short version of that post: we model...

// 1. The Classic Way export default function CompName(){return (<>...</>)} // 2. The...

Q1. Converting a string to Camel Case in JavaScript CamelCase is a string formatting style in which...
Java — Lambda expressions, Functional interfaces, Stream API Today, you can do Java functional...

I'm building a text editor for constructed languages. The kind of thing where you define phonological...

Architecture overview and core concepts The Krestianstvo Wavefront Evaluator is a deterministic...
Cats-Actors is a typed actor library built on top of Cats Effect. With the 2.1.0 release it now runs...

Chapter 1: The Problem with Mutable State in Angular Introduction: Why Functional...

Many Go libraries borrow ideas from functional programming, usually Either, Result, and Option, to...

Error handling in Go has been debated for years. Many developers appreciate the explicit and...

Software systems fail. A background job crashes, a request throws an error, or a small bug causes...