もうちょっと前提がある気がしますが、質問に書いてあることだけで考えると、typing.TypedDict を使うのが適当かと思います。
from typing import TypedDict
class Bar(TypedDict):
bar1: str
bar2: int
h: Bar = {
'bar1': 'baz',
'bar2': 2,
}
b = h.get('bar1', '')
単純には
h: Bar = h
としてしまう。で、ほかに
h = {
'bar1': 'baz',
'bar2': 2,
}
assert isinstance(b, str)
l = len(b) # strであると保証される
としてstrでなかった時に即時エラーにして type narrowing する
h = {
'bar1': 'baz',
'bar2': 2,
}
if isinstance(b, str):
l = len(b) # strであると保証される
else:
s = b.bit_length() # intであると保証される
としてisinstanceで type narrowing する
from typing import TypeGuard, Any
def is_bar(val: dict[Any, Any]) -> TypeGuard[Bar]:
if 'bar1' not in val:
return False
if 'bar2' not in val:
return False
if not isinstance(val['bar1'], str):
return False
if not isinstance(val['bar2'], int):
return False
return True
assert is_bar(h)
b = h['bar1'] # Barであると保証される
l = len(b) # strであると保証される
TypeGurde の関数を書いて辞書が期待通りの型であることを保証する
などになります。