fmm
fmm copied to clipboard
Nominal typing
Problem
- Type check with structural typing is complex and takes a long time.
- LLVM 4.0 (or 3.0?) switched to full nominal typing for this reason.
Solution
- Use nominal typing in most places.
- Functions should still allow structural typing.