Latest #type-checking Threads 
: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
Hello everyone.
I’m the author of GitHub - bugnano/wtransport-elixir: Elixir bindings for the WTransport WebTransport library · GitHub ,...
New
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
Erlang OTP 28
Elixir 1.20.0-rc.3 (9b80ab5) (compiled with Erlang/OTP 28)
Current Behavior - warning:
warning: the following clause is ...
New
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
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
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
I am happy to introduce the very α version of the new programming language compiled to BEAM.
Welcome Cure.
It has literally three kille...
New
I discovered this link on bluesky, and it was a bit of an accidental thing, but I think it contains some nice information that’s worth ch...
New
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
This Week's Trending
This Month's Trending
This Year's Trending
I am happy to introduce the very α version of the new programming language compiled to BEAM.
Welcome Cure.
It has literally three kille...
New
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
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
If the code during compile phase conditionally relies on some config, the typing validation would yell at us while compiling. Consider th...
New
: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
Hello everyone.
I’m the author of GitHub - bugnano/wtransport-elixir: Elixir bindings for the WTransport WebTransport library · GitHub ,...
New
Erlang OTP 28
Elixir 1.20.0-rc.3 (9b80ab5) (compiled with Erlang/OTP 28)
Current Behavior - warning:
warning: the following clause is ...
New
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
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
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Core ideas
Type- and function specifications are const...
New
Why comparing atoms gives typing violation warning?
consider:
defmodule MyModule do
def test do
:a < :b
end
end
mix compile...
New
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
I discovered this link on bluesky, and it was a bit of an accidental thing, but I think it contains some nice information that’s worth ch...
New
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
I have a macro that is used for parsing:
defmacro left <~> right do
quote do
case unquote(left) do
:error ->...
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
Im trying to isolate why i cannot get dialyzer to stop complaining about no_return
https://github.com/jarlah/dialyzer_warning_from_hell/...
New
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
Hi!
I’m excited about everything that’s going on re. gradual typing and am really pleased to see that Jose and the team seem to be think...
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
Trending Over Three Years
Hello everyone,
Long time lurker first time poster here. I’ve recently begun working on Elixir full-time again! :raised_hands: It’s been...
New
At my last company we migrated a large codebase from JavaScript to TypeScript – basically it just amounted to adding a couple of lines to...
New
I just quit my job and after some soul-searching am deciding on what project I want to pursue, and thought it would be a good idea to thr...
New
Domo makes your structure types work for data conformance validation. And it enables automatic range checking for field types at run-time...
New
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
poll
The poll allows up to 2 votes for cases where people have a preferred tool for Elixir and a separate preferred tool for Erlang or th...
New
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
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
There is one long term request - to have strict type checking in Elixir.
As far as I remember, @rcm765 mentioned that in the talk at Lon...
New
It looks like the team over at WhatsApp have finally released their Erlang type checker, eqWAlizer
I know a few of us have been looking ...
New
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
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
Hi everyone!
I recently had an idea. This is by no means a revolutionary concep, and other people probably have thought about it before ...
New
i’ve recently gotten annoyed at having to jump between files just to check what that function i’m using will return. VS Code could be of ...
New
Some background information first: I am currently in the process of converting our frontend codebase to typescript. Most of the interacti...
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:
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
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #websockets
- #supervisor
- #advent-of-code
- #elixirconf-us
- #distillery
- #processes
- #forms
- #api
- #metaprogramming
- #security
- #performance
Forums
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Error tracking for Elixir devs who love to ship. Start your free account.
Practical resources that improve the lives of professional developers.
Develop your skills with books, videos, and courses.
Enabling companies to succeed by building software people love.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"