Re: Type=?

ยอดดู 3 ครั้ง
ข้ามไปที่ข้อความที่ยังไม่อ่านรายการแรก

Jay McCarthy

ยังไม่อ่าน,
1 ธ.ค. 2553 21:47:531/12/53
ถึง Samuel Stephens, BYU CS 330 Fall 2010
type=? returns true if the two types are equal modulo a consistent
renaming of the variables

so

(a->a) = (a->a)
(a->a) = (b->b)
(a->a) != (a->b)

Jay

On Wed, Dec 1, 2010 at 6:06 PM, Samuel Stephens <almo...@gmail.com> wrote:
> Jay:
>
> What is the behavior of the Type=? function? I don't understand what
> the modulo renaming mentioned in its helper function is. Is it
> supposed to return true for two t-vars that have different names, or
> error?
>
> Samuel Stephens
> --"Your reputation is what others know about you.  Your honor is what
> you know about yourself."
> --Aral Vorkosigan
> from "Memory" by Lois McMaster Bujold
>

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

ตอบทุกคน
ตอบกลับผู้สร้าง
ส่งต่อ
ข้อความใหม่ 0 รายการ