с помощью Int или номер в словаре Вязов

Question

Я определила свою модель, чтобы быть Model = Dict Int String однако во время компиляции, я получаю number вместо Int так, что это неправильно:

The 2nd argument to function `get` is causing a mismatch. 

71|    Dict.get 3 model 
          ^^^^^ 
Function `get` is expecting the 2nd argument to be: 

    Dict number v 

But it is: 

    Model 

и, к сожалению Elm РЕПЛ делает то же самое возвращающегося Dict number вместо Dict Int.

> Dict.fromList [ (1, {a= 1})] 
Dict.fromList [(1,{ a = 1 })] : Dict.Dict number { a : number1 } 

Некоторые языки, такие как Haskell разоблачить Int как, а также Integer, а также number Как я могу заставить его быть целым числом?

Answer 1

Вы могли бы предоставить соответствующий код?

Следующие компилирует и отлично работает для меня:

import Dict exposing (Dict, fromList, get) 

type alias Model = Dict Int String 

model : Model 
model = fromList [(1, "apple"), (2, "banana"), (42, "giraffe")] 

test : Maybe String 
test = get 2 model