search

dbrattli / OSlash

Functors, Applicatives, And Monads in Python
MIT License
708 stars 50 forks source link

TypeAlias with Generic ABCs #9

Open suned opened 6 years ago

suned commented 6 years ago

type checking the follow program with mypy:

from oslash import List

IntList = List[int]

def f() -> IntList:
     return List.unit(0)

Yields error: Invalid type "StrList".