mcc@mcclure111·Dec 19, 2015A roguelike programming language: Metacompiler generates a random programming language and an interpreter that you may run exactly once864123
ianh_@ianh_·Dec 19, 2015@mcclure111 the idea of a "random programming language" is neat to think about. How would you generate random yet meaningful semantics?21
Andy Matuschak@andy_matuschak·Dec 19, 2015@ianh_ @mcclure111 Was a Strangeloop talk on random syntax, though not random semantics. Latter’s very interesting! http://delivery.acm.org/10.1145/2090000/2089159/p3-stefik.pdf?ip=50.156.116.229&id=2089159&acc=AUTHOR%2DIZED&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E6921C5E6973C27F7&CFID=739174763&CFTOKEN=12288831&__acm__=1450536052_f4cb8f21bc9af42e6f17c72acdbfd253…23
mcc@mcclure111·Dec 19, 2015@andy_matuschak @ianh_ it's a really interesting question tot hink about. i think it should be SORTA possible.1
mcc@mcclure111·Dec 19, 2015@andy_matuschak @ianh_ i mean really think about how many language designs are really just pulling pre-existing elements from a hat.21
Andy Matuschak@andy_matuschakReplying to @mcclure111@mcclure111 @ianh_ Like maybe you could generate random input for K Framework, but not sure what “uniform sampling” means…2:38 PM · Dec 19, 2015·Tweetbot for Mac1 Like
mcc@mcclure111·Dec 19, 2015Replying to @andy_matuschak@andy_matuschak @ianh_ If it is a roguelike, uniform sampling is not the goal. the goal is a sampling which is consistently "interesting"11