Stories by danny00

Structured (Synchronous) Concurrency

Microsoft Chooses Exotic “Topological Qubits” as Future of Quantum Computing

Researchers See Twinkle of Promise in Diamond Transistors

Putting Gradual Types to Work

Geometric Algebra – The Matrix Representation of a Linear Transformation

Worlds: Controlling the Scope of Side Effects [pdf]

Investigate better protocols than 9p

Familia: Unifying Interfaces, Type Classes, and Family Polymorphism [pdf]

Bool true/false can be replaced with an enum

Smart References: There and Back Again

After 150 years, we should finally redesign the computer keyboard

Komihash – Fast Hash Function

Comparing Traits and Typeclasses

A tale of intersection types [pdf]

When are enums not a code smell?

Staged Abstract Interpreters [pdf]

Alternatives to Boolean Parameters

Extensible parsing with Earley virtual machines [pdf]

In my language, inverse functions generalize pattern matching

1
2
3
4
5
6
7