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

One of the core concepts in type theory is the function type. It's a kind of building block. So perhaps better would be to say functional programmers organize everything using functions.

I suggest you look at simply typed lambda calculus, it gives a basic rationalization of types in functional programming.



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

Search: