ソリディティはこれまでで最大の進化を遂げています。 それはコアソリディティと呼ばれています。 🧵👇
2/8 Solidityは最もよく使われるスマートコントラクト言語ですが、以下のような制限があります: - 複素型の表現が難しい> ->年ごとに一貫性のない特徴が追加された - 再利用可能な高レベルライブラリのサポート>限定的
3/8 Core Solidityは新しい言語ではなく、拡張として想像してください。 その中には以下の内容が含まれます: -> より強力なタイプシステム ->より簡潔な意味論 ->長期的な安全性
4/8 Core Solidityを使えば、開発者であるあなたには以下のようなメリットがあります: -> より表現力豊かなコード -> 再利用可能なライブラリ -> より強いタイプ -> より良い静的解析
5/8 Core Solidityは多くの新しい言語機能をアンロックします: ✨ ADT(代数データ型) 🔍 パターンマッチング 📦 ジェネリック 🧩 特性/タイプクラス ⚙️ 高次関数 🛠️ SAIL IRを新たな中間層として
6/8 SAILとは何ですか? SAILはCore Solidityの新しい中間層です。 これは最小限で明確に定義されたIRであり、すべての高水準機能がまとめて言語をよりモジュール化し、一貫性があり、拡張しやすくするものです。
7/8 コアソリディティはまだ進化中です: ⚠️ 構文はまだ最終決定されていません ⚠️ コンパイルタイム評価はまだ設計中です ⚠️ 標準ライブラリやツールはさらに改良が必要です
9.32K