News for hackers. Stuff that matters.

A comment on Becoming Productive in Haskell. Parent comment

Re:Becoming Productive in Haskell by DanWaterworth on Friday April 24, 2015 @09:26AM (#9433104)
This is actually possible with the ConstraintKinds extension in GHC.

    type Mappable = Functor
    type NotScaryFluffyThing = Monad
This makes Mappable a synonym for Functor and likewise for Monad. (This is not necessarily a good idea; it goes against the principle of least surprise, but it'll work).
[ Parent | on HN ]
Re:Becoming Productive in Haskell by AnimalMuppet on Friday April 24, 2015 @03:24PM (#9435507)
My code definitely needs more NotScaryFluffyThings in it.
[ Parent | on HN ]
Re:Becoming Productive in Haskell by TazeTSchnitzel on Friday April 24, 2015 @10:30AM (#9433528)
Isn't aliasing types a core language feature?
[ Parent | on HN ]
Re:Becoming Productive in Haskell by lclarkmichalek on Friday April 24, 2015 @10:42AM (#9433628)
Functor and Monad are technically not types but type classes (i.e. interface vs an implementing class), hence why simple/naive type aliasing is not enough.
[ Parent | on HN ]