lecture

Willard Hagen

unread,

Dec 3, 2013, 11:48:05 AM12/3/13

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

Which lecture talks about type inference?

Stephen Rollins

unread,

Dec 3, 2013, 11:51:04 AM12/3/13

to BYU CS 330 Fall 2013

Check the lecture on the 20th. Jay talks about lots of type inference and constraint stuff necessary for the lab.

On Tue, Dec 3, 2013 at 9:48 AM, Willard Hagen <willar...@gmail.com> wrote:

Which lecture talks about type inference?

--
You received this message because you are subscribed to the Google Groups "byu-cs-330-fall-2013" group.
To unsubscribe from this group and stop receiving emails from it, send an email to byu-cs-330-fall-...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Willard Hagen

unread,

Dec 3, 2013, 2:31:03 PM12/3/13

to Stephen Rollins, BYU CS 330 Fall 2013

Does anyone have notes written on the board for the lecture on the 20th ? I am trying to get what Jay is talking about from 30:00 to about 34:00.

Thanks.

--
-Willard

Jay McCarthy

unread,

Dec 3, 2013, 2:35:27 PM12/3/13

to Willard Hagen, Stephen Rollins, BYU CS 330 Fall 2013

The program (on the right) is

X = 5
X + 1

The constraint are underneath it

On the left is:

(lambda (x) e)

[the constraints]

(f a)

[the constraints]

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

Jay McCarthy

unread,

Dec 3, 2013, 3:05:04 PM12/3/13

to Willard Hagen, BYU CS 330 Fall 2013

If the label of (f a) is E, then the constraint is f = a -> E

Jay

On Tue, Dec 3, 2013 at 1:00 PM, Willard Hagen <willar...@gmail.com> wrote:
> I am trying to see what the constraints that were written under (f a). was
> it B = C -> A ? If so, what does each letter represent in (f a)?

> --
> -Willard

Reply all

Reply to author

Forward