Conversation

Apr 29, 2021

Why are people scared of PL? Especially type theory and proof assistants and so on? A professor recently said my work had a reputation of being "so hard basically nobody else can do it" and I'm flattered, but I also don't think it's true at all.

135

Brendan Zabarauskas

@brendanzab

Replying to

@TaliaRinger

I think a lot of it is the notation and the terminology to be honest. It would be really cool to figure out ways to explain stuff in a less intimidating way. Eg:

Quote Tweet

Brendan Zabarauskas

@brendanzab

· Feb 26, 2021

Replying to @brendanzab and @guhou

Also, can somebody come up with 'railroad diagrams' for inference rules?

4:12 AM · Apr 29, 2021Twitter Web App

Replying to

and

In the past when talking to people with a design background about why I care about this stuff, I've tried to explain ‘types’ as kind of like ‘affordances for programs’ and ‘type systems’ as kind of like ‘design systems’, but I dunno how helpful that is.