Latest #types Threads 
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
Episode 308 of Thinking Elixir. Elixir v1.20 has officially landed, marking a huge milestone as the language is now officially a graduall...
New
I’m working on a small library (GitHub - fuelen/mold: A tiny, zero-dependency parsing library for external payloads · GitHub) where schem...
New
Hi all,
I’ve been working on PhoenixSpectral, a library that makes Phoenix controller @spec annotations drive both OpenAPI generation an...
New
I know I put the cart before the horse, but AI providers started this race, not me.
Welcome Typle, the library that leverages a modern E...
New
I’m happy to announce Spectral, a library that lets your Elixir structs and @type specs become the single source of truth for validation,...
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
Episode 295 of Thinking Elixir. News includes José Valim publishing a deep technical post on Elixir’s type system shift from DNFs to Lazy...
New
Episode 282 of Thinking Elixir. News includes cutting-edge research from José Valim and Guillaume Duboc on the data structures powering E...
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
This Week's Trending
This Month's Trending
Episode 308 of Thinking Elixir. Elixir v1.20 has officially landed, marking a huge milestone as the language is now officially a graduall...
New
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
With the announcement of 1.19 rc0 and the path to user-supplied type annotations, I want to make the case for inline types—both for funct...
New
I’m working on a small library (GitHub - fuelen/mold: A tiny, zero-dependency parsing library for external payloads · GitHub) where schem...
New
I’m happy to announce Spectral, a library that lets your Elixir structs and @type specs become the single source of truth for validation,...
New
I know I put the cart before the horse, but AI providers started this race, not me.
Welcome Typle, the library that leverages a modern E...
New
If the code during compile phase conditionally relies on some config, the typing validation would yell at us while compiling. Consider th...
New
I’ve stumped upon this EEP eep/eeps/eep-0069.md at master · erlang/eep,will it help to support type introspection around Gleam’s types, E...
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
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
The talk that we were all waiting for on the future of elixir type system is out:
The talk is amazing, it covers all the c...
New
After re-watching José’s keynote from last year, he brought up that he believes that reducing the number of tests you need to write is no...
New
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
Hi everyone!
I’m working in a gist with some concepts around elixir new type system. This is a WIP and I’ll add more content on the next...
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
I wrote this library several years ago, but I’ve recently had a use case for it that’s caused me to make several updates that I think wou...
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
Where is the best place to follow developments for the Set Theoretic Type System?
There does not seem to be an existing category or sing...
New
Trending Over Three Years
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
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
Domo makes your structure types work for data conformance validation. And it enables automatic range checking for field types at run-time...
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
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
Background
Recently I have discovered this notion of “zero cost type wrappers”. Basically what this means is that you can create a new ty...
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
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
So, I am playing around with a concept named “NewType” and I am taking inspiration from languages like F# and Scala.
My objec...
New
I was wondering if there is anyone here who either maintains or has any experiencing with a large Elixir/Erlang project in production tha...
New
Hello guys! I implemented another way to create new data types (which are not structs or records) in Elixir. Please check out readme file...
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
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 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
- 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.
Develop your skills with books, videos, and courses.
Enabling companies to succeed by building software people love.
The deployment platform built for Elixir: PaaS ease, VPS control.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"