این برنامه لینوکس به نام koka است که آخرین نسخه آن را می توان با عنوان v2.4.0.zip دانلود کرد. می توان آن را به صورت آنلاین در ارائه دهنده میزبانی رایگان OnWorks برای ایستگاه های کاری اجرا کرد.
این اپلیکیشن با نام koka را با OnWorks به صورت آنلاین دانلود و اجرا کنید.
برای اجرای این برنامه این دستورالعمل ها را دنبال کنید:
- 1. این برنامه را در رایانه شخصی خود دانلود کنید.
- 2. در فایل منیجر ما https://www.onworks.net/myfiles.php?username=XXXXX نام کاربری مورد نظر خود را وارد کنید.
- 3. این برنامه را در چنین فایل منیجر آپلود کنید.
- 4. OnWorks Linux آنلاین یا شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MACOS را از این وب سایت راه اندازی کنید.
- 5. از سیستم عامل لینوکس OnWorks که به تازگی راه اندازی کرده اید، به مدیر فایل ما https://www.onworks.net/myfiles.php?username=XXXXX با نام کاربری که می خواهید بروید.
- 6. اپلیکیشن را دانلود کرده، نصب و اجرا کنید.
عکس ها
Ad
کوکا، شیگا
شرح
Koka یک زبان به سبک عملکردی با تایپ قوی با انواع افکت ها و کنترل کننده ها است. هسته Koka شامل مجموعه کوچکی از ویژگی‌های زبانی است که به خوبی مطالعه شده‌اند، مانند توابع درجه یک، سیستم نوع و اثر چند شکلی، انواع داده‌های جبری و کنترل‌کننده‌های اثر. هر یک از اینها قابل ترکیب هستند و با کلی بودن تا حد امکان از افزودن پسوندهای «ویژه» اجتناب کنید. Koka اثرات (جانبی) هر تابع را در نوع خود ردیابی می کند، جایی که محاسبات خالص و موثر متمایز می شوند. تایپ دقیق افکت به کوکا معانی سنگ جامد می دهد که توسط تئوری دسته بندی به خوبی مطالعه شده پشتیبانی می شود، که باعث می شود کوکا هم برای انسان ها و هم برای کامپایلرها آسان باشد. کنترل‌کننده‌های اثر به شما امکان می‌دهند انتزاع‌های کنترلی پیشرفته، مانند استثناها، همگام‌سازی/انتظار، یا برنامه‌های احتمالی را به‌عنوان یک کتابخانه کاربر به روشی تایپ‌شده و قابل ترکیب تعریف کنید. Perceus یک روش تلفیقی پیشرفته برای شمارش مراجع است.
امکانات
- Koka را نصب کنید و اولین برنامه های خود را کامپایل کنید
- هسته کوکا شامل مجموعه کوچکی از ویژگی های زبانی است که به خوبی مطالعه شده اند
- Koka یک زبان به سبک عملکردی با تایپ قوی با انواع افکت ها و کنترل کننده ها است
- کامپایلر و مترجم زبان
- Perceus یک روش تلفیقی پیشرفته برای شمارش مراجع است
- کوکا اثرات (جانبی) هر عملکرد را در نوع خود ردیابی می کند
زبان برنامه نویسی
هاسكل
دسته بندی ها
این برنامه ای است که می تواند از https://sourceforge.net/projects/koka.mirror/ نیز دریافت شود. در OnWorks میزبانی شده است تا به آسانی از طریق یکی از سیستم عامل های رایگان ما به صورت آنلاین اجرا شود.
