News for hackers. Stuff that matters.
Re:Linear types can change the world (1990) [pdf] by sprt on Tuesday January 09, 2018 @11:05AM (#16107113)
Re:Linear types can change the world (1990) [pdf] by tomjakubowski on Tuesday January 09, 2018 @02:21PM (#16108919)
Could you elaborate? There isn’t much of a discussion there of the benefits from making Request affine.
Re:Linear types can change the world (1990) [pdf] by carry_bit on Tuesday January 09, 2018 @04:16PM (#16110176)
headers_mut is only defined on Request<Fresh>, and you can only write body data using Request<Streaming>. This makes it so it's a type error to try to modify the headers after you already sent them.