search

AaronKutch / awint

Arbitrary width integers
Other
10 stars 0 forks source link

matching macro ideas #28

Open AaronKutch opened 1 year ago

AaronKutch commented 1 year ago

After seeing https://thunderseethe.dev/posts/row-types/ I wonder if we want to name it "injection", in contrast to "concatenation". We will have short literal matching, but definitely want some kind of ability to define sum types. We may also want to create product types and retroactively do something with the concatenation macros.

AaronKutch commented 9 months ago

We also need a "field comparison" function