Rustばっかり流行って、Ada/SPARKみたいな形式検証環境が全然流行らないのが謎・・・＞＜
@orange_in_space Adaは、言語としてめちゃ古い感じだけど。
思考の /dev/null
@orange_in_space
Adaは、言語としてめちゃ古い感じだけど。