[jaggederest]

This is my theory: we're going to see a lot of languages with straightforward and obvious semantics, high guard rails, terrible dx, and great memory allocation and performance behavior out of the box. Assembler or worse, but with extremely strong typing bolted on in a way that no human would ever tolerate, basically, something in that vibe.

[Grosvenor]

So Pascal and Delphi are coming back? I'm actually cool with that.

[aryonoco]

I vibe coded a library in Nim the other day (a language I view very much as a spiritual continuation of the Pascal/Modula line), complete with a C ABI.

The language has well defined syntax, strong types, and I turned up the compiler strictness to the max, treat all warnings as errors etc. After a few hours I put the agent aside, committed to git then deleted everything and hand coded some parts from scratch.

I then compared the results. Found one or two bugs in the AI code but honestly, the rest of our differences were “maters of taste” (is a helper function actually justified here or not kind of things).

[jaggederest]

Yeah actually I worked with Pascal early in my career and that's kinda the vibes I am thinking about, with maybe a stronger type system more ada-esque though (composite, partial and range-and-domain types, all that jazz)

[aryonoco]

Have a look at Nim

Pascal inspired syntax

Ada inspired type system

Lisp inspired templating and Macros

Compiles to C

[hombre_fatal]

You can get more forward thinking than that: AI will output machine code, compiling it directly.