search

tov / dssl2

A data structures student language, version 2
MIT License
9 stars 4 forks source link

Classes should be contracts #11

Open tov opened 4 years ago

tov commented 4 years ago

Let's get rid of predicates like int? and use the int class instead. Examples:

def f(x: int) -> int:
    …

if isinstance(y, int):
    …