3 ms·
type BlogPostThatFitsInSMS = BlogPost<FixedString<150>> No one would write this type in the real world (and most type systems can’t encode it), but you see low
by chuckadams 3y ago
type BlogPostThatFitsInSMS = BlogPost<FixedString<150>>
No one would write this type in the real world (and most type systems can’t encode it), but you see lower-level sorts of reasoning all over the place in type systems.