On Thursday, 9 December 2021 at 16:32:11 UTC, Adam D Ruppe wrote: > On Thursday, 9 December 2021 at 16:30:28 UTC, Ola Fosheim > Grøstad wrote: >> I would not recommend weaker typing, as it would be trivial to >> get stronger typing > > This is factually false. Nope.