---
layout: feed_post
title: "Generalized Commutative Data Types"
slug: 5b0527ef-1792-4624-a220-9a910d7e0230
date: 2022-12-09 11:00:00
tags: feed
permalink: /feed/2022-12-09-generalized-commutative-data-types/
feedtags:
  - Blog Post
---
<p>
    Recently, I've been working on a distributed, parallel language called
    <a href="https://github.com/swarmlang" target="_blank">Swarm</a>. One challenge
    with such a language is ensuring consistent data operations when they are performed
    in parallel.
</p>

<p>
    A GCDT is one approach to simplify this process. Such types define commutative and
    pseudo-commutative operations which allow order-agnostic consistency when accumulating
    parallel computations.
</p>
<p>
    I describe such a system and explore its limitations in
    <a href="https://garrettmills.dev/blog/2022/12/09/Generalized-Commutative-Data-Types/" target="_blank">this blog post</a>.
</p>