> On Apr 2, 2016, at 1:40 PM, Jos Koot <jos.k...@gmail.com> wrote:
> 
> A compiler produces code (in this phase data) that can be executed.
> Babbage started with a machine that made distinction between program and
> data.
> In a Von Neuman machine there is no distinction between data and programs.
> In lambda calculus neither.
> Say you have a program that allows the user to answer questions
> and assume the program behaves differently depending on the answers.
> Are the answers just data or do they form a program?
> Executable code can be data and reversely.
> What do you want your computer to do when ordering it to copy a program?
> What should DrRacket do when you ask it to prepare an executable file?
> Although in general it is wise to make a distinction between program and
> data,
> ultimately enforcing this distinction would prohibit avanced programs.
> My 2 (or may be only 1) cents.
> Jos

FWIW, it appears that the restriction here is much simpler; specifically, pages 
can’t be writable and executable *simultaneously.* Moreover, a comment by 
Matthew on the github bug suggests that this might … have a relatively 
straightforward fix?

John



-- 
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.
For more options, visit https://groups.google.com/d/optout.

Reply via email to