đ Type-System Criteria ¡ ongoing by Tim Bray
Type-System Criteria ¡ ongoing by Tim Bray CriÂteÂria Letâs call them the BĂĄnffy-Bray criÂteÂria for seÂlectÂing beÂtween staÂtic and dyÂnamic type sysÂtems. StaÂtic typÂingâs atÂtracÂtiveÂness is a diÂrect funcÂtion (and dyÂnamic typÂingâs an inÂverse funcÂtion) of API surÂface size. DyÂnamic typÂingâs atÂtracÂtiveÂness is a diÂrect funcÂtion (and staÂtic typÂingâs an inÂverse funcÂtion) of unit testÂing workÂaÂbilÂity.