Nim type inference was a joy to use although I haven't touched the language in several years due to the language community seeming to collapse a bit.