tag:blogger.com,1999:blog-6839602.post4238148025277585507..comments2022-11-09T02:47:35.885-08:00Comments on Everyone Else is Crazy: Compiler Proof of Referential TransparencyJim Applehttp://www.blogger.com/profile/11080395413026172939noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-6839602.post-9259263087600885552007-06-24T10:41:00.000-07:002007-06-24T10:41:00.000-07:00I've emailed Ben to ask for whatever details he ha...I've emailed Ben to ask for whatever details he has time to provide us.Jim Applehttps://www.blogger.com/profile/11080395413026172939noreply@blogger.comtag:blogger.com,1999:blog-6839602.post-38195220601781237742007-06-24T10:16:00.000-07:002007-06-24T10:16:00.000-07:00I wasn't at the talk either, but they appear to me...I wasn't at the talk either, but they appear to me to be sigils separating the namespaces of type-variables (), region-variables (%), closure-variables ($), and effect-variables (!), respectively. <BR/><BR/>It's difficult to tell from just the slides if they carry additional meaning.<BR/><BR/>Anyway, thanks for posting this, Jim!Michael Stonehttps://www.blogger.com/profile/05322254915965832369noreply@blogger.comtag:blogger.com,1999:blog-6839602.post-73210602068741933682007-06-24T07:28:00.000-07:002007-06-24T07:28:00.000-07:00I wasn't actually at the talk, so I don't know eit...I wasn't actually at the talk, so I don't know either.Jim Applehttps://www.blogger.com/profile/11080395413026172939noreply@blogger.comtag:blogger.com,1999:blog-6839602.post-10862489418107952062007-06-24T05:29:00.000-07:002007-06-24T05:29:00.000-07:00Do you happen to remember what the % $ ! -(..)> an...Do you happen to remember what the % $ ! -(..)> and other notation stands for? It seems kind of hard to infer from the slides only.Thomas Schillinghttps://www.blogger.com/profile/04274984206279511399noreply@blogger.com