#typespecs > chat

This Week's Trending

This Month's Trending

This Year's Trending

Chat & Discussions>Discussions

@type representation for string maps

I was checking the documentation for elixir and erlang types for ways to represent a map in the typespec. I have seen different projects...

#typespecs

1 274 2

2025-11-06 10:20:23 UTC

New

Last Three Year's Trending

Trending Over Three Years

Chat & Discussions>Discussions

How to think about pattern matching vs. type-checking

This is more of a general question, but I’m wondering how other people in the community think about the pattern matching in function sign...

#pattern-matching#discussion#typespecs

73 10243 22

2020-04-09 16:39:32 UTC

New

Chat & Discussions>Discussions

How do define behaviours that have callbacks with optional parameters?

Background So I have a behaviour that has some functions with optional parameters and I want a way to make them more readable: @type o...

#behaviours#typespecs

9 6185 8

2020-07-06 11:18:41 UTC

New

Chat & Discussions>Polls

What do you prefer to use for type checking Elixir/Erlang code? (poll)

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

#typespecs#static-types#type-checking#types

45 3763 21

2023-05-02 13:36:59 UTC

New

Chat & Discussions>Discussions

Typespec style guidelines

I’d like to propose a silly typespec discussion: what is your style guidelines for writing typespecs? I mean, do you: use parentheses ...

#discussion#typespecs#formatter

8 3215 2

2018-07-04 14:37:06 UTC

New

Chat & Discussions>Discussions

Zero-cost abstraction for NewTypes in Elixir

Background Recently I have discovered this notion of “zero cost type wrappers”. Basically what this means is that you can create a new ty...

#typespecs#static-types#types#wrapper

55 3898 28

2022-04-07 12:48:39 UTC

New

Chat & Discussions>Discussions

Inline typespecs?

What is the reason for using a separate declaration for typespecs: @spec round(number) :: integer def round(x), do: # implementation... ...

#typespecs

19 2334 10

2020-07-27 11:07:47 UTC

New

Chat & Discussions>Discussions

Why there are no `Boolean.t()` and `Integer.t()` types?

I think it’s quite common in Elixir to use MyModule.t() for type specs. Elixir docs for example suggest using String.t() and Range.t() ty...

#typespecs

8 1462 2

2022-11-04 11:31:00 UTC

New

Chat & Discussions>Discussions

Types that you wish were in Elixir

Do you ever wish Elixir had more types? Share some of the ones that you frequently use. If the outcome is good I will compile them into...

#dialyzer#typespecs

26 1996 14

2022-01-13 12:16:06 UTC

New

Chat & Discussions>Discussions

Macro idea: total case statements

Hi everyone! I recently had an idea. This is by no means a revolutionary concep, and other people probably have thought about it before ...

#macros#discussion#typespecs#case#type-checking

16 1356 3

2019-03-14 14:16:52 UTC

New

Chat & Discussions>Discussions

Can has? `def admin?(user_id: String.t()) :: boolean do`

I am returning to an Elixir project (finally!) after spending some (too much;) time in Python, and I am now curious about Elixir’s typesp...

#syntax#typespecs#language#programminguages

9 1442 8

2021-12-20 08:56:13 UTC

New

Chat & Discussions>Discussions

String text = ”data type in Elixir”;

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

#macros#syntax#typespecs#type-checking

11 1097 8

2022-12-29 10:02:01 UTC

New

Chat & Discussions>Discussions

Introduction to Dialyzer, typespecs, etc

After adding (and tightening up) @spec and @type attributes on a 10 KLOC project, I felt confident enough of my typespec-fu to write up a...

#dialyzer#typespecs#dialyxir#showcase

8 1026 1

2020-03-09 10:35:21 UTC

New

Chat & Discussions>Discussions

The next five years: a question about the type system

After watching the Elixir’s conf video about the next five years from José Valim, and that he spoke about adding a typesystem on Elixir a...

#core#discussion#typespecs

4 946 0

2018-09-09 14:22:37 UTC

New

Chat & Discussions>Discussions

Role models for Elixir documentation?

The Elixir ecosystem has very convenient and powerful facilities for documenting code. These include Markdown, doctests, module attribute...

#doctest

7 820 1

2021-10-18 18:15:44 UTC

New