フォロー

Elixirも漸進的型付けを導入していくのか 👀

Elixirでリストとタプルを型付けする by José Valim - Qiita qiita.com/akiraarika932/items/

それはそれとして、次の部分はそうだよなあと思いながら読んだ。

"ほとんどの人は、より多くの情報を型システムにエンコードするとメリットしかないと予想しますが、ここには矛盾があります。型にエンコードするほど、プログラムで証明しなければならないことが増える可能性があります。"

ログインして会話に参加
Fedibird

様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。