It was a real joy speaking on stage. Thanks to all been there, and thanks to @codebeam.bsky.social for giving me the space to present it. ❤️

I was pointed to norm for instance just an hour ago or so. Will definitely give it a try. ☺️

🥹 So seems like I just have to wait for Elixir v1.20+, huh?

> Full type inference of patterns was released in Elixir v1.18, and inference of guards is expected as part of Elixir v1.19.
> If the results are satisfactory, the next milestone will include a **mechanism for defining typed structs**.

Ecto with embedded schemas and NimbleOptions are great solutions—but they provide run-time validation, where I am looking for compile-time type checking. Would love to catch mismatches as early as possible. ☺️

Dialyzer finds the mismatch, which is good for sure. It's also easy enough to spot my mistake in this simple example. But in a more real-life codebade, I'd prefer a static type-checker to point me to the exact problem rather than a fuzzy „something's not right“. Does this make sense? 🙂

Sometimes it just needs a nudge in the right direction (thanks @jc00ke@hachyderm.io on fosstodon!). I dismissed structs as being too verbose as I need: (1) map-like modeling, (2) types per field, (3) mandatory/optional keys. All possible, but terribly verbose.

But: there's hexdocs.pm/typedstruct

Yeah, from github.com/modelcontext... alone it did not look that bad. But I haven't checked yet the details in github.com/modelcontext...

Turns out, my server was living in the future... protocol-version wise. 🫣😄

So nice! I'll play a little more with the server side in the meantime. If I could be of any help later, feel free to give me a ping. 🤗

Next step: Build stubs for all other methods (like `prompts/list`). Currently, there's only a stub for `tools/list` to check if the overall server is working.

Ich feier sehr, dass ihr wieder regelmäßig on air seid! 🥳

Gerade Konferenzen mit nur unbekannten Personen strengen mich sehr an, allem voran Gruppenunterhaltungen.
Hingegen energie-positiv für mich: einzelne Tracks skippen und im 1-on-1 an Booths quatschen! 👌