Re:Idiomatic Monads in Rust
by steveklabnik on Thursday April 04, 2019 @02:18PM
(#19575436)
> what is the rational against higher-kinded types?
There isn't so much a rationale against them, but rather, nobody has put forward a coherent proposal for them. Changes only happen when proposals are made and accepted, and there's never really been one for HKT.
That said, there are arguments that apply fairly generally that would apply there too, namely "is the additional complexity worth it"?
There isn't so much a rationale against them, but rather, nobody has put forward a coherent proposal for them. Changes only happen when proposals are made and accepted, and there's never really been one for HKT.
That said, there are arguments that apply fairly generally that would apply there too, namely "is the additional complexity worth it"?