Conversation

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Jul 29, 2021

lol I was just working on figuring out how to add unification to my language… 😭 Would it be possible to implement this in a succinct way? I've found stuff like the elaboration-zoo super helpful for learning this stuff, eg. github.com/AndrasKovacs/e

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Brendan Zabarauskas

@brendanzab

Jul 29, 2021

Awesome! I think I'll stick to unification for my work project (Fathom), but this stuff sounds incredibly handy for Pikelet! Would love to see a cut down, pedagological implementation if you ever get the time! I'll also check out those issues too twitter.com/jonmsterling/s

This Tweet is unavailable.

Replying to

and

Ie. unification for holes and implicit arguments, that is… But yeah I find implicit arguments a bit weird tbh, and would love to understand how different binding structures relate - eg. in function/record formers/introductions, and in let exprs… this seems possibly related?

3:27 AM · Jul 29, 2021Twitter Web App