A Transient Semantics for Typed Racket
Mixed-typed languages enable programmers to link typed and untyped components in various ways. Some offer rich type systems to facilitate the smooth migration of untyped code to the typed world; others merely provide a convenient form of type Dynamic together with a conventional structural type syst...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AOSA Inc.
2022
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |