search

hylo-lang / specification

20 stars 8 forks source link

Implicit Parameters are missing from Spec #20

Open natsukagami opened 1 month ago

natsukagami commented 1 month ago

From https://github.com/hylo-lang/hylo/pull/1220

kyouko-taiga commented 1 month ago

Yes, we have not officially decided what the syntax of implicits should be. I think the discussion will re-open when we get to parts of the standard library that really use this feature. For that we'll have to implement exception and/or unsafe effects first.

dabrahams commented 1 month ago

IMO we should not wait to document the syntax we have. Changing syntax in the spec should not be a huge job.