رفتن به مطلب



iran rules jazbe modir
snapphost mahak

Moeein Seven

Programming زبان هسکل چیست؟

پست های پیشنهاد شده

هسکل (به انگلیسی: Haskell) یک زبان برنامه‌نویسی تابعی خالص (به انگلیسی: purely functional)، استاندارد شده و همه منظوره با نوع دادهمستحکم است که به یاد دانشمند حوزه منطق و استدلال به نام هسکل کاری نام گذاری شده است.

هسکل یک زبان برنامه‌نویسی پیشرفته با قابلیت استفاده عام و متن‌باز است که حاصل بیش از بیست سال پیشرفت و تحقیق می‌باشد که اجازهٔ توسعه سریع، پیاپی و مختصر و صحیح نرم‌افزار را می‌دهد. این زبان با پشتیبانی قوی از یکپارچه سازی با سایر زبان‌ها، همزمانی داخلی ساختمانی، پشتیباتی از برنامه‌های همروند، بررسی استاتیک انواع داده پیش از اجرا و مجهز بودن به پروفایلر و کتابخانهٔ غنی، ساخت نرم‌افزار قابل انعطاف و قابل نگهداری با کیفیت بالا را ساده می‌کند.

پسند شده توسط mohammad_ghazei و ReZa CLONER

به اشتراک گذاری این ارسال


لینک به ارسال
به اشتراک گذاری در سایت های دیگر

telegram channel   jazbe modir

تاریخچه

در پی انتشار زبان میراندا توسط Research Software Ltd در سال ۱۹۸۵، علاقه به زبان‌های تابعی تنبل افزایش یافت. تا سال ۱۹۸۷، زبان‌های تابعیخالص بسیاری به‌وجود آمده بودند. از بین اینها، میراندا بیشترین زبانی بود که استفاده می‌شد، ولی برنامه‌ها انحصاری بودند. در کنفرانسی دربارهٔ زبان‌های برنامه‌نویسی تابعی و معماری کامپیوتر (FPCA '87) در پورتلند، اورگن، یک جلسه برگزار شد که در آن شرکت‌کنندگان بر تشکیل یک کمیته برای تعریف استانداردهای باز برای زبان‌های این‌چنینی توافق کردند.

پسند شده توسط ReZa CLONER و mohammad_ghazei

به اشتراک گذاری این ارسال


لینک به ارسال
به اشتراک گذاری در سایت های دیگر

ویژگی‌ها

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

هسکل یک زبان با تایپ‌های سخت و ایستا بر پایه استنتاج تایپ هیندلی-میلنر است. نو آوری اصلی هسکل در این مسئله اضافه کردن تایپ کلس‌ها است، که در اصل به عنوان راهی اصولی برای اضافه کردن سربارگذاری به این زبان ساخته شدن اند ولی پس از آن اسفتاده‌های دیگری یافته هم یافته‌اند.

ساختاری که آثار فرعی را بیان می‌کند مثالی از یک مونَد است. مونَدها چارچوبی کلی هستند که می‌توانند انواع مختلفی از محاسبات، مانند رفع خطا، غیر قطعی بودن، تجزیه کردن، و حافظهٔ معاملاتی نرم‌افزاری را مدل سازی کنند. مونَدها به عنوان دیتا تایپ‌های معمولی تعریف شده‌اند. اما هسکل برای استفاده از آن تعدادی زیبایی زبانی اراعه می‌دهد.

هسکل مشخصات باز و منتشر شده دارد که چند پیاده‌سازی از آن وجود دارد. پیاده‌سازی اصلی آن کامپایلر باشکوه هسکل گلاسگو (جی اچ سی)، هم تفسیر گر و هم کامپایلر بومی است که در اکثر پلتفورم‌ها اجرا می‌شود. جی اچ سی بخاطر تایپ سیستم غنی ای که نو آوری‌های اخیر همچون دیتا تایپ‌های جبری عمومی و خانواده‌های تایپ را در خود جای می‌دهد مورد ملاحظه است. بازی معیار زبان‌های کامپیوتری نیز کارایی بالای پیاده‌سازی همزمانی و همسانی این زبان را به برجستگی نشان می‌دهد.

اجتماعی فعال و در حال رشد در اطراف این زبان وجود دارد؛ و بیش از ۵۴۰۰ کتاب‌خانه و ابزار متن باز سوم شخص در مخزن بسته آنلاین هکیج موجود است.

پسند شده توسط mohammad_ghazei و ReZa CLONER

به اشتراک گذاری این ارسال


لینک به ارسال
به اشتراک گذاری در سایت های دیگر

برای ارسال دیدگاه یک حساب کاربری ایجاد کنید یا وارد حساب خود شوید

برای اینکه بتوانید دیدگاهی ارسال کنید نیاز دارید که کاربر سایت شوید

ایجاد یک حساب کاربری

برای حساب کاربری جدید در سایت ما ثبت نام کنید. عضویت خیلی ساده است !

ثبت نام یک حساب کاربری جدید

ورود به حساب کاربری

دارای حساب کاربری هستید؟ از اینجا وارد شوید

ورود به حساب کاربری


  • مطالب مشابه

    • توسط  DOCTOR ROBOT
      Design Patternها یکسری جواب های ثابت شده به مشکلات رایج در طراحی هستند. به وسیله آنها می توان یکسری راهکار برای حل مسائل بازگشتی در طراحی برنامه تعریف کرد. به طور واضح، Design Patternها کدهای آماده ای نیستند که بتوان مستقیماً از آن ها استفاده کرد. اما یسکری رویکرد یا نظریه برای حل چالش های عادی طراحی ارائه می دهند.
    • توسط  DOCTOR ROBOT
      رمزنگاری یا Cryptography به دانشی گفته می‌شود که با استفاده از اصول و روابط ریاضی اطلاعات را به گونه‌ای ایمن رمز کنیم که با خیال آسوده بتوان از جایی به جای دیگر انتقال داد. عبارت Cryptography از ترکیب kryptos و graphien که در یونانی به ترتیب به معنای محرمانه نوشتن است ساخته شده است
    • توسط  petya_malware
      خب امروز میخوام براتون اموزش ساخت ویروس با زبان پایتون را برایتان قرار بدم خب قدرت این ویروس فقط متن anonysec روی صفحه مانیتور میوفته و خاموش میشه مانیتور بازهم اینطور تکرار میشه
      کافیه این سورس کد کوچک را در pythons ide پیست کرده و سیو کنید ویا در not pad پیست کرده با فرمت .py سیو کنید
      برای مشاهده ی این بخش لطفا وارد حساب کابری خود شوید یا اگر عضو نیستید از این قسمت عضو سایت شوید
       
    • توسط  petya_malware
      از همه چیز اول تشکر از سایت anony sec میباشد
      1- ویژوال استادیو اگر در سیستم ندارید نصب کنید اگر هم ندارید برنامه SharpDevelop 5.1 gرا دانلود کنید.
      هم حجمش خوبه هم عالیه
      لینک دانلود از خود سایت 

      برای مشاهده ی این بخش لطفا وارد حساب کابری خود شوید یا اگر عضو نیستید از این قسمت عضو سایت شوید
      بعد از نصب یک سر برگ بسازید و سورس کد زیرا در داخلش جا بدید.
       
      برای مشاهده ی این بخش لطفا وارد حساب کابری خود شوید یا اگر عضو نیستید از این قسمت عضو سایت شوید
      خب بعد روی دیباگ کلیک کرده و ویروس خود را تست نمایید ولی طبق تست ما کلا درایو c پاک میشود .
      ANONYSEC
       
  • کاربران آنلاین در این صفحه   0 کاربر

    هیچ کاربر عضوی،در حال مشاهده این صفحه نیست.

×