Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I found Tomas Petricek's essay on "Against a universal definition of 'Type'" very informative. He argues that the word 'type' has shifted shape many times since Frege/Russel, in that the intuition behind them is different. He also argues that multiplicity of definition is a good thing.

http://tomasp.net/academic/papers/against-types/



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: