Yeah, that's what I meant to type, thanks. https://github.com/dobarkod/typedecorator https://github.com/dobarkod/typedecorator is interesting -- I was imaginin

Yeah, that's what I meant to type, thanks. https://github.com/dobarkod/typedecorator https://github.com/dobarkod/typedecorator is interesting -- I was imagining type signatures more like haskell's: addNumber :: Int -> Int -> Int translating to something like @TypeSignature([int, int, int]) def add_number(a,b): .... It's just as possible to have the compile-time program that's doing the checking process the decorators.