4,500
edits
APL-eusis: Difference between revisions
Jump to navigation
Jump to search
m
Text replacement - "<source" to "<syntaxhighlight"
(Links to papers on Eleusis in APL) |
m (Text replacement - "<source" to "<syntaxhighlight") |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 17: | Line 17: | ||
* If a student makes a ''solution'' move, the other students may offer correctness predictions. A student may decline to make a correctness prediction. Any student that believes that the offered solution is incorrect should be prepared to provide arguments to the function(s) that will demonstrate that the solution is incorrect (as above). A student whose correctness prediction is in fact correct is awarded three points. Each student who correctly predicted that an offered solution is incorrect must provide their arguments to demonstrate the incorrectness; if the arguments do not in fact demonstrate that the prediction was incorrect (that is, the same result is returned by the student’s function and the Master’s function), the student loses one point. | * If a student makes a ''solution'' move, the other students may offer correctness predictions. A student may decline to make a correctness prediction. Any student that believes that the offered solution is incorrect should be prepared to provide arguments to the function(s) that will demonstrate that the solution is incorrect (as above). A student whose correctness prediction is in fact correct is awarded three points. Each student who correctly predicted that an offered solution is incorrect must provide their arguments to demonstrate the incorrectness; if the arguments do not in fact demonstrate that the prediction was incorrect (that is, the same result is returned by the student’s function and the Master’s function), the student loses one point. | ||
== Notes == | == Notes == | ||
Not all primitives are easily analyzed; it may be appropriate to restrict them. Examples of such primitives are < | Not all primitives are easily analyzed; it may be appropriate to restrict them. Examples of such primitives are <syntaxhighlight lang=apl inline>?</syntaxhighlight> ([[Roll]] or [[Deal]], relying on random selection) and <syntaxhighlight lang=apl inline>⊥</syntaxhighlight> ([[Represent]]). | ||
Functions should ideally not rely on specific values for system variables or functions like < | Functions should ideally not rely on specific values for system variables or functions like <syntaxhighlight lang=apl inline>⎕IO</syntaxhighlight> or <syntaxhighlight lang=apl inline>⎕RL</syntaxhighlight> ([[Index origin]], [[Random link]]) or system-specific functions like <syntaxhighlight lang=apl inline>⌶</syntaxhighlight> ([[I-beam]]). If they do, the Master should announce the reliance when the valence is announced. | ||
For sufficiently advanced Masters and students, consider allowing operators to be defined, as well as functions. | For sufficiently advanced Masters and students, consider allowing operators to be defined, as well as functions. | ||
== References == | == References == | ||
<references /> | <references /> | ||
[[Category:Essays]] | |||