garrettmills
/
gcdt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
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.
9 Commits
1 Branch
0 Tags
243 KiB
 
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Go to file
Garrett Mills 85a315ee5a
Start example GCDT for Int 		2 years ago
alloy Start example GCDT for Int 2 years ago
doc Import blog post 2 years ago
.gitignore Initial commit 2 years ago
LICENSE Initial commit 2 years ago
README.md Import blog post 2 years 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