Re:Idris: A Language for Type-Driven Development
by Too on Saturday January 21, 2023 @01:58AM
(#34464494)
Same. As long as you sanitize dynamic serialized input like json while parsing this is not a problem.
Later versions are very strict even about dynamic types, treating them as Union[] rather than Any, forcing you to check the type before using it. Likewise with strict non nullable.
Later versions are very strict even about dynamic types, treating them as Union[] rather than Any, forcing you to check the type before using it. Likewise with strict non nullable.