Lizardsquid, maker of noises @lizardsquid@computerfairi.es

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.

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)

@Tattooed_mummy I do, because I find it useful for working out timezones with the people I follow - like, I know vaguely what time it is in other parts of the world, which means I know whether someone is posting just as they're waking up, in the middle of their day, or just before bed.

@BatElite oh no!

@pup_hime@toot.cat cute!

@softgoat@chitter.xyz XD

@BatElite *the LOUDEST chittering you have ever heard*

@codl wonderful sounds, 11/10

@codl yeehaw for that!

*chitters quietly*

@werefox I had an ok day 💜

@werefox good morning Alice!

@eri good morning erika!

@YoteDragon aaaaaaawake!!!

@Nine look Gordon, ropes!

@dwf woah nice!!!

@pup_hime@toot.cat good job!

@Oneironott goodnight!