The behavior of gradual types: a user study

There are several different gradual typing semantics, reflecting different trade-offs between performance and type soundness guarantees. Notably absent, however, are any data on which of these semantics developers actually prefer. We begin to rectify this shortcoming by surveying professional develo...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	SIGPLAN notices 2020-04, Vol.53 (8), p.1-12
Hauptverfasser:	Tunnell Wilson, Preston, Greenman, Ben, Pombrio, Justin, Krishnamurthi, Shriram
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!