hey at least once your code is correct it’ll stay that way. You won’t have to deal with things like old and new versions of your program disagreeing on what time it was in Iran for the last month and a half of 1978

that’s not really true anymore is it though? in my limited experience now that nearly all AI is statistical, it’s mostly implemented in python, R, matlab, or the low level languages that implement their stats libraries like C and fortran

when you’re so much of a nerd that your favourite lang isn’t in the meme (it’s Ada btw)

how is a script not a program??

RISC OS uses periods and doesn’t have file extensions

this looks like writing in the large seal script

I’m not sure if there’s anything enable_if can do that concepts can’t do somewhat better but yeah there’s definitely a lot of subtleties that reflection is going to make nicer or possible in the first place

You already can do that with C++20 concepts and the requires expression

template <typename T>
concept has_member_foo = requires(T t) {
    t.foo();
};

// Will fail to instantiate (with nice error 
// message) if t.foo() is ill-formed
template <has_member_foo T>
void bar(T t) {
    // ...
}

// abbreviated form of above
void baz(has_member_foo auto t) {
    // ...
}

// verbose form of above
template <typename T> requires
    has_member_foo<T>
void biz(T t) {
    // ...
}

// same as above but with anonymous concept
template <typename T> requires
    requires(T t) { t.foo(); }
void bom(T t) {
    // ...
}

// If already inside a function
if constexpr (has_member_foo<T>) {
    // ...
}

// Same but with anonymous concept
if constexpr (requires(T t) { t.foo(); }) {
    // ...
}

C++26 reflection is compiletime