User joins server, sends their name + room-to-join
Server confirms, sends back list of members
User sends private message
User receives private message
Todo
[ ] implement basic outline with only User + Server
[ ] add a User, so 2 people interact through Server
[ ] let members list arrive out of order with private messages
First-draft code, 1 User 1 Server
User.gen_id("tom") ~> Server.(new_id)
User.gen_room("chat1") ~> Server.(new_room)
Server.do_join() ~> User.(room_members) # use new_id + new_room to register the user and send list of members
User.gen_message() ~> Server.(new_msg) # send "hello world" or something
# Server propagates message to other users?
Server.gen_message() ~> User.(new_msg)
Inspiration: https://www2.ccs.neu.edu/racket/pubs/cgjf-jfp20.pdf https://programming-journal.org/2024/8/8/ (artifact) https://zenodo.org/records/10003838
Outline:
Todo
First-draft code, 1 User 1 Server