Телеграмм чат группы proelixir страница 7354

Но я бы всегда гонял диалайзер. Доп проверка уже самих спеков.

13:58пожаловаться #1

Pavel in pro.elixir

Евгений

Короче, уточню немного. Если не генеришь доков и/или не используешь диалайзер от спеков мало толку.

Не использовать диалайзер - это конечно, удобно. Вот ты сидишь и вспоминаешь тебе функция {:ok, entity} или там не может быть ошибки и она вернет entity просто. Удобненько 🙂

14:13пожаловаться #2

Pavel

Эх, я все равно в доки лезу. Часто даже для стандартных функций. Прямо в iex через h

14:18пожаловаться #3

И там уже смотрю на спеку

14:18пожаловаться #4

А вот no_return() или none() когда использовать? Если значение возвращаемое из функции не имеет никакого смысла или если функция всегда кидает исключение?

14:20пожаловаться #5

Elixir removed all no_return() in the specs.

14:22пожаловаться #6

https://stackoverflow.com/a/49111715/11254927

Stack Overflow

What's the typespec declaration for a function that may raise?

Using Elixir's typespecs, how do I document in @spec that a function may raise an exception instead of returning a value?

14:22пожаловаться #7

Alex Bubnov in pro.elixir

Anastasiya Dyachenko

ощущение что реально каждый в этом чате пишет документацию

нет, я не пишу, терпеть это не могу.
лучшая документация - это код.

14:28пожаловаться #8

Lama Lover

Хм

Вот код, на который диалайзер должен ругаться, но не ругается:

defmodule Foo do
  @type options() :: [
          {:k1, integer()}
          | {:k2, integer()}
          | {:k3, integer()}
          | {:k4, integer()}
          | {:k5, integer()}
          | {:k6, boolean()}
        ]

  @spec foo(options()) :: options()
  def foo(a), do: a

  def bar() do
    # тут должна быть ошибка
    foo(k6: 10)
  end
end

Вот код, на который диалайзер должен ругаться, но не ругается:

defmodule Foo do
  @type options() :: [
          {:k1, integer()}
          | {:k2, integer()}
          | {:k3, integer()}
          | {:k4, integer()}
          | {:k5, integer()}
          | {:k6, boolean()}
        ]

  @spec foo(options()) :: options()
  def foo(a), do: a

  def bar() do
    # тут должна быть ошибка
    foo(k6: 10)
  end
end

почему?

14:40пожаловаться #10

а, ну да

14:40пожаловаться #11

буль же

14:40пожаловаться #12