The X protocol works over sockets. Maude supports sockets. What other reason do we need?
See x-test.maude for sample code.
To see a window, you need to tell your X window server to listen on
port 6000 - recent installations of Linux do not do this by default,
but Maude cannot open Unix domain sockets at the moment, so we have to
go this route. (If your firewall blocks port 6000, as it should, this
is safe to do.) After that, start Maude, load x-test.maude and
evaluate erew start-app .. I have implemented a button and a simple
label to illustrate how higher-level programming of a GUI in Maude
would look like.
- Implement the missing parts of the X protocol
- Find a reason why you'd want to do this