|
|
|
|
|
|
by hardwaresofton
3800 days ago
|
|
|
Yeah, that's what I meant to type, thanks. 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. |
|
|