Conor McBride是何方神圣？ - 知乎 My Dad got his PhD in 1970, three years before he got me: he added pattern matching to a dialect of LISP, and he used it to develop software for symbolic mathematics The header of this page comes from page 24 of his thesis It's correspondingly unremarkable that, as a little boy, I learned the λ-calculus and the differential calculus at the same time That program has been with me all my
Deep Van - 知乎 Deep Van是知乎用户，擅长回答金融、科技和生活问题，其个人星球为DeepVan的逃生地牢，回答风格直言不讳，获得广泛关注。