Typing lists of functions

5 views

Skip to first unread message

unread,

Nov 30, 2011, 2:34:09 PM11/30/11

to byu-cs-330-Fall-2011

Should this:
'(tcons (fun (x) x) (tcons (fun (x) 1 ) tempty)

Throw an error because (T -> num) is not equal to (T -> T)?

unread,

Nov 30, 2011, 2:56:06 PM11/30/11

to byu-cs-330...@googlegroups.com

No, it should be a list of (num -> num)

Jay

--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93

Reply all

Reply to author

Forward

0 new messages