Ivan Levkivskyi

E255289

Ivan Levkivskyi is a Python core developer and type system expert known for his contributions to the language’s typing features and pattern matching design.

All labels observed (1)

Label Occurrences
Ivan Levkivskyi canonical 4

How this entity was disambiguated

Statements (26)

Predicate Object
instanceOf Python core developer ⓘ
programming language designer ⓘ
software engineer ⓘ
type system expert ⓘ
areaOfExpertise Python language design ⓘ
static typing for dynamically typed languages ⓘ
type system design ⓘ
community Python community ⓘ
contributedTo Python pattern matching design discussions ⓘ
Python type hints ⓘ
Python typing module ⓘ
field programming languages ⓘ
software engineering ⓘ
static analysis ⓘ
type systems ⓘ
influenceOn design of Python pattern matching features ⓘ
evolution of Python typing ⓘ
knownFor contributions to Python typing ⓘ
design of Python pattern matching ⓘ
work on gradual typing in Python ⓘ
work on static type checking for Python ⓘ
language Python ⓘ
notableWork contributions to structural pattern matching in Python ⓘ
design of typing features in Python ⓘ
role Python core developer ⓘ
typing expert in the Python community ⓘ

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

PEP 622 → author → Ivan Levkivskyi ⓘ
PEP 636 → author → Ivan Levkivskyi ⓘ
PEP 483 → author → Ivan Levkivskyi ⓘ
PEP 560 → author → Ivan Levkivskyi ⓘ