Re:Ask HN: What would be your “perfect” programming language?
by hyperswine on Wednesday September 14, 2022 @07:19PM
(#32844818)
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
[ Parent
| on HN ]
Re:Ask HN: What would be your “perfect” programming language?
by cercatrova on Wednesday September 14, 2022 @09:03PM
(#32845688)
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.