News for hackers. Stuff that matters.

A comment on What Color Is Your Monad. Parent comment

Re:What Color Is Your Monad by Akronymus on Wednesday February 16, 2022 @02:42PM (#30364717)
Isn't that a direct result of having higher kinded types/abstracting over the type constructor?
[ Parent | on HN ]
Re:What Color Is Your Monad by jeremyjh on Wednesday February 16, 2022 @04:12PM (#30365748)
Certainly but Scala has that, and it has typeclass like implicits. I'm not sure if it can do monad-control though, here is a list of all the type extensions used for that:

             RankNTypes
           , TypeFamilies
           , FunctionalDependencies
           , FlexibleInstances
           , UndecidableInstances
           , MultiParamTypeClasses
[ Parent | on HN ]
Re:What Color Is Your Monad by Akronymus on Wednesday February 16, 2022 @05:11PM (#30366490)
One day ill make the jump from "just" f# to haskell.

While i usually could solve it in a different way, such things would have made it quite a bit nicer (the zoo of .map, .fold and such is a bit annoying)

[ Parent | on HN ]