gelisam / klister

an implementation of stuck macros
BSD 3-Clause "New" or "Revised" License
129 stars 11 forks source link

Automatic defunctionalization #212

Open gelisam opened 1 year ago

gelisam commented 1 year ago

Useful for e.g. sending functions across the wire.

It's a fairly standard program-to-program transformation, and since it only affects functions but not other datatypes, this would probably be a good way to showcase our type-driven macros.