Top all-time · #21570
Hugo's Blog
Personal blog · hugopeters.meprogramming
Hugo's Blog is a personal blog at hugopeters.me about programming. Since 2021, 3 different Hacker News readers have linked it 3 times, most often “Higher Kinded Types in Rust”. It is still writing: the last post was on 2026-02-13, and you can follow it by feed.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
HN readers link Hugo's posts on Rust's missing higher-kinded types and how awkward they are to emulate. Comments discuss the syntactic noise of the workarounds and whether Rust should use them.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Higher Kinded Types in Rust3 people · 3 mentions · first linked 2021-12-10
What Hacker News says?
To use traits like you would type classes in Haskell, for example to define functors or monads in a general way, you need higher kinded types. Which can kind[oh, what a pun] of be implemented in Rust. So yes! You can use higher kinded types in rust. Whether you should I will leave up to you. But it certainly doesn't seem like a very attractive option for most projects considering the syntactic noise of the implement…
Comment linking /posts/14/
on “I would like a job writing Haskell”Submitted Higher Kinded Types in Rust as a story · 47 points
HN discussionThis is completely true. "Regular" Rust and C++ is fairly readable, but a quick Google for "Higher Kinded Types in Rust" ends up with [0]: fn ap<A, B, F: Fn(&A) -> B>(x: &<Self as Plug<F>>::R, arg: &<Self as Plug<A>>::R) -> <Self as Plug<B>>::R where Self: Plug<A> + Plug<B> + Plug<F>; [0] https://hugopeters.me/posts/14/
Comment linking /posts/14/
on “A Rust shaped hole”