What type functions mean on a language level

[Stefan Koch]

On Sunday, 3 January 2021 at 11:49:34 UTC, Ola Fosheim Grøstad 
wrote:
> On Saturday, 2 January 2021 at 22:47:29 UTC, Stefan Koch wrote:
>> I don't see how one can stuff all that into a statically 
>> available, datastructure without blowing out compile times.
>
> Build it dynamically using caching (e.g. tables)?
> That is the standard way of doing unification (e.g. prolog)?

If I expose it as a 'real' datastructure rather than a langauge 
builtin I cannot build it dynamically, it needs to be there for 
use at runtime as well.