Metatheory.jl Try Smaller Id Sizes

Try Smaller Id Sizes

Open philzook58 opened this issue 3 years ago • 2 comments

From our conversation: This a possibly silly micro-optimization, but it is easy to try switching from Int64 ids to UInt32 or Int32 ids.

Apr 03 '21 21:04 philzook58

It seems to stop working with Int32. I have to investigate

Apr 28 '21 10:04 0x0f0f0f

#177 uses UInt64 as ids and it can be easily resized to UInt32, but i doubt it will introduce a speedup

Jan 11 '24 18:01 0x0f0f0f