LiLFeS: Problems
Number of types
- Two-dimensional array implementation (offline copmputation of glbs)
- Translated LinGO has 8107 types. It requires more than 600M bytes memory only for the array.
- Leaf types must be supported somehow.
- String types are supported as an alternative.
- In our current implementation, introduction of the technique other than a two dimensional array method will cause a drawback to the speed. (10%?)