FILL: brief language summary
- Language resources:
- FILL: links to a few websites, repositories, papers, videos, etc.
- If-T version: FILL: version number
- Implementation: FILL: path to main file
Q. What is the top type in this language? What is the bottom type? What is the dynamic type? If these types do not exist, explain the alternatives.
FILL in here
Q. What base types does this implementation use? Why?
Q. What container types does this implementation use (for objects, tuples, etc)? Why?
Q. How do simple type tests work in this language?
Q. Are there other forms of type test? If so, explain.
Q. How do type casts work in this language?
Q. What is the syntax for a symmetric (2-way) type-narrowing predicate?
Q. If the language supports other type-narrowing predicates, describe them below.
Q. Are any benchmarks inexpressible? Why?
FILL in here
Q. Are any benchmarks expressed particularly well, or particularly poorly? Explain.
Q. How direct (or complex) is the implementation compared to the pseudocode from If-T?
Q. Are any examples inexpressible? Why?
FILL in here
Q. Are any examples expressed particularly well, or particularly poorly? Explain.
FILL in here
Q. How direct (or complex) is the implementation compared to the pseudocode from If-T?
FILL in here