Вопрос. Есть ли возможность так задать спек, чтобы он разрешал

Question

Вопрос. Есть ли возможность так задать спек, чтобы он разрешал

вот такие два варианта вызова функции?
@spec foo(a, b) :: c
@spec foo(b, a) :: c

Вот такое не очень хорошо:
@spec foo(a | b, a | b) :: c
так как разрешает вызов с двумя параметрами одного типа.

#elixir #programming #russian

0

07.05.2021

9 ответов

10 просмотров

Евгений Автор вопроса

Lama Lover
Такой возможности нет

Печаль.

0

07.05.2021

Hara Red

defmodule Demo do @spec foo(integer(), float()) :: float() @spec foo(float(), integer()) :: float() def foo(a, b) when is_integer(a) and is_float(b) do do_foo_if(a, b) end def foo(a, b) when is_float(a) and is_integer(b) do do_foo_fi(a, b) end @spec do_foo_if(integer(), float()) :: float() defp do_foo_if(a, b) do a + b end @spec do_foo_fi(float(), integer()) :: float() defp do_foo_fi(a, b) do a + b end end Вот на такое почему-то не ругается что есть overlaping domains.

0

07.05.2021

Lama Lover

Евгений
Печаль.

Я бы подумал о том зачем это нужно, очень похоже на XY, потому что я с таким вообще никогда не сталкивался. В чём корень проблемы?

0

07.05.2021

Евгений Автор вопроса

Lama Lover
Я бы подумал о том зачем это нужно, очень похоже н...

Да нет особой проблемы на самом деле. Просто дал функциям разные имена и все.

0

07.05.2021

Lama Lover

Евгений
Да нет особой проблемы на самом деле. Просто дал ф...

Во, это уже круто. Просто меня смущает, что это очевидно какой-то оператор из серии умножения вектора на число, который приводится к умножению вектора на вектор

0

07.05.2021

Евгений Автор вопроса

Lama Lover
Во, это уже круто. Просто меня смущает, что это оч...

Это операция вычитания над множествами хранящимися в ets и в MapSet.

0

07.05.2021

Lama Lover

Евгений
Это операция вычитания над множествами хранящимися...

А почему тогда нельзя из мапсета вычитать мапсет, например?

0

07.05.2021