AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Haskell - Higher-Kind of Types Are Less Powerful Than Generic Associated Types
Higher-kind of types is that you can have trait bounds that apply to all generic associated types. This in conjunction with another upcoming feature Will make it possible to do asynch methods in in traits. The idea was you should be able to just kind of like return unboxed futures from any kind of like method That wants to return a bog standard future, right? So this should allow that and enable that. It's still a bit Restricted I think there's still some things to implement but I think yeah Well, we'll link to the the blog post that specifically talks about Gatson about the the map status of itthat has a bunch more details.