Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
littlegem: so we have co-debruijn well-scoped syntax now. getting there from the presyntax was a bit more code than i'd like, but it's all fairly paint by numbers once you've worked out the basic approach.
co-debruijn is a little different from debruijn - terms are indexed by the names they actually depend on rather than what's in scope, so it means we've whittled down everything to just what matters. as part of the process, we instantly notice things like functions that ignore their argument because it's required to make the types check. and we never need to ask for a list of used variables, because terms are naturally indexed by them. kinda neat!
this seems like a much better place to start nbe from