Oh don't worry, you can make a Y combinator in a typed lambda calculus too, it's... | Hacker News

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

		colanderman on Feb 1, 2014 \| parent \| context \| favorite \| on: Big changes to Erlang Oh don't worry, you can make a Y combinator in a typed lambda calculus too, it's just a little more involved: http://en.wikipedia.org/wiki/Fixed-point_combinator#Type_for...

tel on Feb 1, 2014 [–]

Depends on the type theory. You need recursive types. Or you can just posit fix.

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