Musings on Generalized Commutative Data Types
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Garrett Mills 85a315ee5a
Start example GCDT for Int
12 months ago
alloy Start example GCDT for Int 12 months ago
doc Import blog post 12 months ago
.gitignore Initial commit 12 months ago
LICENSE Initial commit 12 months ago
README.md Import blog post 12 months ago

README.md

garrettmills/gcdt

Musings on Generalized Commutative Data Types

A “commutative data type” is one whose value is modified by a set of operations whose execution order is irrelevant. Such data types are useful in distributed & parallel systems which employ accumulator-style execution (i.e. many jobs perform a calculation then merge their result into a single, shared value).

This repo contains my writings and miscellaneous models for these data-types.

Table of Contents

  • doc - Blog-posts & write-ups in Markdown format
  • alloy - GCDT models & theorems for the Alloy model checker

License

This work by Garrett Mills is licensed under CC BY-NC-SA 4.0