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

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

ErlangRus

673 membersпожаловаться на группу

2020 August 24

VS

Vladimir Sekisov in ErlangRus

Евгений, [24.08.20 14:39]
[In reply to 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

Евгений, [24.08.20 14:44]
То бишь на этот код уже ругается

defmodule Foo do
  @type options() :: [
          {:k1, 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

Alex Bubnov, [24.08.20 15:09]
[In reply to Евгений]
и вот это становится похоже на баг, зависящий от количества альтернатив элемента списка

Alex Bubnov, [24.08.20 16:10]
я, короче, поглядел в исходники диалайзера, и в его тест-сьюте вообще не вижу тестов на такие списки типа опций. я в шары долблюсь?..

а какой OTP установлен?
в Elixir 1.10.2/OTP 22.2.8 dialyzer ловит эту ошибку

источник

16:43пожаловаться #1

AB

Alex Bubnov in ErlangRus

М, у меня OTP 21 последний. Интересно, спасибо

источник

16:44пожаловаться #2

AB

Alex Bubnov in ErlangRus

Vladimir Sekisov

а какой OTP установлен?
в Elixir 1.10.2/OTP 22.2.8 dialyzer ловит эту ошибку

у меня не ловит. если в спеке на foo2 закомментировать еще один ключ - ловит.

$ asdf current
elixir         1.10.2-otp-22 (set by /home/abubnov/pg/dyatest/.tool-versions)
erlang         22.3.4.9 (set by /home/abubnov/pg/dyatest/.tool-versions)

  defmodule Foo do
    @spec foo1([
            {:k1, integer()}
            | {:k2, integer()}
            # | {:k3, integer()}
            # | {:k4, integer()}
            | {:k5, integer()}
            | {:k6, boolean()}
            | {:k7, boolean()}
          ]) :: any()
    def foo1(a), do: a

    @spec foo2([
            {:k1, integer()}
            | {:k2, integer()}
            # | {:k3, integer()}
            | {:k4, integer()}
            | {:k5, integer()}
            | {:k6, boolean()}
            | {:k7, boolean()}
          ]) :: any()
    def foo2(a), do: a

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

    def baz() do
      foo2(k6: 10)
    end

  end

источник

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

AB

Alex Bubnov in ErlangRus

посмотрел в release notes - тоже ничего подходящего не вижу

источник

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

VS

Vladimir Sekisov in ErlangRus

посмотрел в release notes - тоже ничего подходящего не вижу

а у меня вот так получается:

lib/plug/foo.ex:13:no_return
Function bar/0 has no local return.
________________________________________________________________________________
lib/plug/foo.ex:15:call
The function call will not succeed.

Foo.foo([{:k6, 10}])

breaks the contract
(options()) :: options()

________________________________________________________________________________

источник

18:48пожаловаться #5

VS

Vladimir Sekisov in ErlangRus

при {:k6, true} никакой ругани

источник

18:49пожаловаться #6

AB

Alex Bubnov in ErlangRus

Vladimir Sekisov

а у меня вот так получается:

lib/plug/foo.ex:13:no_return
Function bar/0 has no local return.
________________________________________________________________________________
lib/plug/foo.ex:15:call
The function call will not succeed.

Foo.foo([{:k6, 10}])

breaks the contract
(options()) :: options()

________________________________________________________________________________

попробуй, пожалуйста, последнюю версию, где две функции?

источник

18:49пожаловаться #7

VS

Vladimir Sekisov in ErlangRus

lib/plug/foo.ex:24:no_return
Function bar/0 has no local return.
________________________________________________________________________________
lib/plug/foo.ex:26:call
The function call will not succeed.

Foo.foo1([{:k6, 10}])

breaks the contract
([
  {:k1, integer()}
  | {:k2, integer()}
  | {:k5, integer()}
  | {:k6, boolean()}
  | {:k7, boolean()}
]) :: any()

________________________________________________________________________________

источник

18:53пожаловаться #8

AB

Alex Bubnov in ErlangRus

Vladimir Sekisov

lib/plug/foo.ex:24:no_return
Function bar/0 has no local return.
________________________________________________________________________________
lib/plug/foo.ex:26:call
The function call will not succeed.

Foo.foo1([{:k6, 10}])

breaks the contract
([
  {:k1, integer()}
  | {:k2, integer()}
  | {:k5, integer()}
  | {:k6, boolean()}
  | {:k7, boolean()}
]) :: any()

________________________________________________________________________________

не, всё еще репортит только foo1, хотя foo2 такая же ошибочная

источник

18:55пожаловаться #9

2020 August 25

ИИ

Иванов Иванов... in ErlangRus

источник

00:11пожаловаться #10

LL

Lama Lover in ErlangRus

Иванов Иванов

Шо це?

источник

10:51пожаловаться #11

ИИ

Иванов Иванов... in ErlangRus

Шо це?

вакансии ерланг

источник

10:51пожаловаться #12

LL

Lama Lover in ErlangRus

Иванов Иванов

вакансии ерланг

Фанбокс уже давно-давно висит же

источник

10:52пожаловаться #13

ИИ

Иванов Иванов... in ErlangRus

Фанбокс уже давно-давно висит же

текст смотри. идентичный.

источник

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

LL

Lama Lover in ErlangRus

Иванов Иванов

текст смотри. идентичный.

Аааа, ахаха

источник

10:52пожаловаться #15

ИИ

Иванов Иванов... in ErlangRus

Аааа, ахаха

но вообще это известная тема, что у этих компаний общие гены и hr. прикольно что в одном случае "работа в команде", а в другом "работа с командой". вроде одно и тоже но есть нюанс..

источник

10:54пожаловаться #16

AB

Alex Bubnov in ErlangRus

Иванов Иванов

но вообще это известная тема, что у этих компаний общие гены и hr. прикольно что в одном случае "работа в команде", а в другом "работа с командой". вроде одно и тоже но есть нюанс..

что, прям совсем общие?

источник

13:50пожаловаться #17

ИИ

Иванов Иванов... in ErlangRus

что, прям совсем общие?

я в уставные документы не сморел, но могут предложить из одной в другую - профили работы несколько разные

источник

13:52пожаловаться #18

ŹR

Źmićer Rubinštejn in ErlangRus

Как в эрланге сделать функционал Task из эликсира? proc_lib:spawn? А можно пример?

источник

16:36пожаловаться #19

ML

Maksim Lapshin in ErlangRus

Źmićer Rubinštejn

Как в эрланге сделать функционал Task из эликсира? proc_lib:spawn? А можно пример?

Наличие в коде proc_lib:spawn дурной запах.

Что такое Task?

источник

16:44пожаловаться #20