Hacker News new | ask | show | jobs
by hyperswine 1371 days 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
1 comments

Interesting. 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