Meet Elixir Language Tour – a tool created to make
Elixir learning easier 🪄
Written in pure Elixir, running fully in the browser – all thanks to Popcorn 🍿
Check it out – link below!
Software Mansion Elixir
@swmansionelixir.bsky.social
581 followers 209 following 61 posts
Elixir lang, @swmansion.com way 🧑💻 Creators of LiveDebugger, Popcorn, Membrane, and more 🚀 Organizers of Elixir Stream Week and Global Elixir Meetups
![defprotocol UnknownImplFor do
def foo(data)
end
defimpl UnknownImplFor,
for: [
Map,
# Unknown # <-- This is the problem
] do
def foo(data), do: data
end
# Compiling 1 file (.ex)
# warning: you are implementing a protocol for Unknown
# but said module is not available. Make sure the module
# name is correct. If Unknown is an optional dependency,
# please wrap the protocol implementation in a
# Code.ensure_loaded?(Unknown) check
# │
# 5 │ defimpl UnknownImplFor,
# │ ~~~~~~~~~~~~~~~~~~~~~~~
# │
# └─ lib/protocol_types.ex:5: (file)](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:jfsigp5qadbh2vzs4h7vprvs/bafkreibprkxnux3gyiepg7iw3bm4flmw4ncucxzbwouesfftf5i5e4ioiq)
![defprotocol IncorrectImpl do
def foo(data)
end
defimpl IncorrectImpl, for: [Map, Range, Bitstring] do
def foo(nil), do: nil # <--- This is the problem
def foo(map), do: map
end
# Compiling 2 files (.ex)
# warning: the 1st pattern in clause will never match:
#
# nil
#
# because it is expected to receive type:
#
# dynamic(%Range{first: term(), last: term(), step: term()})
#
# typing violation found at:
# │
# 6 │ def foo(nil), do: nil
# │ ~~~~~~~~~~~~~~~~~~~~~
# │
# └─ lib/incorrect_dispatch.ex:6: IncorrectDispatch.Range.foo/1](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:jfsigp5qadbh2vzs4h7vprvs/bafkreicymtupuafsywswgkosbgb4k5qd2r5gh4frdpppk5wnbrhchbzexy)