Beskid is a statically typed programming language and platform for everyday software—services, CLIs,...