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

Hacker News .hnnew | past | comments | ask | show | jobs | submit

		Prevent confidential data leaks at compile time with labelled types in Sigil (inerte.github.io)
		1 point by inerte 4 months ago \| hide \| past \| favorite \| 2 comments

compressedgas 4 months ago [–]

Yes, I know about information flow control.

inerte 4 months 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact