GHC 8.0.1 is available

Re:GHC 8.0.1 is available by gizmo686 on Saturday May 21, 2016 @11:30PM (#11747276)

Even if it doubles the number of import statements, I still don't see how that is more than an inconvenience. Having said that, the record issue alone is not the only reason to need qualified imports (as they are also used to resolve collisions of functions that are not auto generated from records).

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.

[ Parent | on HN ]

Re:GHC 8.0.1 is available by chadaustin on Sunday May 22, 2016 @01:26PM (#11749405)

Your argument generalizes to "The lack of any feature that can be worked around is an inconvenience", which, okay, but it's not a very useful statement. By that definition, lots of really important things are inconveniences.

[ Parent | on HN ]

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 ]