On: Moonbit: Fast, compact and user friendly language for WebAssembly

[hongbo_zhang]

Not strictly necessary, we are not decided on it.

For func the annotation is required, while fn does not need any type annotation

[darkest_ruby → hongbo_zhang]

I would strongly recommend to only go with one syntax, and not differentiate between regular functions and lambda statement

[ledauphin → darkest_ruby]

I disagree - allowing for type inference on the closures will make for a much more pleasant language, whereas requiring type annotations on top level functions makes sense for lots of reasons.

[troupo → ledauphin]

> allowing for type inference on the closures

You can still have your type inference without forcing the unnecessary requirement that local functions be `fn` while top functions be `func`.

[andrewcobby → troupo]

I agree with this, I'm designing a similar language and have gone with this approach. Same syntax for all functions, but top-level functions require explicit type annotations (purely for documentation/sanity more so than a technical requirement).

[ledauphin → troupo]

agreed, but there's still differentiation in syntax, and I was responding to someone asking for no differentiation.