Questions tagged [gradual-typing]
Use this tag for questions about gradual type systems, where statically- and dynamically-typed code can exist within the same program
3
questions
9
votes
1
answer
2k
views
Is Epic Games' Verse gradually typed?
I've just watched an interview on YouTube with Simon Peyton Jones where they talk about Epic's Verse language. Here (at roughly 51:30) they start talking about the type system.
Simon mentions that ...
7
votes
2
answers
750
views
Empirically, what are the implementation-complexity and performance implications of "unboxed" primitives?
I'm designing a Python-like language: bytecode-compiled, brace-free syntax, reference semantics for variables. Among many differences from Python, I want to support a limited form of static typing. I ...
11
votes
2
answers
341
views
What are the run-time implications of gradual typing?
Statically-typed languages specify the types of variables and functions and reject programs they know won't work before they run. Dynamically-typed languages don't include these annotations or checks, ...