Hacker News Reader

He's not the first mathematician to get annoyed by how poorly designed the numeric classes in the Haskell prelude are. But there are better alternatives already out there. http://hackage.haskell.org/package/numeric-prelude

View on HN

No, he seems to get tripped up by the open world assumption, which is a limitation of Haskell's type system. It allows separate compilation of different modules, for example.

But nobody said that Haskell's type system is without limitations, right?

On what grounds are you affirming that this guy http://symbo1ics.com/blog/?page_id=2 is a mathematician?

On what grounds are you affirming that guy's not?

I didn't make any affirmation. I don't know what the criteria are for coming under the heading "mathematician". I would count an undergraduate degree as adequate -- but he is 20; he does not call himself a mathematician; he says rather that he is 'passionate about mathematics, mathematical exposition and programming'. One could also study the internal evidence of the post.

Reply on news.ycombinator.com