کاردانو 🐢 در مقابل سولانا🐇 (درک هاسکل)

• 13:11 1400-11-21
• زمان مطالعه:6 دقیقه

تجزیه و تحلیل فنی: تست های سوم معمولاً موفق هستند... چشمانتان را باز نگه دارید مبانی/هسکل: کاردانو درست مثل لاک پشت است، بله. چرا؟ چون کند است و با خیال راحت و پیوسته پیش خواهد رفت.. برخلاف سولانا و 325 میلیون دلاری که اخیراً به دست یک هکر از دست داده است .... شاید گفته درست باشد. حالا بیایید هاسکل و ویژگی های آن را درک کنیم...همه اینها تا حدودی معنا پیدا خواهند کرد. به خاطر هاسکل: اگر برای مدتی درگیر اکوسیستم کاردانو بوده اید، ممکن است متوجه شده باشید که بلاک چین ما با استفاده از یک زبان برنامه نویسی کاربردی به نام"Haskell"ساخته شده است. Haskell اساس پلوتوس، زبان برنامه‌نویسی قراردادهای هوشمند Cardano است، و همچنین به Marlowe، زبان اختصاصی دامنه ما برای قراردادهای هوشمند مالی، قدرت می‌دهد، که می‌توانید در مقاله قبلی ما که برنامه‌های غیرمتمرکز را معرفی می‌کند، درباره هر دو بیشتر بدانید. با این حال، Haskell یکی از شناخته شده ترین زبان های برنامه نویسی نیست. همچنین کسانی که به تازگی سفر خود را به عنوان یک توسعه دهنده شروع کرده اند، به طور گسترده مورد توجه قرار نمی گیرد. در واقع، «شاخص محبوبیت زبان‌های برنامه‌نویسی» Haskell را به‌عنوان بیست و هفتمین زبان پرجست‌وجو شده در گوگل از نوامبر 2020 رتبه‌بندی می‌کند و زبان‌هایی مانند پایتون و جاوا در رتبه‌های برتر قرار دارند. بنابراین، با در نظر گرفتن این موضوع، بسیاری ممکن است تعجب کنند که چرا Cardano در وهله اول در Haskell پیاده سازی شد؟ دلیل آن این است که Haskell، به ویژه در ارتباط با روش‌های رسمی، برای نوشتن کد قوی و صحیح مناسب است. اما برای درک اینکه چرا این برای Cardano مهم است، ابتدا باید به بررسی چیستی Haskell و بررسی نقش آن به عنوان یک زبان برنامه نویسی کاربردی بپردازیم. هاسکل چیست؟ Haskell که به نام ریاضیدان فقید آمریکایی Haskell Curry نامگذاری شده است، ریشه در دانشگاه و مطالعه منطق و همچنین در تکرارهای قبلی زبانهای برنامه نویسی تابعی مانند Miranda دارد. این تأثیرات اولیه، که به طور کلی باعث علاقه گسترده‌تر به زبان‌های برنامه‌نویسی تابعی شد، منجر به تعریف رسمی Haskell در سال 1990 شد. با این حال، چندین محقق، مانند پروفسور فیلیپ وادلر، قبلاً کار بر روی مؤلفه‌های پروتو-Haskell، مانند کلاس‌های نوع را آغاز کرده بودند. ، در اوایل سال 1987 - قبل از انتشار نسخه 1.0 Haskell. زبان‌های برنامه‌نویسی تابعی بر استفاده از توابع خالص در صورت امکان تأکید دارند: توابعی که همیشه نتایج یکسانی را برای ورودی یکسان می‌دهند. در حالی که این امر برای ریاضیدانان داده شده است، برنامه نویسان کامپیوتر به این ایده عادت کرده اند که"توابع"در یک برنامه کامپیوتری به وضعیت داخلی، داده های روی دیسک یا زمان فعلی نیز بستگی دارد. با جدا کردن این «عوارض جانبی» از منطق اصلی، برنامه نویسان Haskell می توانند استدلال در مورد کد خود را بسیار آسان تر کنند («استدلال معادله»). این نه تنها نوشتن کد صحیح را آسان تر می کند، بلکه برای آزمایش یا حتی اثبات درستی آن نیز بسیار ارزشمند است. Haskell که در طول زمان تکامل یافته است، چندین بار تکرار شده است، مانند Haskell 98 و Haskell 2010، با اعضای اختصاصی جامعه که افزونه‌ها، کلاس‌های نوع و ساخت کامپایلرهای Haskell را برای پشتیبانی از اکوسیستم اضافه کرده‌اند. اکنون مجموعه وسیعی از کارها و کتابخانه ها و ابزارهای جامعی برای استفاده توسعه دهندگان Haskell وجود دارد. Haskell به عنوان یکی از ناب ترین زبان های برنامه نویسی کاربردی، بنا به گزارش ها بسیاری از توسعه دهندگان را به تغییر رویکرد برنامه نویسی به طور کلی هدایت کرده است و به بهبود توانایی های کلی آنها به عنوان برنامه نویس کمک کرده است. به گفته Aaron Contorer، مدیر عامل شرکت برنامه نویسی Haskell FP Complete، این امر باعث شده است که Haskell به عنوان توصیه شده ترین زبان برای یادگیری انتخاب شود، حتی اگر توسعه دهندگان نیاز خاصی به آن نداشته باشند، به همین دلیل است که ما همه توسعه دهندگان را تشویق می کنیم تا آنچه را که Haskell باید انجام دهد بررسی کنند. پیشنهاد. چرا Cardano در Haskell اجرا شد؟ ما آموخته ایم که Haskell یک زبان برنامه نویسی کاربردی است که برای کدهای با اطمینان بالا و برنامه هایی که به درجه بالایی از تأیید رسمی نیاز دارند، مناسب است. همانطور که در بالا بحث کردیم، این به برنامه نویسان اجازه می دهد تا از صحت کدی که پیاده سازی کرده اند اطمینان بیشتری داشته باشند. برای آینده ای که ما برای Cardano در نظر می گیریم - یعنی تبدیل شدن به سیستم عامل اجتماعی و مالی جهانی بعدی - اطمینان و قابلیت اطمینان ضروری است. با ورود برنامه‌های غیرمتمرکز، توکن‌سازی و قراردادهای هوشمند در Cardano، انتظار داریم که یک اکوسیستم کامل از خدمات مالی غیرمتمرکز ایجاد شود. این امر میلیاردها دلار ارزش یا بیشتر را در زنجیره به ارمغان می آورد، که از طریق قراردادهای هوشمند قفل شده یا از طریق سازمان های مستقل غیرمتمرکز (DAOs) مدیریت می شود. با این حال، زیرساخت قراردادهای هوشمند کنونی نتوانسته است این ارزش زنجیره‌ای را تضمین کند، و عمدتاً زبان‌های برنامه‌نویسی جدید و سفارشی طراحی شده را پیاده‌سازی می‌کند، که هر کدام به زنجیره‌های ابزار، کتابخانه‌ها و منابع آموزشی خاص خود نیاز دارند – که استدلال رسمی درباره رفتار قراردادهای هوشمند و برنامه های کاربردی ساخته شده در بالای آنها. ما به تجربه می دانیم که آسیب پذیری های ناشی از آن، خرابی کد یا سوء استفاده از قرارداد هوشمند در سایر بلاک چین ها و زبان های قرارداد هوشمند منجر به عواقب فاجعه آمیزی شده و منجر به خسارات مالی قابل توجهی، اغلب به میلیاردها دلار شده است. این امر برخی را به این سوال واداشته است که آیا قراردادهای هوشمند از منظر ریسک برای کاربران سازمانی قابل دوام خواهند بود یا خیر. اینجاست که Haskell خودش را نشان می دهد. از طریق Haskell، قراردادهای هوشمند Cardano's Plutus و Marlowe را می توان با دقت در یک کد دقیق و رسمی تأیید شده که از ابتدا سطح بالایی از اطمینان را ارائه می دهد، پیاده سازی کرد. پلوتوس و مارلو به‌عنوان مجموعه‌ای از کتابخانه‌ها برای هسکل ارائه می‌شوند که از اسناد، جعبه‌های ابزار و یک جامعه بسیار حرفه‌ای Haskell استفاده می‌کنند تا پایه‌ای را برای ایجاد قراردادهای هوشمند ایمن و درجه یک سازمانی فراهم کنند. هر دو کد خارج از زنجیره و روی زنجیره برای Cardano به زبان Haskell نوشته شده‌اند، که به کاردانو اجازه می‌دهد به جای اختراع مجدد چرخ با زبان قرارداد هوشمند کاملاً جدید و اثبات‌نشده، مجموعه غنی تحقیقاتی را که از قبل در اکوسیستم Haskell وجود دارد، به ارث ببرد. شرکای مهندسی کاردانو، IOHK، اخیراً برای حمایت از جامعه گسترده‌تر Haskell، به بنیاد Haskell کمک کرده است، ابتکاری که از توسعه و رشد Haskell حمایت می‌کند. می‌توانید درباره بنیاد هسکل از سخنرانی سیمون پیتون جونز در رویداد مجازی Haskell eXchange 2020 در اینجا اطلاعات بیشتری کسب کنید. از کجا می توانم درباره Haskell بیشتر بیاموزم؟ کاردانو، و به‌طور گسترده پلتفرم‌های پلوتوس و مارلو، منبع باز هستند و برای کاوش در دسترس هستند. می‌توانید از طریق Cardano Docs یا با بازدید مستقیم از Cardano GitHub اطلاعات بیشتری از پایگاه کد ما پیدا کنید. اگر به دنبال بهترین راهنما برای Haskell هستید و مطمئن نیستید که از کجا شروع کنید، توصیه می کنیم کتاب یا وب سایت"Learn You a Haskell for Great Good"اثر Miran Lipovača را بررسی کنید. یادگیری Haskell با این راهنمای مصور آسان شده است، یکی از جذاب ترین راه ها برای یادگیری این زبان برنامه نویسی جذاب. منابع دیگر برای توسعه دهندگان Haskell عبارتند از Glasgow Haskell Compiler (GHC)، به رهبری Simon Peyton Jones و Simon Marlow، یک کامپایلر کد بومی منبع باز برای Haskell. اگر مایلید به انجمن پر جنب و جوش Haskell برای توسعه دهندگان بپیوندید، توصیه می کنیم Haskell Reddit را نیز بررسی کنید. اگر علاقه مند به توسعه در Cardano هستید، چرا به لیست انتظار پورتال توسعه دهندگان ما ملحق نمی شوید؟ در اینجا، به آخرین اخبار توسعه دهندگان از اکوسیستم کاردانو دسترسی خواهید داشت. از آن لذت ببرید و به ساختن ادامه دهید!'''' یک عشق، FXPROFESSOR چرا لاک پشت 🐢 خرگوش را کتک می زند؟ خرگوش از لاک پشت کندتر است زیرا نمی تواند مسابقه را بیشتر از چند متر ببیند. با نداشتن این ویژگی حیاتی، خرگوش توانایی خود را در ماراتن بیش از حد ارزیابی می کند.

امیدواریم از تحلیلی که تهیه شده نهایت استفاده را برده باشید. میدانید که برای خرید کاردانو صرافی های مختلفی وجود دارد. بهترین صرافی ارز دیجیتال ایرانی برای این امر صرافی اینانس است که در کمتر از 5 دقیقه ارز را برای شما ارسال میکند. این صرافی مورد تایید ارزسنج است و میتوانید از خدمات آن بهره مند شوید. برای خرید این ارز میتوانید اینجا کلیک کنید علاوه بر این مورد اینانس با 700 نوع ارز دیجیتال یکی از پر تنوع ترین صرافی های ایرانی است.