1. 34

  2. 4

    Hillel, I wonder if you have seen this project which approaches a similar problem using the tools of Category Theory: https://www.categoricaldata.net/

    1. 3

      I have :)

    2. 3

      On a KeY article on HN, one commenter asked if there’s been any industrial use. A quick search of the site found what was worded like their first use in industry: a migration tool. Thought you might like that evidence you picked a good topic for this post. :)

      1. 2

        This is fantastic, and I’ve come to really similar conclusions having done a few of these projects. This is the first I’ve seen it formally laid out.

        Thank you!