An idea by
Emily Wang posted in
Internet Software & Services
on 05 Aug, 2023
Running applications expose information on what information they can provide and what they will accept. Bring type systems up into the desktop environment. Everything - including programs, have a type and have typed parameters. A system should help you fulfil type arguments for running programs. For example: