我正在使用for循环来迭代整数范围，例如：
for (0..256) |i| {
我的问题是我需要i是 类型u21，但目前是。我可以直接在循环内usize使用手册来执行它，但我想知道是否有更好的方法。@intCast
我希望下面的方法可以工作，但它仍然给我一个usize：
for (@as(u21, 0)..256) |i| {
有什么建议可以优雅地实现这一点吗？
我有一种代表持久记录的类型。我想要一个非常相似的类型来表示应该发布以创建新记录的数据。
这是完整的类型：
data Record = Reading
{ id: UUID
, value: String
...
}
“新”类型与减去“id”相同，该“id”将由数据库自动生成。我如何定义这个类型？我正在使用servant 来定义API。
我当前的策略是在类型和所有字段前加上“new”前缀，这有效，但对于多字段模型来说是多余的。我还看到了嵌套策略，其中我有一个共同的共享类型。我也考虑过将 id 设为可选，但我真的不想发布它。