4 ms·
You've sent me way down the rabbit hole here. I'm going back and reviewing Prolog for the first time in years (at least the syntax isn't strange since I've bee
by jnbiche 11y ago
You've sent me way down the rabbit hole here. I'm going back and reviewing Prolog for the first time in years (at least the syntax isn't strange since I've been using Erlang recently).
I don't quite understand this phrase "you'll get all An type values to attach to your AST". Do you just mean "all type values" or is "An type" a technical term?
- xixixao 11y agoI think they meant you'll get the type for A1, A2 etc.
- sklogic 11y agoSorry for a confusing wording. I was referring to the newly generated tag variables A1, A2, ..., An. The next typing pass after solving the equations is to substitute those tags with the type values found by Prolog.
- jnbiche 11y agoAh perfect, thanks. This whole thread has been a huge boon to me, very glad for all the input.