boolif - A built-in conditional if statement, that requires the boolean type

[mark-todd]

The below is similar to the point stated in the in-line type hints discussion, but I’m copying here in case it’s useful to people:

boolif would be equivalent to this, without the need to add additional functions:

from typing import assert_type as at

if at(foo, bool):
  print('here')

The only issue here as I mention in the other post is brevity, although this syntax can be made pretty brief.

In-line type hints for briefer use in `if`, `while` and `for` (perhaps some others)

Wow this is cool! Haven’t seen this function before - you’re right it does provide the same utility. I suppose the only point remaining is brevity - the ! syntax I describe is quite a bit shorter than using this typing function, and also would come as a built-in - so no need for the import at the top. That said, with a short choice of import name it can be quite brief: from typing import assert_type as at # here let's assume get_list comes from an external library def get_list(): r = random.…