#static-types > questions

This Week's Trending

This Month's Trending

This Year's Trending

Questions & Help>Questions

Has the static typing syntax been finalized yet?

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...

#syntax#static-types

14 981 8

2026-05-12 02:39:53 UTC

New

Questions & Help>Questions

Will, or should, Elixir 1.20 types warn on this?

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 ...

#static-types#types

9 391 1

2026-03-12 11:54:53 UTC

New

Last Three Year's Trending

Questions & Help>Questions

Will the new type system allow defining Sum types?

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...

#algebraic_data_type#static-types#sum-types

39 2364 17

2024-03-07 14:57:59 UTC

New

Questions & Help>Questions

How to prepare for new set-theoretic types syntax / signatures?

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...

#static-types#types#set-theoretic-types

48 1289 12

2024-10-01 12:41:57 UTC

New

Questions & Help>Questions

Typing violation warning when comparing atoms

Why comparing atoms gives typing violation warning? consider: defmodule MyModule do def test do :a < :b end end mix compile...

#static-types#type-checking#types

12 888 13

2024-07-01 00:30:24 UTC

New

Questions & Help>Questions

Difference between test and running code for controllers

I have a test like this: conn = conn |> put_req_header("content-type", "invalid") |> put_req_header("x-auth-...

/phoenix#static-types#type-checking

0 260 0

2024-01-29 12:46:09 UTC

New

Questions & Help>Questions

No escape hatch for typing error

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...

#compiling#static-types#runtime-compilation

1 187 3

2025-01-23 15:36:20 UTC

New

Trending Over Three Years

Questions & Help>Questions

Gradualyzer vs Dialyzer - main differences?

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...

#dialyzer#static-types#gradualizer

52 5544 29

2022-02-14 05:43:21 UTC

New

Questions & Help>Questions

Dialyzer cannot recognize error in function using polymorphic types

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...

#dialyzer#static-types#type-checking

11 2668 10

2022-02-18 14:26:29 UTC

New

Questions & Help>Questions

Phoenix, type annotations and Dialyzer

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...

/phoenix#dialyzer#static-types

5 2214 5

2020-08-27 19:08:12 UTC

New

Questions & Help>Questions

Usage of parenthesis in `spec`

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...

#static-types

12 2051 2

2019-07-24 12:10:14 UTC

New

Questions & Help>Questions

Multiple arity function with spec

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...

#static-types

9 1643 1

2019-07-24 12:28:21 UTC

New

Questions & Help>Questions

Cannot understand warnings in Gradient

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...

#static-types#type-checking#gradient

1 1533 4

2022-02-07 10:48:11 UTC

New

Questions & Help>Questions

Typespecing a map of arbitrary integer keys?

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() ::...

#static-types#type-checking#types

3 1484 6

2020-10-27 16:19:32 UTC

New