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

Pages: 1-

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 ???

Name: Anonymous 2013-06-22 18:37

>>2
types should be finite otherwise they're kind of useless

Name: Anonymous 2013-06-22 18:48

>>3
fixed point function is useless?

Also I noticed that these  (* comments *) would be ideal for Lisp, instead of #| ugliness |#. Although ($ would be better $) because of * being reserved for multiplication.

i.e. instead of #|(if A B C)|# it could have been commented as ($if A B C$)

Name: Anonymous 2013-06-22 18:49

>>4
types shouldn't have fixed points
it's ok for values to

Name: Anonymous 2013-06-22 18:56

>>5
what is the difference between value and a type?

Name: Anonymous 2013-06-22 18:58

I.e. the struct {int Type; int Size; int Payload[Size];} Value carries the type itself

Name: Anonymous 2013-06-22 19:07

>>6
I've not read TAPL
why are you even here? go study

Name: Anonymous 2013-06-22 19:09

>>8
TAPL doesn't even define a "type".

Name: Anonymous 2013-06-22 21:03

ML/Haskell community is surely retarded! Just at look at this:

http://www.soc.napier.ac.uk/course-notes/sml/cal.htm
Is this computer aided learning?

The author does not believe that CAL is a good way to learn. CAL is a cheap way to learn, the best way to learn is from an interactive, multi functional, intelligent, user friendly human being. The author does not understand how it is that we can no longer afford such luxuries as human teachers in a world that is teeming with under-employed talent. His main objection to CAL is that it brings us closer to "production line" learning. The production line is an invented concept, it was invented by capital in order to better exploit labour. The production line attempts to reduce each task in the manufacturing process to something so easy and mindless that anybody can do it, preferably anything. That way the value of the labour is reduced, the worker need not be trained and the capitalist can treat the worker as a replaceable component in a larger machine. It also ensures that the workers job is dull and joyless, the worker cannot be good at his or her job because the job has been designed to be so boring that it is not possible to do it badly or well, it can merely be done quickly or slowly. Production line thinking has given us much, but nothing worth the cost. We have cheap washing machines which are programmed to self destruct after five years; cars, clothes, shoes - all of our mass produced items have built in limited life spans - this is not an incidental property of the production line, it is an inevitable consequence.

The introduction of CAL is the attempt by capital to control the educators. By allowing robots to teach we devalue the teacher and make him or her into a replaceable component of the education machine. I do not see how such a dehumanizing experience can be regarded as "efficient", the real lesson learned by students is that students are not worth speaking to, that it is a waste of resources to have a person with them. The student learns that the way to succeed is to sit quietly in front of a VDU and get on with it. The interaction is a complete sham - you may go down different paths, but only those paths that I have already thought of, you can only ask those questions which I have decided to answer. You may not challenge me while "interacting". I want students to contradict, to question, to object, to challenge, to revolt, to tear down the old and replace with the new.

Do not sit quietly and work though this material like a battery student. Work with other people, talk to them, help each other out.

Name: Anonymous 2013-06-24 7:36

>>10
but isnt 'computer aided learning' just turning language reference manuals into interactive fiction games? how could that possibly make learning easier rather than 100x more irritating and difficult?

Name: Anonymous 2013-06-24 7:50

a most general unified is just an equalizer in the category of terms with substitutions as morphisms - but it doesn't always exist consider a = b? no.

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.

Name: Anonymous 2013-06-24 14:10

>>9
you're stupid!!!!! I hate your post!!!!

Name: Anonymous 2013-06-24 14:18

>>13
You are admitting that you and the people who would use such a simulation are fucking idiots who shouldn't be learning physics in the first place.

Name: Anonymous 2013-06-24 14:25

>>15
We also IPhones. Because that is convenient.

Don't change these.
Name: Email:
Entire Thread Thread List