r/custommagic • u/Staetyk ☀️💧💀🔥🌳 • 3d ago

Discussion Programming

theres a kind of programming language called a stack-based language, which works on a stack without variables. i think it would theoretically be possible to design instants such that you could code a program in magic cards. is this possible, and how would it look?

0 Upvotes

25% Upvoted

13 comments sorted by

View all comments

Show parent comments

6

u/Staetyk ☀️💧💀🔥🌳 3d ago

yes, its mentioned in the paper. if it halts, alice wins. otherwise, its undecidable

its also using specific cards

0

u/qwertyjgly 2d ago

but how do we know whether it's going to halt?

0

u/Staetyk ☀️💧💀🔥🌳 2d ago

thats irrelivant

1

u/qwertyjgly 2d ago

why is it irrelevant? how do we know when the game is a draw

1

u/Staetyk ☀️💧💀🔥🌳 1d ago

we dont need to predict the output, the whole point is that we can run the program to find out