Prevent confidential data leaks at compile time with labelled types in Sigil

Y	Hacker News new \| ask \| show \| jobs

	Prevent confidential data leaks at compile time with labelled types in Sigil (inerte.github.io)
	1 points by inerte 66 days ago

1 comments

compressedgas 65 days ago

Yes, I know about information flow control.

link

inerte 65 days ago

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.

link