You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Type annotations in Harmony, similar to type annotations in Python, would greatly improve the experience of implementing and testing code. A proposal for type syntax is something like the following (using Diners.hny as an example):
Ideally, there would some type inferencing to avoid excessive type annotations, such as inferencing the type of i as int, left and right as int, or forks as a list of the return type of Lock. This change would require changes to the syntax of the language, but they likely would not significantly affect the overall structure of the existing parser.
The text was updated successfully, but these errors were encountered:
Type annotations in Harmony, similar to type annotations in Python, would greatly improve the experience of implementing and testing code. A proposal for type syntax is something like the following (using
Diners.hny
as an example):Ideally, there would some type inferencing to avoid excessive type annotations, such as inferencing the type of
i
asint
,left
andright
asint
, orforks
as a list of the return type ofLock
. This change would require changes to the syntax of the language, but they likely would not significantly affect the overall structure of the existing parser.The text was updated successfully, but these errors were encountered: