Post #1407454
2026-03-07 16:59 UTC
@jschuster @shriramk @cross @lindsey @krismicinski@types.pl @csgordon @jeremysiek well some of us like behavioural (& other substructures) types and acvitivity and interaction diagrams (really models) provide a nice end user view of what the types should look like.
Replies (2)
-
@jschuster@hachyderm.io 2026-03-07 17:10
@jfdm @shriramk @cross @lindsey @krismicinski @csgordon @jeremysiek Fair! I like those types also (Mailbox Types is what I wish my dissertation had been). My experience has been that source code->UML diagram works well in some cases, but not the other way around. But happy to be proven wrong.
-
@shriramk@mastodon.social 2026-03-07 17:54
@jfdm @jschuster @cross @lindsey @krismicinski @csgordon @jeremysiek Yeah, I was actually thinking of the behavioral, not the structural, parts (-:.