Кардано ақылды келісім-шарттарды жасаудағы жаңа кезеңге жетті: мәліметтер


мақала бейнесі

Томиваболд Олажид

Cardano blockchain Haskell функционалды бағдарламалау тілі арқылы құрастырылған

Cardano негізін қалаушы Чарльз Хоскинсон «тек Typescript көмегімен толығымен жасалған және серияланған бірінші рет жазылмаған Plutus Core бағдарламасын» бөлісті. Бұл жаңа кезең әзірлеушілер жақын арада TypeScript көмегімен Cardano-да смарт келісімшарттар жаза алатынын білдіруі мүмкін.

TypeScript — Microsoft корпорациясы жасаған және қолдау көрсететін, JavaScript негізіндегі бағдарламалау тілі. Бұл синтаксис тұрғысынан JavaScript-тің қатаң үстеме жиынтығы және тілге қосымша статикалық теруді береді. Ол үлкен қолданбаларды жасау үшін жасалған, өйткені ол кез келген масштабта жақсырақ құралдарды қамтамасыз етеді.

Cardano блокчейні Haskell функционалды бағдарламалау тілі арқылы құрастырылған. Plutus, Cardano компаниясының смарт келісім-шарттарға арналған бағдарламалау тілі және Карданоның қаржылық смарт келісім-шарттарға арналған доменге арналған тілі Марлоу екеуі де Хаскеллге негізделген. Cardano үшін тізбектен тыс және тізбектегі кодтар да Хаскеллде жазылған.

Haskell ең танымал бағдарламалау тілі емес; бұл айырмашылық Python және Java-ға тиесілі. Кардано оны ақтайды шешім Хаскеллді пайдалану, әсіресе формальды әдістермен біріктірілгенде, сенімді және дұрыс код жазу өте қолайлы екенін көрсете отырып.

Ads

Жобалық ұсыныс әлі бастапқы кезеңде

Сәйкес Мишель гармоникалық, Plu-ts жобасы әзірлеушілерге Cardano смарт келісімшарттарының артықшылықтарын сақтай отырып, орталықтандырылмаған қолданбаларды жасауға мүмкіндік беретін тек TypeScript көмегімен смарт келісімшарттар мен транзакцияларды жасауға мүмкіндік береді.

Ол дәл қазір смарт келісім-шарттарды жасау үшін тек Haskell бағдарламалау тілі пайдаланылады, бұл олардың бірден жасалуы керек жағдайларда пайдалану мүмкіндігін шектейтінін түсіндіреді. Ұсынылған Plu-ts әзірлеушілерге Cardano-ға қатысты, тізбектегі және тізбектен тыс кодты толығымен TypeScript тілінде жазуға мүмкіндік береді. Серверге қойылатын талап болмаса, пайдаланушы енгізулеріне байланысты смарт келісімшарттарды жасау мүмкін болар еді.

Дегенмен, Cardano өзінің TypeScript үшін жарияланған Haskell бағдарламалау тілінен бас тарта ма, жоқ па белгісіз.

Дереккөз: https://u.today/cardano-hits-new-milestone-in-smart-contracts-creation-details