Strong Arrows
Elixir might add types through gradual typing. But that comes with some challenges. Check out Elixir's new way of handling some of those gradual typing challenges with strong arrows.
types 🏷️
Elixir Types: Operator Precedence
The Elixir types paper talks about operator precedence. Let's take a look at how that changes how we read type signatures.
Elixir's intersection types
José Valim talked about types in ElixirConf 2023. I read the paper to understand why we need intersection types for some type signatures. Let me break down why!
Looking for other tags?
anti-pattern
bandit
contexts
dbg
debugging
deprecated
docs
ecto
elixir
elixir-1.14
elixir-1.15
elixir-1.16
elixir-1.17
erlang
erlang-27
ex-unit
formatter
gen-server
heex
heroicons
hexdocs
iex
live-view
live-view-0.18
live-view-0.20
live-view-1.0
live-view-js
liveview
metaprogramming
mix
otp
phoenix
phoenix-1.7
processes
protocols
recon
refactoring
streams
testing
testing-live-view
timer
tracing
types
verified-routes
vim