On the other hand the example on the landing page looks very close to what I can do with Pulumi (in Typescript) already.
This appears to be using application code to derive infrastructure config automatically. It’s a but like the https://www.shuttle.rs/ approach.
Edit: after taking a deeper look, a more accurate description might be that it allows you to embed application code within IAC.