This Week's Trending Top

This Month's Trending Top

This Year's Trending Top

Awlexus
I’m getting the following warning when compiling my project and I’m not sure how to resolve it, because from what I see there is a proper...
New
tjchambers
Erlang OTP 28 Elixir 1.20.0-rc.3 (9b80ab5) (compiled with Erlang/OTP 28) I am having a difficult to fathom issue with developing on 1.2...
New
bugnano
Hello everyone. I’m the author of GitHub - bugnano/wtransport-elixir: Elixir bindings for the WTransport WebTransport library · GitHub ,...
New
PragTob
:waving_hand: This is a bit of an odd scenario I realize and calling me over cautious is fair. I want to know if there is, or is envisi...
New
mudasobwa
If the code during compile phase conditionally relies on some config, the typing validation would yell at us while compiling. Consider th...
New
tjchambers
Erlang. OTP-28 Elixir 1.20.0-rc.3 (9b80ab5) (compiled with Erlang/OTP 28) In rc.3 I am getting a new type checking warning for function...
New
tjchambers
Erlang OTP 28 Elixir 1.20.0-rc.3 (9b80ab5) (compiled with Erlang/OTP 28) Current Behavior - warning: warning: the following clause is ...
New
tjchambers
Erlang: OTP 20 Elixir 1.20.0-rc.3 (9b80ab5) (compiled with Erlang/OTP 28) I am wondering whether 1.20 of Elixir is supposed to support ...
New

Last Three Year's Trending Top

bartblast
Why comparing atoms gives typing violation warning? consider: defmodule MyModule do def test do :a < :b end end mix compile...
New
joshua.aug
Im getting this error from dialyzer “The pattern can never match the type.” Here’s some sample code @spec check_rating_to_play(any(),...
New
Fl4m3Ph03n1x
Background I am trying to write some code to exemplify the power of behaviours in Elixir. As a result, I am trying to implement this dia...
New
tomekowal
I have a macro that is used for parsing: defmacro left <~> right do quote do case unquote(left) do :error -&gt...
New
blubparadox
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
jarlah
Im trying to isolate why i cannot get dialyzer to stop complaining about no_return https://github.com/jarlah/dialyzer_warning_from_hell/...
New
gperales
Hi folks! With the new release of Elixir 1.18, I would like to enforce pattern-matching by struct in our projects to take advantage of t...
New
chazwatkins
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
tcoopman
I have a test like this: conn = conn |> put_req_header("content-type", "invalid") |> put_req_header("x-auth-...
New

Trending Over Three Years Top

mrkurt
I’m reading through the type annotations features and trying to figure out how to enforce type checking in a Phoenix app. I’m pretty sure...
New
Qqwy
The following problem came up while developing TypeCheck. For who does not know about it, it is a library which adds runtime type-checki...
New
Fl4m3Ph03n1x
Background I am trying out polymorphic typing with dialyzer. As an example I am using the famous Option type (aka, Maybe Monad) that is n...
New
Fl4m3Ph03n1x
Background I am now trying Gradual type checking, as a consequence I am giving a shot to Gradient. As I see it, this is an alternative to...
New
vans163
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
ryanzidago
Why aren’t type-check functions like is_atom or is_integer followed by a question mark, (is_atom? or is_integer?) since they return eithe...
New
IvanR
Folks, I’ve made a Domo library adding new/1 constructor function to a struct that automatically checks conformance to the struct’s type....
New
nhpip
Hello, I’ve been given the task to upgrade our product from OTP R22 / Elixir 1.11 to OTP R25 / Elixir 1.13.4 (hoping for 1.14). There is...
New
jjabba
Why is it that dialyzer doesn’t pick up on (obvious) miss-matches between @spec and implementation: @spec example(Ecto.Changeset.t()) ::...
New
  • Follow
  • Join
  • Shape
the conversation

Latest on Elixir Forum

Elixir Forum

Similar Portals

    None added yet

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews