Ezra's Research

Things to change when we re-do it:

• OCaml is annoying:
  • Syntax too verbose.
  • Syntax errors are unhelpful (Syntax error)
• Build objects into a build directory.
• Get rid of sl_ prefix on everything.
• Eliminate 'conn which infects all the expression types.
• Need comment syntax in Links
• Only one expression is allowed per batch file. Want more to support easy testing.

Questions:

• Why are results and expressions different types? Answer: because it separates eval'd and uneval'd objects.
• Why is the environment split into two values, globals and locals? At least, make it (globals, locals)? Answer: semantics are different; also we want to avoid marhsaling "static" data.
• How best to do a testing framework in Links?