Post #3430211
2026-06-26 14:36 UTC
@joe@f.duriansoftware.com @SRAZKVT@tech.lgbt @pinskia@hachyderm.io or you could allow size polymorphism but insist that all generic values are POD
Replies (1)
-
@zwarich@hachyderm.io 2026-06-27 15:05
@slava@mathstodon.xyz @joe@f.duriansoftware.com @SRAZKVT@tech.lgbt @pinskia@hachyderm.io You also want no unspecified padding so that (in most cases) equality, hashing, etc. are bytewise. I tried to think of a good way to have a trait system that tracks this at the type level (and composes it in the right fashion), but everything I came up with seemed very arbitrary.