This Week's Trending
This Month's Trending
This Year's Trending
I’m working on a small library (GitHub - fuelen/mold: A tiny, zero-dependency parsing library for external payloads · GitHub) where schem...
New
Will, or should, Elixir 1.20 types warn when a struct is in a list and a struct’s key is mistyped? Only the uncommented Enum.reject line ...
New
If the code during compile phase conditionally relies on some config, the typing validation would yell at us while compiling. Consider th...
New
Hello,
I do TDD a lot and so my code, notably my test code, is very often incorrect compared to the current implementation (since the pu...
New
Last Three Year's Trending
I am working on a few new elixir projects and am finding I want to encode more type information than vanilla elixir syntax allows as I un...
New
Why comparing atoms gives typing violation warning?
consider:
defmodule MyModule do
def test do
:a < :b
end
end
mix compile...
New
Hi :wave:,
I upgraded to Elixir 1.18.0, and started getting type-checking warnings in the following module:
defmodule TestModule do
@...
New
Hey there!
We are using Ecto to parse some API response (it works pretty well!).
We want this response to be converted to a struct, so ...
New
If we want to introduce common reusable type, should we introduce separate Types module like so?:
defmodule App.Shared.Types do
@modul...
New
Forgive me, this could be answered somewhere but “t” and “t()” are difficult to get to work in search.
When writing types for your code,...
New
When adding a @spec to a function, is there any functional difference between doing something like
@spec my_func(input :: binary()) :: a...
New
Hello
I am trying to understand types definitions in documentation https://hexdocs.pm/elixir/typespecs.html#built-in-types
Especially i...
New
Hello Elixirs :wave:
I am not being able to get rid of this Dialyzer error
lib/collector/feed.ex:78:unknown_type
Unknown type: :mnesi...
New
With Elixir 1.18 nearing release and coming with improvements to the new Set Theoretic Type System, I’m curious how Ash will integrate th...
New
We’re migrating one of our projects to Elixir 1.18.4 (from 1.16.2). Facing a lot of issues because of --warnings-as-errors, but most of t...
New
Trending Over Three Years
Let’s say I have a behaviour MyBehaviour and a function that may return any module implementing that behaviour. Is it possible to write ...
New
Dear Elixir hobbyists and professionals,
I understand that t() is used for types. For example I can defstruct id: 0 in MyModule and spec...
New
I am working with behaviours and callbacks, so I am trying to define a spec for a function that should accept an argument which is also a...
New
Two months ago I started working professionally on an Elixir project. I had no previous Elixir experience, but I am picking it up at a re...
New
Background
So, I am playing around with a concept named “NewType” and I am taking inspiration from languages like F# and Scala.
My objec...
New
Hi everybody,
I’m following along the Programming Phoenix 1.4 book and at a moment we are implementing a custom Ecto type.
According to...
New
Background
I want to create a percentage type using floats, something like:
@type percentage :: 0.0..1.0
Now, you will know that this i...
New
Background
I am moving towards defined data structures in my application, and I find that TypedStruct is quite useful.
Questions
However...
New
Background
I have a custom struct and I want to define a type for it so I can run Dialyzer checks. However Dialyzer is complaining that I...
New
Background
For the longest time I have been estranged to the magic lands of comprehensions in FP languages.
Now I am trying to pick it u...
New
Hello,
Is there a way to combine types? It would be awesome to be able to do |> for Map.merge
defmodule JEC.Types do
@type network...
New
Is it possible to build a union type from a list? For example, something like:
defmodule HatEnum do
@variants [:bowler, :sombrero]
...
New
I am wondering if this is correct, this should be a map of arbitrary size (could be 0, could be 1000) of integer keys.
@type quests() ::...
New
I’m looking for a typespec that would match, for instance:
%Foo{specific_key: "abc"}
%Bar{specific_key: "abc"}
%Baz{specific_key: "abc"}...
New
I was going through the phoenix channel code and found the following typespec
@type reply :: status :: atom | {status :: atom, response...
New
- Follow
- Join
- Shape
the conversation
Latest on Elixir Forum
Get money off!
The Pragmatic Bookshelf
35% off any eBook
Manning Publications
45% off any item
ElixirCasts
10% off for life
The Pragmatic Studio
20% off any course
AppSignal
10% off for 12 months
Honeybadger
10% off for 12 months
Simply use coupon code "devtalk.com" or "elixirforum" at checkout!
Filter by Type:
Sub Categories:
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #blog-post
- #phoenix_html
- #iex
- #graphql
- #genstage
- #ai
- #elixirconf-us
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #metaprogramming
- #security
- #hex









