웹 파이선 프로그래밍

(variable) var1: Literal[3]의 의미는 말 그대로 

var1 변수가 리터럴 3을 갖는다는 의미로 보입니다.

var1이 3이라는 의미이며 문제는 없습니다.

type이 명시되지 않은 이유는 Python이 동적인 언어이므로

런타임까지 타입을 명확히 알 수 없기 때문입니다.

이는 파이썬 버전과 확장 프로그램 유무에 따라 달라질 것으로 보입니다.

변수에 할당된 값과 타입을 보고 싶으시다면 디버깅이나 type()함수를 이용해보시는 것을 추천드립니다.