General Questions

[andrew-johnson-4]

LM is growing as a project and there are some learning curves to overcome. All questions are welcome here on this thread.

[alex-s168]

why is there HashtableEq and HashtableIs

[andrew-johnson-4]

Eq uses == for equality testing. Is uses is for equality testing. The {} syntax uses HashtableEq.

The AST -> Type index uses HashtableIs because that is faster and also semantically we don't want structural equality.

[andrew-johnson-4]

I would like to parameterize this eventually, so the type of hashtable would be Hashtable<k,v,equality-comparison=$"==",hash-function=$"deep-hash">

or something like that. Maybe a type class idk.