نام (NAME)

poly - پیاده‌سازی Poly/ML برای زبان Standard ML

خلاصه دستور (SYNOPSIS)

poly

توضیحات (DESCRIPTION)

دستور poly پوسته Poly/ML را راه‌اندازی می‌کند. Poly/ML یک پیاده‌سازی از Standard ML است که در ابتدا توسط David Matthews در دانشگاه Cambridge نوشته شده و به عنوان پروژه‌ای با پشتیبانی مشارکت‌کنندگان نگهداری می‌شود.

گزینه‌ها (OPTIONS)

-v: چاپ نسخه Poly/ML و خروج.
--help: چاپ فهرستی از آرگومان‌ها و خروج.
-q: جلوگیری از نمایش پیام آغازین.
-i: حالت تعاملی. نمایش یک اعلان برای هر خط ورودی. اگر ورودی از یک ترمینال باشد، این حالت پیش‌فرض است.
--use FILE: ورودی را از FILE می‌خواند، مانند اینکه دستور ML به صورت 'use "FILE";' پیش از شروع پوسته ML اجرا شده باشد.
--eval STRING: رشته STRING را پیش از آغاز پوسته ML، به عنوان کد ML کامپایل و اجرا می‌کند.
--error-exit: در حالت عادی، اگر کد ML یک استثنای مدیریت‌نشده ایجاد کند، کنترل به پوسته ML بازمی‌گردد. با این گزینه، پوسته در صورت بروز یک استثنای مدیریت‌نشده خارج می‌شود.
--with-markup: قراردادن اطلاعات نشانه‌گذاری (markup) اضافی هنگام چاپ. این گزینه تنها زمانی مناسب است که Poly/ML تحت محیطی اجرا شود که قادر به رمزگشایی اطلاعات تکمیلی باشد.
--ideprotocol: اجرای پروتکل ارتباطی IDE به جای حلقه معمول خواندن-ارزیابی-چاپ (REPL). تنها برای اجرا در یک محیط توسعه مناسب است.
--script: ورودی یک اسکریپت پوسته است. اگر خط اول با #! آغاز شود، نادیده گرفته می‌شود.
-H size: تنظیم اندازه اولیه heap. مقدار size می‌تواند به عنوان یک عدد نوشته شود که به صورت اختیاری با K، M یا G به نشان کیلوبایت، مگابایت یا گیگابایت دنبال می‌شود. اگر هیچ‌یک از این‌ها مشخص نشود، عدد به عنوان مگابایت در نظر گرفته می‌شود.
--minheap size: تنظیم حداقل اندازه heap. اندازه heap به کمتر از این مقدار کاهش نخواهد یافت.
--maxheap size: تنظیم حداکثر اندازه heap. اندازه heap بیشتر از این مقدار رشد نخواهد کرد.
--gcpercent percent: تنظیم درصد هدف از زمانی که کد باید در زباله‌روب (garbage collector) صرف کند. تنظیم‌کننده اندازه heap تلاش خواهد کرد تا اندازه heap را به منظور دستیابی به این هدف، سازگار با حداقل و حداکثر اندازه heap ارائه‌شده توسط آرگومان‌ها و همچنین سازگار با تحت کنترل نگه‌داشتن حافظه مجازی (paging) تنظیم کند.
--gcthreads threads: تنظیم تعداد ریسه‌های استفاده‌شده در زباله‌روب موازی. تنظیم این مقدار به 1، زباله‌روب را مجبور می‌کند تا تک‌ریسه‌ای عمل کند. مقدار 0، که پیش‌فرض است، برابر با تعداد پردازنده‌ها (هسته‌ها)ی در دسترس در نظر گرفته می‌شود.
--debug options: تنظیم گزینه‌های گوناگون اشکال‌زدایی برای سیستم زمان اجرا (run-time).

همچنین ببینید (SEE ALSO)

http://www.polyml.org وب‌سایت Poly/ML.