Brandon Wu (@onefiftyman) 's Twitter Profile
Brandon Wu

@onefiftyman

I like programming languages and musical theatre. On a mission to teach the world about functional programming. Program Analysis Engineer at @semgrep.

ID: 1388375102350364672

calendar_today01-05-2021 06:10:00

161 Tweet

383 Takipçi

113 Takip Edilen

Brandon Wu (@onefiftyman) 's Twitter Profile Photo
Brandon Wu
@onefiftyman

2 years ago

A fun example of opaque behavior due to a lack of referential transparency is in the Typescript type-checker -- if we have that `const x = a.b`, it is not true that `a.b` is interchangeable with `x`, in terms of producing a well-typed program, which is unintuitive.