Proposed ? Syntax

[micahkendall]

Currently, boolean logging syntax is on expressions like so:

let boolean_var = boolean_expression?

anywhere a boolean expression is, it may be logged.

We can introduce a less flexible, but more visually simple syntax, usable in any variable declaration of booleans:

let boolean_var? = boolean_expression

This shifts the operator to the LHS. If the boolean expression is very complex, this lets you avoid an extra layer of parenthesis, and makes your boolean logic clearer.

Potential problem: confusion with optionals. Suggestion: use different operator overall. Suffix exclamation point (true!) makes the most sense to me.

@KtorZ

[KtorZ]

Is it really useful though? At present, you can add the trace-if-false operator when calling the identifier in an expression, so you could simply do:

let boolean_var = boolean_expr 

boolean_var? && some_other_predicate?

Plus, I wouldn't actually remove or change the syntax for existing bool expressions. Only add a new syntax / allow the operator to be set on identifiers.
I am still skeptic about what it would actually buy us? And it introduces some questions: when should we show the trace? The only reasonable answer I believe is "when evaluated" but that may now be quite confusing as it may happen far from the declared point.

[rvcas]

hm I'm not feeling it to be honest