HOWEVER, In most of the compiled versions you set speed/space/safety/debug levels 1-3 and get different uses of the type hints.
In SBCL, if i set safety/debug at high priority, I will get warnings or errors if I make a type mistake.
Furthermore, there is an option you can turn on to make the type infrencer tell you what it is doing.
Here's some example doc:
http://common-lisp.net/project/cmucl/doc/cmu-user/compiler-h...
You'll notice that CMUCL's compiler is called 'Python' so technically, Python supports type inference. :)
HOWEVER, In most of the compiled versions you set speed/space/safety/debug levels 1-3 and get different uses of the type hints.
In SBCL, if i set safety/debug at high priority, I will get warnings or errors if I make a type mistake.
Furthermore, there is an option you can turn on to make the type infrencer tell you what it is doing.
Here's some example doc:
http://common-lisp.net/project/cmucl/doc/cmu-user/compiler-h...
You'll notice that CMUCL's compiler is called 'Python' so technically, Python supports type inference. :)