Comment on Prevent confidential data leaks at compile time with labelled types in SigilComments−compressedgas5moYes, I know about information flow control.−inerteOP5moYeah, definitely. IFC is part of the background here. What I’m doing in Sigil is a lot narrower: labelled types and explicit boundary rules, not a full-blown IFC system. Curious what you think that misses.
Comments
Yes, I know about information flow control.
Yeah, definitely. IFC is part of the background here. What I’m doing in Sigil is a lot narrower: labelled types and explicit boundary rules, not a full-blown IFC system. Curious what you think that misses.