Post

You can just ask it haha

I do read code. And at places where we're dealing with lots of data structures, types really help keep track of the structures.

So maintainable right

Yeah I've been doubling down on type safety by putting everything in Effect-TS, for the stronger static verification. Curious if this is ironic

Types are prompts

Or if we don’t write code anymore why not just pick a different language entirely?

I have my LLMs output butterflies!

🤣

I don't think complete soundness is realistically possible because no browser actually provides an API that's identical everywhere. In some browsers, an object would have certain properties enumerable, and in others it wouldn't. Also, getters, setters, prototype chains, etc. All slightly different

This so happens to be what I'm working on! bsky.app/profile/did:... Zena's my new PL that's a lot more strict than TypeScript with a sound type system, no coercions or dynamism, and will even more soon with units of measure (ft vs m, etc) and contracts. AI is already generating great code with it.

😒

For me TypeScript is some kind of unit test.

And it types them perfectly with JSDoc based typing