Tootfinder

from my link log —
The design principles of the Elixir type system.
https://arxiv.org/abs/2306.06391
saved 2026-06-04 https://dotat.at/:/D3ZFY.html

The Design Principles of the Elixir Type System
Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable applications. Its characteristics have earned it a surging adoption by hundreds of industrial actors and tens of thousands of developers. Static typing seems nowadays to be the most important request coming from the Elixir community. We present a gradual type system we plan to include in the Elixir compiler, outline its characteristics and design principles, a…

Learned something new!
https://bitcrowd.dev/why-elixir-bluesky-dataplane/

🇺🇦 #NowPlaying on KEXP's #MidnightInAPerfectWorld
Dur‐Dur Band feat. Sahra Dawo:
🎵 Gorof (Elixir)
#DurDurBand #SahraDawo

🇺🇦 #NowPlaying on #BBC6Music's #LaurenLaverne
Salad:
🎵 Drink The Elixir
#Salad
https://open.spotify.com/track/4fFamWWQEWNE5zjHpXJEiF