Should Adept support type inference?

[ghost]

Discussed in https://github.com/AdeptLanguage/Adept/discussions/158

^{Originally posted by ghost September 30, 2023} It's something very useful to have. Type inference is not something specific to dynamic languages. Static typing languages still can support type inference. For example, C++'s auto.

LSP is available now (I have never tested it, though). But, it's time to consider support for type inference.

[IsaacShelton]

Type inference could be re-considered now yes, although it might not appear until v3.0 since it may require some reworking of compiler internals

[ghost]

Which syntax will you use for type inference?

[IsaacShelton]

The syntax is still undecided,

the most promising is something like let x = 10 or x := 10

[ghost]

This will happen on Adept 2.8 or Adept 3.0?

[IsaacShelton]

Most likely not until 3.0, as the 2.8 compiler would need some significant restructuring for it to work