But whether a program is syntactically valid is not an easy thing to decide in a language like racket...
On Thu, Sep 5, 2019, 9:45 AM Laurent <laurent.ors...@gmail.com> wrote: > Probably only those that output Chaitin's constant ;) > > But otherwise I would guess "syntactically valid", in which case it would > be easier to consider only lambdas with only one argument. > > Though if you want to also use all of Racket's primitives (that is, > including I/O), then good luck. My closest guess would be: > (for/list ([i (in-naturals)]) > (mflatt i)) > > On Thu, Sep 5, 2019 at 2:31 PM David Van Horn <dvanh...@cs.umd.edu> wrote: > >> What do you mean by valid? >> >> On Thu, Sep 5, 2019, 9:05 AM Adam Golding <adamgold...@gmail.com> wrote: >> >>> What is the shortest/smallest racket program (ithat enumerates all and >>> only valid racket programs? >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Racket Users" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to racket-users+unsubscr...@googlegroups.com. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/racket-users/0b83b7d7-ea3e-434a-b6c4-f394a97fe4fd%40googlegroups.com >>> <https://groups.google.com/d/msgid/racket-users/0b83b7d7-ea3e-434a-b6c4-f394a97fe4fd%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to racket-users+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/CAFJHQkGS_%3DM9G%3DGaLXZgctO6UC_cR9VpqjXt5q211UOeOq2dFw%40mail.gmail.com >> <https://groups.google.com/d/msgid/racket-users/CAFJHQkGS_%3DM9G%3DGaLXZgctO6UC_cR9VpqjXt5q211UOeOq2dFw%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAFJHQkHG4wEpekEEfHf2NmHyPsQSZ%2BOpEx%3D1uNXQ5q6wJKG_1w%40mail.gmail.com.
