Ed Davies is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
OK, so why can't we have a programming language/system which does type inferences like so?:
>>> type(math.e ** (math.π * math.i))
<class 'int'>
@cobaltvelvet @edavies if you can do it easily in python do it Haskell instead and get double geek points
@edavies oh you can surely implement that in python quite easily