Typing Lists and Tuples in Elixir

Re:Typing Lists and Tuples in Elixir by ryangs on Wednesday August 28, 2024 @02:31PM (#41382664)

But the nonempty list never has an element, so we don't need to worry about the type mutation of removing an element from it. Filter just returns a nonempty list.

[ Parent | on HN ]

Re:Typing Lists and Tuples in Elixir by jerf on Wednesday August 28, 2024 @04:15PM (#41383794)

"But the nonempty list never has an element, so we don't need to worry about the type mutation of removing an element from it."

NonEmpty always has an element.

[ Parent | on HN ]