ra’s avatarra’s Twitter Archive—№ 30,101

  1. clojure friends: i am thinking about spec and generative testing for the a clojure compiler i am working on but not sure how that would work
    On twitter.com Twitter logo ra’s avatar ❤️ 4 Favorites Mood 0
    1. …in reply to @ra
      first off, does spec support multimethods?
      Permalink On twitter.com Twitter logo ra’s avatar Mood +2 🙂
      1. …in reply to @ra
        second, if i need to test e.g. interop, i need to generate ‘(A/B c d) where A is a valid class B is a valid method and c/d are valid args
        Permalink On twitter.com Twitter logo ra’s avatar Mood 0
        1. …in reply to @ra
          do i reflect on all types to get that info? it sounds like a ton of work compared to writing a handful of tests, but maybe im not getting it
          Permalink On twitter.com Twitter logo ra’s avatar ❤️ 1 Favorite Mood +2 🙂
          1. …in reply to @ra
            that said the idea of a generatively tested compiler is very exciting
            Permalink On twitter.com Twitter logo ra’s avatar ❤️ 2 Favorites Mood +3 🙂