News for hackers. Stuff that matters.

A comment on Parse, Don't Validate (2019). Parent comment

Re:Parse, Don't Validate (2019) by secdeal on Tuesday March 07, 2023 @02:38PM (#35060098)
Not quite, 'a' is the type of the elements 'NonEmpty a' contains.

It is rather the subclass of some kind of 'Iterable a'.

[ Parent | on HN ]

There are no comments on this comment yet.