GHC 8.0.1 is available

Re:GHC 8.0.1 is available by eru on Sunday May 22, 2016 @07:05AM (#11748103)

> What would be nice is if Haskell would allow any name collision so long as it could use the type system to disambiguate the function.

That would need very careful design to work well with type inference, I suppose?

[ Parent | on HN ]

Re:GHC 8.0.1 is available by johncolanduoni on Sunday May 22, 2016 @08:56AM (#11748430)

Idris[1] already has a working system for this, and it's type system is more complicated (it has much more support for dependent typing). It allows this principle for regular function names as well.

[1]: http://www.idris-lang.org/

[ Parent | on HN ]

Re:GHC 8.0.1 is available by eru on Sunday May 22, 2016 @07:10PM (#11750692)

Thanks! I'm glad we have a working model we can probably copy from.

[ Parent | on HN ]