Has the static typing syntax been finalized yet?

Short answer is no. I cover our current status in my recent ElixirConf EU keynote. Feel free to skip to the end of the video: https://www.youtube.com/watch?v=Ay-gnCqDw9o (starting from the Elixir v1.20 slide).

Thanks for the reply. Obviously it will be ready when it’s ready, and we can use a skill or some kind of prompt to seed the typing syntax into the context in the interim if everything comes too quickly. Just had to satisfy the burning curiosity!

I was thinking of starting to use Typle once Elixir 1.20 lands to that same effect that you described.

I’d pay money to become a fly on the wall listening to you and Chris talk about LLMs. But not too much money because I assume for the procedure to turn myself into a fly and back would already be pretty costly.

New revenue stream for the type system development?

I’m trying to build AOT compilation for BEAM bytecode. It sounds interesting if we can bring this to a lower level to reduce type checking.

https://fly.io/pricing/ doesn’t look too bad

You got me for a very brief moment there.

I’m also realizing my comment sounds extra weird to anyone who didn’t watch the talk. I watched the talk via José’s the link then came right back to this thread, apparently feeling I had never left!