Post

Michael Kochell
@kochell.dev

This article explains types being used to represent domain-specific constructs (e.g. ApprovedOrder). It mentions languages that allow for this, though I wish it touched on TypeScript's "branded types" approach that can do this. Especially if symbols are used, it can be a similarly controlled system.

blog.bencope.landWhere the Compiler StopsGoogle recently published a piece titled "Why Go is an ideal language for AI-assisted software engineering." I recommend giving it a read. It makes a compelling, practical point that anyone building p...

0 reposts0 likes

Michael Kochell
@kochell.dev

To be clear, the article is comparing the benefits of different compiler behaviors/features across languages, and seems to favor certain languages over Go because it lacks some of these domain-specific abstractions. And I think TypeScript's branded types belongs in the discussion as well.