1
The "missing" graph datatype already exists. It was invented in the '70s
This post is a response to/inspired by The Hunt for the Missing Data Type ( HN ) by Hillel Wayne. I suggest reading his article first.
I am a first-year PhD student at Princeton University in the programming languages group. I apply techniques from programming languages to model and reason about distributed systems. More generally, I am interested in logic & type theory, topology, and language design. My research is generously supported by the Fannie…
Visit tylerhou.com → On Hacker News Mar 2024 – Mar 2024
This post is a response to/inspired by The Hunt for the Missing Data Type ( HN ) by Hillel Wayne. I suggest reading his article first.