Post #1464074

2026-03-07 17:10 UTC

@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.

Replies (3)

@jfdm@discuss.systems 2026-03-07 17:40

@jschuster @shriramk @cross @lindsey @krismicinski@types.pl @csgordon @jeremysiek well that’s what I’m hoping to help chip away at.

Open ##1464076
@shriramk@mastodon.social 2026-03-07 18:00

@jschuster @jfdm @cross @lindsey @krismicinski @csgordon @jeremysiek I think you're thinking about this incorrectly. Agentic coding seems to work best when it can get feedback. So you don't need to generate code. You just need to check it against the behavioral spec. I conjecture that tools for AI will actually generate BIG error messages, because people won't read them but the AI will, and the more info it can give as to what went wrong, the quicker the AI can fix the code to pass the check.

Open ##1464077
@shriramk@mastodon.social 2026-03-07 18:00

@jschuster @jfdm @cross @lindsey @krismicinski @csgordon @jeremysiek We may *finally* have a use for session types!

Open ##1464082