2 ms·
A bunch of them already show up in languages like rust. Generics are the more ergnomic impl of HKTs and with ownership after you pass an entity it off to anothe
by hyperswine 4y ago
A bunch of them already show up in languages like rust. Generics are the more ergnomic impl of HKTs and with ownership after you pass an entity it off to another context, you cant use it again, which I guess isnt exactly linear per se
- cercatrova 4y agoInteresting. Given the comments from some others [0] when I asked about HKTs in Rust, they said something quite the opposite from you. Curious to hear your thoughts on those comments. [0] https://news.ycombinator.com/item?id=32829806#32830146 https://news.ycombinator.com/item?id=32829806#32830146