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

Jul 1, 2020

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.

Rob Rix‎

@rob_rix

Jul 1, 2020

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?

Replying to

and

Thinking of this quote here: jiggerwit.wordpress.com/2018/09/18/a-r

1:28 PM · Jul 1, 2020Twitter Web App