Types in Compilation: third International Workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers

اهمیت زبان‌های تایپ‌شده برای ساختن سیستم‌های نرم‌افزاری قوی، در حال حاضر، یک واقعیت غیرقابل انکار است. سال‌ها تحقیق منجر به ایجاد زبان‌هایی با سیستم‌های تایپ بسیار گویا و در عین حال آسان برای زبان‌های برنامه‌نویسی سطح بالا شده است. انواع نه تنها یک چارچوب مفهومی برای طراحان زبان، بلکه همچنین مزایای مثبتی برای برنامه نویس فراهم می کند، به ویژه توانایی بیان و اعمال سطوح انتزاع در یک برنامه. کامپایلرهای اولیه برای زبان های تایپ شده به دقت از روش های استفاده شده برای همتایان تایپ نشده خود پیروی می کردند. نقش انواع محدود به اولین مراحل گردآوری بود و پس از آن در طول باقیمانده فرآیند ترجمه نادیده گرفته شدند. با این حال، اخیراً، پیاده‌سازها به اهمیت انواع در طول کامپایل و حتی برای کد شی پی برده‌اند. چندین مزیت از انواع در کامپایل تا به امروز ذکر شده است: { آنها از بررسی خود توسط کامپایلر پشتیبانی می کنند. با ردیابی انواع در حین cpilation، این امکان برای یک جستجوگر نوع داخلی وجود دارد که خطاهای ترجمه را در مراحل اولیه تشخیص دهد، که توسعه کامپایلر را بسیار تسهیل می کند. { آنها از گواهی کد شی پشتیبانی می کنند. با گسترش انواع به کد شی رده‌بندی شده، این امکان را برای کاربر کد فراهم می‌کند که از یکپارچگی اولیه آن کد با بررسی سازگاری نوع آن قبل از اجرا اطمینان حاصل کند. {آنها از نمایش داده ها و قراردادهای فراخوانی بهینه پشتیبانی می کنند، حتی در صورت وجود مدولار. با انتقال انواع در زمان کامپایل، پیوند، و حتی زمان اجرا، می توان از به خطر افتادن نمایش داده ها که توسط تکنیک های کامپایل تایپ نشده اعمال می شود، جلوگیری کرد.

The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language designers, but also a ord positive bene ts to the programmer, principally the ability to express and enforce levels of abstraction within a program. Early compilers for typed languages followed closely the methods used for their untyped counterparts. The role of types was limited to the earliest s- ges of compilation, and they were thereafter ignored during the remainder of the translation process. More recently, however, implementors have come to - cognize the importance of types during compilation and even for object code. Several advantages of types in compilation have been noted to date: { They support self-checking by the compiler. By tracking types during c- pilation it is possible for an internal type checker to detect translation errors at an early stage, greatly facilitating compiler development. { They support certi cation of object code. By extending types to the ge- rated object code, it becomes possible for a code user to ensure the basic integrity of that code by checking its type consistency before execution. { They support optimized data representations and calling conventions, even in the presence of modularity. By passing types at compile-, link-, and even run-time, it is possible to avoid compromises of data representation imposed by untyped compilation techniques.