I admit I got a bit confused about how parsing would get confused on the pi vs type annotation bit. It’s mostly about grammar power right ?
Conversation
Correct. GLL or something could be able to resolve it, or a ton of backtracking, if using PEG.
2
Quote Tweet
Replying to @Iceland_jack
Nah, the issue is this combo of syntax:
- (a)
- a : A
- A -> B
- (a : A) -> B
Mentally humans prioritise the dependent function, but it’s rather hard to get a parser to do that. A different symbol could help though.