俺が使っているレン鯖、PHP8.0に対応した模様。 PHP8.0は、かなり劇的な進化だぞ。JITコンパイル、Union型、パターンマッチ、Null安全など、あらゆる点で改善されている。下位互換性はないけど。

PHPなぜか嫌われる傾向にあるけど、なんだかんだ改善されて行っているんですよね。

Haskellのsuccという関数、これ次の数を示すだけの関数なのだけど、実はこれが1+1=2を理解するために重要な関数だったりする。

一応書いておくと、1と1を足したら2になる、ということはまぁ常識的なことだと思うけど、よく考えてみたらなぜ1と1を足したら2になるのか？そもそも足し算とは何か？その疑問を解決するための一部分として次の数を示す関数と言うものが必要になってくる・・・はず。