elixir: map/hashdicts için tanımlayıcı tür belirtimi

Question

C# gibi jeneriklerle statik olarak yazılan dillerde, harita imzasında her bir haritanın anahtarlarının bir atom olduğunu ve her bir değerin {string, int} listesi olduğunu belirtebilirim tanımlama grubu. Elixir'de olduğu gibi işlev argümanlarının tür özelliklerini nasıl tanımlarım?

Not: Bunu okuyorsanız ve> 1500 dereceye sahipseniz, lütfen bir özellik belirtimi etiketi oluşturabilirsiniz.

Answer 1

Öyle şöyle tanımlıyoruz olacaktır:

@type bar :: %{atom => [{binary, integer}]} 

@spec foo(bar) :: bar 
def foo(bar), do: bar 

yukarıdaki ikili/tamsayı dizilerini listelerine atom tuşlarının sizin haritasıdır yeni bir tür tanımlar ve ardından tip spec o türünü kullanan foo.

Answer 2

satır içi spec için bu böyle gider:

defmodule LousyCalculator do 
    @spec add(number, number) :: {number, String.t} 
    def add(x, y), do: {x + y, "You need a calculator to do that?!"} 

    @spec multiply(number, number) :: {number, String.t} 
    def multiply(x, y), do: {x * y, "Jeez, come on!"} 
end 

bir yapı daha sonra türüdür bekliyorsanız:

@spec struct_returner_and_getter(%Struct_name1{}) :: %Struct_name2{} 

Kaynak: Ben iksir aşina değilim http://elixir-lang.org/getting-started/typespecs-and-behaviours.html