undefined | Better HN

0 pointstroupo2y ago0 comments

> 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`.

0 comments

andrewcobby2y ago

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).

ledauphin2y ago

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

j / k navigate · click thread line to collapse

0 pointstroupo2y ago0 comments

> 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`.

0 comments

andrewcobby2y ago

ledauphin2y ago

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

j / k navigate · click thread line to collapse