pepicrft
Set-theoretic types and compile-time types
Hi 
,
I upgraded to Elixir 1.18.0, and started getting type-checking warnings in the following module:
defmodule TestModule do
@env Mix.env()
def prod?() do
@env == :prod
end
end
Because the types don’t match:
dynamic(:dev) == :prod
What’s a recommended way to tackle this scenario with the new set-theoretic types system in Elixir?
Most Liked
josevalim
We will fix this on Elixir v1.18.1 We will make it so it only warns when comparing across different types.
benwilson512
In this particular case I would probably do it like this:
defmodule TestModule do
if Mix.env() == :prod do
def prod?(), do: true
else
def prod?(), do: false
end
end
Last Post!
hq1
welp:
defmacro always(term) do
quote do
:erlang.phash2(1, 1) == 0 && unquote(term)
end
end
def prod?, do: always(unquote(Mix.env() == :prod))
Popular in Questions
Other popular topics
Latest on Elixir Forum
Sponsor Spotlight
Supporting innovation across the BEAM ecosystem.
Categories:
Sub Categories:
Forums
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
- #elixirconf-us
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #metaprogramming
- #security
- #hex
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, logs, uptime, and Just Enough APM. Built for developers.
Practical resources that improve the lives of professional developers.
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!"