Versions Compared

Old Version 31

changes.mady.by.user Marshall Schor

Saved on

compared with

New Version 32

changes.mady.by.user Marshall Schor

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Better support for "run-time" dynamic typing

Moving towards Adding support "dynamic" typing - see paper: http://aclweb.org/anthology/W14-5209.  An interesting thought is to add this without giving up the compile-time speed and checking advantages of statically strong typing.  The result would be some kind of hybrid, with more performance available to fully specified static definitions.

Supporting "combining specifications" that map type systems

...