All Questions
Tagged with static-typing gradual-typing
2
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 ...
- 193
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, ...
- 13.1k