「完璧」に近づけるプログラミング言語：理想の言語設計を考える

完璧なプログラミング言語とは一体何でしょうか？構文の美しさ、パフォーマンス、それとも学習コストの低さでしょうか。議論の余地はありますが、開発者が直面する問題を最小限に抑え、拡張性に優れた言語の可能性について考察します。

最近やたらと変な大文字の使い方をする人が多いのはなぜ？ベイエリアのテック業界のトレンドなの？Alokとか、自分の名前や他の固有名詞の頭文字は大文字にするのに、文の最初の単語はそうしないよね？読んでてすごく気持ち悪いんだけど。

このサイト気に入った。コードにホバーするとドキュメントが表示されるのいいね。Webのブログ系ではこういうの滅多に見かけないし。

Leanを知るきっかけになったブログ投稿がこれ。まだ実際に触れてはいないけど：https://kirancodes.me/posts/log-ocaml-to-lean.html (https://kirancodes.me/posts/log-ocaml-to-lean.html)