News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.