زبان برنامه نویسی قرارداد هوشمند کاردانو بر اساس Haskell است.
چارلز هاسکینسون ، بنیانگذار کاردانو، اخیراً با ایلان ماسک، مدیرعامل تسلا و جک دورسی درباره زبان‌های برنامه‌نویسی در توییتر گفتگو کرده است. یکی از طرفداران تسلا مودبانه از ایلان ماسک خواسته بود تا یادداشت های نرم افزاری را به برنامه تسلا اضافه کند. ایلان ماسک در پاسخ به این کاربر توییتر، از علاقه‌اش به C++ مدرن و علاقه‌اش به C ساده یاد کرد که جک دورسی، مدیرعامل سابق توییتر با آن موافق بود.
چارلز هاسکینسون که در این موضوع مشارکت داشت، گفت: “فقط صبر کنید تا هاسکل را کشف کنید.” زبان برنامه نویسی قرارداد هوشمند کاردانو بر اساس Haskell است، همانطور که Marlowe، زبان دامنه خاص برای قراردادهای هوشمند مالی است. کاردانو در Haskell هم برای کدهای خارج از زنجیره و هم برای کدهای روی زنجیره توسعه یافته است. از سوی دیگر، Haskell یکی از پرکاربردترین زبان های برنامه نویسی نیست.
کاردانو می گوید چرا Haskell را انتخاب کرده است
از سوی دیگر، کاردانو Haskell را انتخاب کرد زیرا معتقد است قراردادهای هوشمند کاردانو پلوتوس و مارلو را می‌توان با دقت به زبانی دقیق و رسمی تأیید شده که از همان ابتدا سطح بالایی از اطمینان را ارائه می‌کند، پیاده‌سازی کرد . این در پی آسیب‌پذیری‌های ناشی از آن، خرابی کد یا سوء استفاده‌های قرارداد هوشمند در بلاک چین‌ها و زبان‌های قرارداد هوشمند است که منجر به عواقب فاجعه‌بار و خسارات مالی قابل‌توجهی، معمولاً میلیاردها دلار، شده است.
در توئیتی دیگر ، هاسکینسون از رویکرد روشمند کاردانو در پی تعطیلی اخیر سولانا دفاع کرد و پرسید: «بنابراین انتقاد اصلی این است که کاردانو زمانی که میلیاردها دلار از سوی میلیون‌ها کاربر در خطر است و هزاران کسب‌وکار به زیرساخت‌ها متکی هستند، نرم‌افزار را با دقت می‌نویسد. معیشت آنها؟”
رویکرد آهسته و پیوسته کاردانو اغلب مورد انتقاد چندین ناظر بازار و سرمایه گذارانی است که خواهان نتایج فوری هستند.
کاردانو و پلتفرم قرارداد هوشمند Plutus آن قرار است از طریق رویداد ترکیبی هارد فورک Vasil که برای پایان ژوئن در نظر گرفته شده است، ارتقا یابد.
