Show HN: Encore – Type-safe back end framework that generates infra from code

cool...

btw, on a tangent, I always thought that infra can be defined in typescript types.... is is strange but no need for custom language

someone please steal this idea and make something out of it

Ever tried Pulumi? I myself am allergic to TypeScript, but seems they support using it, among a ton of other languages: https://www.pulumi.com/docs/iac/languages-sdks/javascript/

There already exists many implementations of this idea. CDK, Pulumi and Winglang are the ones that come to mind as probably the most well known.

I literally meant typescript types... i.e. define the types of the solution rather than an algorithm... it servers the same purpose as using something like terraform:

``` interface BaseEC2 extends AWSEC2 { type: '...' }

// export means build export interface MyInstance extends BaseEC2 { // some customisations }

// fleet export interface EC2Fleet extends EC2Fleet { instances: MyInstance } ```

etc...

wacky idea but I kind of like it

Ah, I think what you're asking for is "declarative" configuration, rather than the typical imperative code for setting up infrastructure. I think that's what you're out after, but with strong types?

Exactly...