Use hegg to rewrite expressions when interpreting

This may help us avoid some redundant computations.

@alt-romes

I need to figure out how to make hegg more generic first. Consulting with @alt-romes.

I think that will be made possible by alt-romes/hegg#44.

I would like to try that branch on a sample project with a sketch of what you mean to do.

Note: horde-ad also has the need for something like this, see Mikolaj/horde-ad#103. I want to get it right for all these use cases

Okay. I'll leave a sample gist that doesn't compile in the comments.

@alt-romes

@alt-romes I fought with it the whole morning and doing something that looks like dynamic typing.

I'll proceed with this approach until we figured out indexed types.

@alt-romes

@alt-romes I've changed the implementation to be pretty dynamic using type.reflection similar to how I do it from data frame.

This means the operations can be polymorphic but the type universe is still somewhat closed.

Can you take a look at the gist again?

Navigation Menu