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?
FILL in here
Q. What container types does this implementation use (for objects, tuples, etc)? Why?
FILL in here
Q. How do simple type tests work in this language?
FILL in here
Q. Are there other forms of type test? If so, explain.
FILL in here
Q. How do type casts work in this language?
FILL in here
Q. What is the syntax for a symmetric (2-way) type-narrowing predicate?
FILL in here
Q. If the language supports other type-narrowing predicates, describe them below.
FILL in here
Q. Are any benchmarks inexpressible? Why?
FILL in here
Q. Are any benchmarks 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
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