It connects logic, topology and type systems. How is this not a big deal? It's a... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

adamnemecek on Sept 3, 2019 | parent | context | favorite | on: Timeline for Logic, λ-Calculus, and Programming La...

It connects logic, topology and type systems. How is this not a big deal? It's also computation friendly.

dvt on Sept 3, 2019 [–]

Logic and type systems have been connected since Frege (he coined "functional" and "non-functional" types[1]). Computation friendly is interesting, but not really revolutionary. Topology I'm not an expert in so I can't comment.

[1] On Function and Concept, 1891; http://fitelson.org/proseminar/frege_fac.pdf

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact