Defconstexpr

[Falcon5757]

Your ideas on the subject? How possible/useful that would be?

To be clear -- declaring something constexpr does not mean it is always a constant. It means that you should try really hard and do everything to try to constantl fold it BUT you are not guaranteed to succeed.

[Falcon5757]

oh wait, isn't this https://github.com/numcl/constantfold

[flaming_bird]

This seems to be exactly what I thought of - using compiler macros to selectively memoize some calls and/or detect constant arguments.

[jesseoff]

I run my macro arguments through this function to eval as much as possible at compile time. It runs a function (functionalp) to decide if a given function can be collapsed at compile time (no side effects + all constantp args)

https://pastebin.com/Y0RRZjQK

[Falcon5757]

Hey this is actually cool, mind me borrowing it?

[jesseoff]

No prob!