Latest #static-types Threads 
Just wondering since the knowledge cutoff for LLMs is about a year or so behind the current date.
It would be nice if the models were ab...
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
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
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
I’m currently migrating my codebase to Elixir 1.18.2. I was able to solve all the typing issues, except for one. The following code:
def...
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
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
I’m new to Elixir…having looked into languages like Haskell, Elm, and Gleam, I’m wondering if Elixir’s new type system will permit sum ty...
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
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
Just wondering since the knowledge cutoff for LLMs is about a year or so behind the current date.
It would be nice if the models were ab...
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
I’d love to hear what people think about Wisp, the new Gleam web framework started by Gleam’s primary creator Louis Pilfold.
Gleam, alon...
New
https://nitter.net/josevalim/status/1744395345872683471
https://twitter.com/josevalim/status/1744395345872683471
New
Hi everyone, as you may be aware, we are researching a type system for Elixir.
As preparation for my upcoming ElixirConf US talk, I woul...
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
I’m new to Elixir…having looked into languages like Haskell, Elm, and Gleam, I’m wondering if Elixir’s new type system will permit sum ty...
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
Why comparing atoms gives typing violation warning?
consider:
defmodule MyModule do
def test do
:a < :b
end
end
mix compile...
New
Gradually gradually typing Elixir
Our old friend José Valim & his team have been hard at work adding gradual typing to Elixir. They’...
New
I have just seen ElixirConf 2023 - José Valim - The foundations of the Elixir type system , which is very interesting.
I do not know muc...
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
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
I’m currently migrating my codebase to Elixir 1.18.2. I was able to solve all the typing issues, except for one. The following code:
def...
New
Trending Over Three Years
Background
In a post I made about having static types in Elixir, someone mentioned the tool Gradualizer. This came as a surprise to me, a...
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
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
I’m learning Elixir and I like its ecosystem but I really miss static typing (I’ve played a bit with F# and Ocaml before). I thought abou...
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
Introducing Mavis, a comprehensive Typing Library for Elixir:
Mavis fully utilizes Elixir’s Protocol system to create a fluent and compo...
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
Elixir is a great language, but its lack of static types is a major drawback for me.
Dialyzer seems like a good way to fix this issue, b...
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 few days ago I was checking some code from a co-worker and I was drawn to his usage of spec:
@spec hello(String.t(), String...
New
Code
Let’s say I have a function that returns a map. This function can have 0 and 1 arity:
@spec new_game(String.t) :: map
def new_g...
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
I think some people at work who enjoy our elm front end were waiting for gleam to emerge as the typed alternative to elixir, with the abi...
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.
Producing high quality Elixir screencasts since 2017.
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!"