イーサリアムのスマートコントラクトを記述できるプログラミング言語を教えて！
こういった悩みにお答えします．
本記事の信頼性
- リアルタイムシステムの研究歴12年．
- 東大教員の時に，英語でOS（Linuxカーネル）の授業．
- 2012年9月～2013年8月にアメリカのノースカロライナ大学チャペルヒル校（UNC）コンピュータサイエンス学部で客員研究員として勤務．C言語でリアルタイムLinuxの研究開発．
- プログラミング歴15年以上，習得している言語: C/C++，Python，Solidity/Vyper，Java，Ruby，Go，Rust，D，HTML/CSS/JS/PHP，MATLAB，Verse（UEFN）, Assembler (x64，aarch64)．
- 東大教員の時に，C++言語で開発した「LLVMコンパイラの拡張」，C言語で開発した独自のリアルタイムOS「Mcube Kernel」をGitHubにオープンソースとして公開．
- 2020年1月～現在はアメリカのノースカロライナ州チャペルヒルにあるGuarantee Happiness LLCのCTOとしてECサイト開発やWeb/SNSマーケティングの業務．2022年6月～現在はアメリカのノースカロライナ州チャペルヒルにあるJapanese Tar Heel, Inc.のCEO兼CTO．
- 最近は自然言語処理AIとイーサリアムに関する有益な情報発信や，Unreal Editor for Fortnite（UEFN）でゲーム開発に従事．
- （AI全般を含む）自然言語処理AIの論文の日本語訳や，AIチャットボット（ChatGPT，Auto-GPT，Gemini（旧Bard）など）の記事を50本以上執筆．アメリカのサンフランシスコ（広義のシリコンバレー）の会社でChatGPT/Geminiを訓練するプロンプトエンジニア・マネージャー・Quality Assurance（QA）の業務委託の経験あり．
- （スマートコントラクトのプログラミングを含む）イーサリアムや仮想通貨全般の記事を200本以上執筆．イギリスのロンドンの会社で仮想通貨の英語の記事を日本語に翻訳する業務委託の経験あり．
- UEFNで10本以上のゲームを開発し，フォートナイト上で公開（Fortnite，Fortnite.GG）．
こういった私から学べます．
国内・海外のブロックチェーンエンジニアのおすすめ求人サイトを知りたいあなたはこちらからどうぞ．
目次
イーサリアムのスマートコントラクトを記述できるプログラミング言語
イーサリアムのスマートコントラクトを記述できるプログラミング言語は以下になります．
- Solidity：2014年8月に開発されたJavaScript，C++，Python，Eiffelに似た構文を持つ手続き型プログラミング言語（一番有名）
- LLL（Low-level Lisp-like Language）：Lispのような構文を持つ関数型プログラミング言語（スマートコントラクトにおける最初の高級プログラミング言語ですが，現在はほぼ利用されていません．）
- Serpent：Pythonに似た構文を持つ手続き型プログラミング言語（現在は非推奨です．）
- Vyper：2017年に開発されたSerpentの後継でPythonに似た構文を持つコントラクト指向の手続き型プログラミング言語
- Bamboo：2017年に開発された明示的な状態遷移を持つプログラミング言語（現在は開発停止と思われます．）
- Fe：2020年に開発されたRustに似た構文を持つプログラミング言語（2023年現在ではアルファ版）
- Huff：2022年に開発されたEVM上で動作する高度に最適化されたスマートコントラクトを開発するために設計された低レベルプログラミング言語です．Huffの特徴は，はEVMの内部構造を隠さず，代わりにそのプログラミングスタックを開発者に公開し，手作業で操作できることです．
上記のスマートコントラクトを書くためのプログラミング言語としては，SolidityとVyperが代表的です．
Solidity vs. Vyper
SolidityとVyperを学びたいあなたは，以下の記事を読みましょう！
SolidityとVyperの比較は以下になります．
| 項目 | Solidity | Vyper |
|---|---|---|
| プログラミング言語のコンセプト | 柔軟性（効率性を重視） | 正確さ（安全性を重視） |
| インラインアセンブラ | 許可 | 未許可 |
| 修飾子 | 許可 | 未許可 |
| クラスのポリモーフィズム，多重継承， 関数と演算子のオーバーロード | 許可 | 未許可 |
| 関数の再帰呼び出し | 許可 | 未許可 |
| 暗黙的なキャスト | 許可 | 未許可（初期バージョンでは許可） |
| 2進数の固定小数点 | 許可 | 未許可 |
| スマートコントラクトのファイル構成 | ファイル制約なし | 単一のファイルで構成 |
また，Solidity & Vyper Cheat Sheetにバージョン毎の詳細な比較があります．
SolidityとVyperの比較動画はこちらです．
キャストについて学びたいあなたは，C言語のこちらの記事がおすすめです．
参考：ブロックチェーン基盤のプログラミング言語
SolidityやVyperはスマートコントラクトを記述できるプログラミング言語ですが，そのスマートコントラクトを実行するためにはブロックチェーン基盤が必要になります．
ブロックチェーン基盤のプログラミング言語を知りたいあなたはこちらからどうぞ．
まとめ
イーサリアムのスマートコントラクトを記述できるプログラミング言語を紹介しました．
スマートコントラクトを記述できるプログラミング言語では，SolidityとVyperが代表的であることがわかりました．
国内・海外のブロックチェーンエンジニアのおすすめ求人サイトを知りたいあなたはこちらからどうぞ．
