I am aware of the issues with supporting input (e.g. read_int #45), but does the same problem arise when supporting output (e.g. print_int or print_string) ? It would be really nice to have those since beginners may want to do some "printf"-style debugging.
I am aware of the issues with supporting input (e.g.
read_int
#45), but does the same problem arise when supporting output (e.g.print_int
orprint_string
) ? It would be really nice to have those since beginners may want to do some "printf"-style debugging.