In the language comparison section of src/page-template.html, you say that Python does not have type annotations. It does, using similar syntax to pyret in that example:
def square(n : int) -> int:
return n * n
These arenʼt automatically checked and verified by default, but they can be used by various tools (see PEP484 and PEP526).
Probably a better example should be chosen for this (JavaScript? TypeScript exists but it isnʼt the same thing).
In the language comparison section of src/page-template.html, you say that Python does not have type annotations. It does, using similar syntax to pyret in that example:
These arenʼt automatically checked and verified by default, but they can be used by various tools (see PEP484 and PEP526).
Probably a better example should be chosen for this (JavaScript? TypeScript exists but it isnʼt the same thing).