Solidity przechodzi swoją największą ewolucję w historii. I nazywa się to Core Solidity. 🧵👇
2/8 Solidity jest najczęściej używanym językiem do smart kontraktów, ale ma pewne ograniczenia, takie jak: -> trudności w wyrażaniu złożonych typów -> niespójne funkcje dodawane na przestrzeni lat -> ograniczone wsparcie dla wielokrotnego użytku, wysokopoziomowych bibliotek
3/8 Core Solidity nie jest nowym językiem, wyobraź sobie to jako rozszerzenie. Będzie miał: -> Silniejszy system typów -> Czystszą semantykę -> Długoterminowe bezpieczeństwo
4/8 Dzięki Core Solidity, jako deweloper zyskasz: -> Bardziej ekspresyjny kod -> Reużywalne biblioteki -> Silniejsze typy -> Lepsza analiza statyczna
5/8 Core Solidity odblokowuje szereg nowych funkcji językowych: ✨ ADT (typy danych algebraiczne) 🔍 Dopasowywanie wzorców 📦 Generics 🧩 Cechy / klasy typów ⚙️ Funkcje wyższego rzędu 🛠️ SAIL IR jako nowa warstwa pośrednia
6/8 Czym jest SAIL? SAIL to nowa warstwa pośrednia pod Core Solidity. Jest to minimalny, dobrze zdefiniowany IR, do którego kompilują się wszystkie funkcje wysokiego poziomu, co sprawia, że język jest bardziej modułowy, spójny i łatwiejszy do rozszerzenia.
7/8 Core Solidity wciąż się rozwija: ⚠️ Składnia nie jest jeszcze ostateczna ⚠️ Ocena w czasie kompilacji wciąż jest projektowana ⚠️ Biblioteka standardowa i narzędzia potrzebują dalszej iteracji
11,27K