search

noteed / syntactical

Haskell library for distfix expression parsing
Other
7 stars 0 forks source link

Textual algorithm definition? #1

Open WildCryptoFox opened 4 years ago

WildCryptoFox commented 4 years ago

Hello.

I'm trying to parse mixfix/distfix operators but I cannot find any descriptions for the modified variation you're using. I'm using Rust, not Haskell so can't just use your code unfortunately. Can you link to your references or describe the modified algorithm?

Thank you.

noteed commented 4 years ago

Hi,

I started with a regular shunting yard algorithm and modified it. I didn't follow an established or described algorithm. I think Agda allows mixfix operators but from what I recall (about 10 years ago!), their parser is not similar to mine.

Actually I meant to better describe and publicize this little library but never did.

Cheers

WildCryptoFox commented 4 years ago

@noteed Okay. Although it'd be nice to have a description; I'll retract my demand as I've switched from Rust to Lean and with this, from shunting yard to Pratt where this is a already natural without modifications. Thanks anyway. I'll leave this open, maybe someone else will describe it for you! :)