Type annotation for dict[str, str]

[scolobb]

Hello,

I want to write in Hy the equivalent of the following Python snippet:

type MyType = dict[str, str]

I found I could achieve something very close with get:

(deftype MyType1 (get list str))

type MyType1 = list[str]

However, when I add a third argument to get, it gives me dict[str][str] instead of dict[str, str]:

(deftype MyType2 (get dict str str))

type Type2 = dict[str][str]

My current workaround is to use py:

(deftype Marking (py "dict[str, str]"))

but it would be so nice to avoid dropping through to Python for this apparently simple type.

Is there a way to write a Hy snippet which would translate to dict[str, str], without relying on py?

[Kodiologist]

If you write dict[str, str] with parentheses as dict[(str, str)], it's a little clearer that this is just a tuple subscript of dict, which in Hy is (get dict #(str str)). See also Hyrule's of.

[Kodiologist]

Typecheckers may also treat (get dict [str str]) the same as (get dict #(str str)).

[scolobb]

Thank you very much @Kodiologist for your very quick answer, and for teaching me Python as well as Hy! 😁 (get dict #(str str)) worked perfectly!

FWIW, (get _dict_ [str str]) results in dict[[str, str]], which Mypy doesn't seem to like:

test.py:3: error: "dict" expects 2 type arguments, but 1 given  [type-arg]
test.py:3: error: Bracketed expression "[...]" is not valid as a type  [valid-type]

But I obviously don't mind that at all, as I have your solution now.