Comment

Comment by sesqu

Weight is a weaker condition, since you can construct a polynomial weight sequence that results in linear height.

In general, height is the easiest thing to restrict, but doing so restricts dynamic performance optimizations - you can't use splay trees, for instance

parent sesqu 7 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton