ra’s avatarra’s Twitter Archive—№ 43,954

  1. …in reply to @BrandonBloom
    @BrandonBloom @alexnixon_uk @lexi_lambda @brendanzab @puffnfresh @typedrat which is to say: type checkers reject some subset of correct programs because they cannot prove them correct at compile time. this is a restriction coming from dynamic types, in the same way that dynamic languages appear restricted to a single type from the other direction.
    On twitter.com Twitter logo ra’s avatar ❤️ 5 Favorites Mood -5 🙁
    1. …in reply to @ra
      @BrandonBloom @alexnixon_uk @lexi_lambda @brendanzab @puffnfresh @typedrat questions like "why limit yourself to one type?" don't interrogate other points of view and are about as useful/interesting as looking at a motorcycle and saying "wow that car is missing half its wheels"
      Permalink On twitter.com Twitter logo ra’s avatar ❤️ 9 Favorites Mood +8 🙂