Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Unification

Name: Anonymous 2013-06-22 18:26

I'm reading a Haskell tutorial:
http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec26-type-inference/type-inference.htm

where is the proof that unification always exists?

Name: Anonymous 2013-06-22 18:28

>>1
the terms x and f x cannot be unified
what about http://en.wikipedia.org/wiki/Fixed_point_%28mathematics%29 ???

Newer Posts