Conversation

AMA about languages, types, etc. (Same lack of guarantee, but I’ll consider this an interesting challenge to see what I can explain effectively.) twitter.com/typeswitch/sta

This Tweet is unavailable.

Brendan Zabarauskas

@brendanzab

Jul 1, 2020

Any thoughts on using graph-style data structures (as opposed to trees) for representing programming languages? This is something I have been pondering recently.

Rob Rix‎

@rob_rix

Jul 1, 2020

I do this just about exclusively, tho usually via implicit sharing in Haskell—let-binding a value and then substituting it in for occurrences of the same value ends up making a graph with edges to the shared let-bound node. Haven’t tried it with explicit sharing but worth a shot

Brendan Zabarauskas

@brendanzab

Replying to

@rob_rix

Yeah, guess I've been wondering about maybe evaluating into a semantic domain based on graphs but I dunno if that is a weird/silly idea. I want to be able to easily compare dependent records/modules/parameters without forcing a specific order, and more caring about dependencies.

4:58 AM · Jul 1, 2020Twitter Web App

Replying to

Oh that’s a very cool idea! I’d love to hear more about this if you ever explore it further.

Brendan Zabarauskas

@brendanzab

Jul 1, 2020

Yeah, curious about the relationship between parameters and fields. Parameters are things you 'assume', and fields are things you 'have'. Application is turning an assumption into something you have. Or something like that?

Show replies