Bendというプログラミング言語がリリースされた。 これがちょっと面白そうだったから移動中にiPadから少し触ってみた。 Bend Bend: a fast language that blocks AI mistakes via proof.