関数型システム言語Cargryを開発しています
とある「暗黙の風潮」
昨今のシステムプログラミング言語はしばしば「C/C++の代替」「C/C++の改善」を謳い開発されています
今の時代に求められている条件が、C/C++に合わないために、新しい言語を開発するのはわかります
ですが、それだけに集中していては、システム言語本来の目的、OS、組み込み制御などではなく、C/C++を批判し、改善案を出し、自慢するだけが目的になってしまいます
Rustは流行りに乗ったわけではないので(主観)、対象外です
Cargryは違う
Cargryは「関数型の高い信頼性をシステムプログラミングに持ち込めないか」という問いに挑戦する言語です
私はF#を愛し関数型に魅了され、Rustの世界に触れ、Cargryの開発を始めました
最初期
当初はAegen、この頃は「C/C++、Rustアンチ」でした
実装は難しい。Cargryの一つ前のSuzlunまでは、本当に難しい言語でした
そして今へ
この難しさは必要なのだろうか。 そう考えていた時に、ふとシンプルながらも堅牢で安全で、高い信頼性のある関数型パラダイムが頭に浮かびました
これが、先述の問いになり、言語を作り直すきっかけになりました
終わりに
短くてすみません...