gradual python with colored local type inference
play

Gradual Python with Colored Local Type Inference Joe Angell April - PowerPoint PPT Presentation

Gradual Python with Colored Local Type Inference Joe Angell April 29, 2009 Joe Angell Gradual Python with Colored Local Type Inference Motivation Python programmers use dynamic typing Lets type check what we can, and what the programmer


  1. Gradual Python with Colored Local Type Inference Joe Angell April 29, 2009 Joe Angell Gradual Python with Colored Local Type Inference

  2. Motivation Python programmers use dynamic typing Lets type check what we can, and what the programmer wants Gradual Typing lets you use type annotations to statically check code portions In Python nearly everything is first class, so to fit that paradigm we want first class parametric polymorphism Type inference saves lives Joe Angell Gradual Python with Colored Local Type Inference

  3. Overview Gradual Typing Colored Local Type Inference Integration of the two Joe Angell Gradual Python with Colored Local Type Inference

  4. Gradual Typing Example def div(a, b): if b == 0: return "err" else: return a // b def tydiv(a : int, b : int) -> dynamic: if b == 0: return "err" else: return a // b Joe Angell Gradual Python with Colored Local Type Inference

  5. Parametric Polymorphism Example from gp import * @generic("T") @generic("S") def myapply(fn : fun("T", "T", "S"), a : "T", b: "T") -> "S": return fn(a, b) def tydiv(a : int, b : int) -> dynamic: if b == 0: return "err" else: return a / b def div(a : int, b : int) -> float: ## returns int in Python 2.5 return a / b ## myapply<int,dynamic>(fdiv, 5, 2) x = inst_(myapply, int, dynamic)(tydiv, 5, 0) Joe Angell Gradual Python with Colored Local Type Inference

  6. Colored Local Intro Aimed at implicit instantiation, lambda signature inference, and local variable inference Based on F ≤ a second-order lamdbda calculus with subtyping Bidirectional partial propegation of types Local Subtype Constraint Solving Extend the language without undecidability Fall back on type annotation Joe Angell Gradual Python with Colored Local Type Inference

  7. Colored Local Example from gp import * @generic("T") @generic("S") def myapply(fn : fun("T", "T", "S"), a : "T", b: "T") -> "S": return fn(a, b) def tydiv(a : int, b : int) -> dynamic: if b == 0: return "err" else: return a / b def div(a : int, b : int) -> float: ## returns int in Python 2.5 return a / b ## myapply<int,dynamic>(fdiv, 5, 2) x = myapply(tydiv, 5, 0)) # x : dynamic print(myapply(div, x, 2)) ## runtime check from dyn to int Joe Angell Gradual Python with Colored Local Type Inference

  8. Colored Local Overview Implicit Instantiation Infer type of Infer type of Argument with Function Body Parameter type as with ? as Guess Guess Subtype Constraint: Subtype Constraint: Argument <: Return Type <: Parameter Inherited Guess Solve Constraints, Substitute TV's in Return Type with Smallest Supertype of Guess Joe Angell Gradual Python with Colored Local Type Inference

  9. Future Work Extend inference to classes and object types Extend to lambda Will Local variable inference be useful? Soundness and Completeness proofs Joe Angell Gradual Python with Colored Local Type Inference

  10. Consistency σ 1 ∼ τ 1 σ 2 ∼ τ 2 (CRefl) τ ∼ τ (CFun) σ 1 → σ 2 ∼ τ 1 → τ 2 (CUnR) τ ∼ ? (CUnL) ? ∼ τ Joe Angell Gradual Python with Colored Local Type Inference

  11. Monkey Patching and Dynamic Metaprogramming class Record: def getkey(self): return self.key r = Record() r.key = file.readline() ## setattr(object, name, value) setattr(r, file.readline(), parse(file.readline())) if isinstance(r, Record): ... elif isinstance(r, Foo): ... r.key = eval("5 if x == 0 else True") Joe Angell Gradual Python with Colored Local Type Inference

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend