linux shell thoughts
I have on several occasions dreamt of making an alternate command line shell for linux.
Most of my initial thoughts are making something functional (so you get even more expressivity and ability to manipulate commands).
But I also just saw something that made me think: what if it had safety systems as well?
Inspired by complex effect systems in dependently typed languages: what if shell scripts were given a type that indicated what kind of access it has?
(Cont)
re: linux shell thoughts
Like, a shell script that reads files gets a "ReadsFiles" type tag. And one that writes files gets a "WritesFiles" type tag.
And then a script can only be run within a specific context - like, if you're writing a script that only reads files, you can't use any commands or other scripts that might write to files.
