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-24 8:47

>>11
Actually a graphic physics simulation can make learning easier, compared to text book with just "dead" formulas.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -